Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb
MD5SUMf3b47743eaaf66ad8d0ab01c3e7b5088
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 25152
Biggest coefficient in the objective function 30395596800
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 14310357806800
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 30395596800
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 14310357806800
Number of bits of the biggest sum of numbers44
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables69312
Total number of constraints3504
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)192
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint1
Maximum length of a constraint485

Trace number 9501

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 13:57:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8197 boxname=wulflinc19 idbench=1165 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f3b47743eaaf66ad8d0ab01c3e7b5088  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-A2C1S1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-A2C1S1.opb 0
IDLAUNCH: 8197
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        927256 kB
Buffers:         14436 kB
Cached:          73080 kB
SwapCached:          0 kB
Active:          49188 kB
Inactive:        41268 kB
HighTotal:      131008 kB
HighFree:        54404 kB
LowTotal:       903652 kB
LowFree:        872852 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11392 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:19:02 (client local time) WITH STATUS 3 IN 361.196 SECONDS
stats: 8197 7 361.196 3

Solver Data

1:
seed: 0
Nr of vars set: 17761  (#equs: 0)
Nr of vars set: 17843  (#equs: 0)
#decisions: 1707751;  #end-nodes: 9792;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 108 (103)
#axs: 4561, #non-axs: 386
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 17895  (#equs: 0)
Time taken: 14 min, 4 sec

2:

Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened.
No such file or directory


Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 17895  (#equs: 0)
Nr of vars set: 17895  (#equs: 0)
Interupt request received.
#decisions: 782002;  #end-nodes: 4277;
#proof improvement attempts: 0;  #restarts: 32
Current batch, end-nodes: 0 / 128 (128)
#axs: 4560, #non-axs: 923
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 17911  (#equs: 0)
Time taken: 6 min, 1 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/6149/stat): 6149 (vallstSAT2005PB) R 6148 6149 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20724735 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6149/statm): 174 3 169 147 0 27 0
[pid=6149] 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=6150
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=6150) exited with status: 0
New process pid=6151
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=6151) exited with status: 0
New process pid=6152
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/wulflinc19/normalized-mps-v2-13-7-A2C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4319 0 0 0 961 21 0 0 25 0 1 0 20724742 18636800 3767 4294967295 134512640 134702520 3221223952 3221184288 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4550 3767 413 48 0 4502 0
[pid=6152] vsize: 18200
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 20328

[startup+20.0037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4350 0 0 0 1961 21 0 0 25 0 1 0 20724742 18763776 3798 4294967295 134512640 134702520 3221223952 3221046048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4581 3798 413 48 0 4533 0
[pid=6152] vsize: 18324
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 20452

[startup+30.0045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4386 0 0 0 2961 21 0 0 25 0 1 0 20724742 18911232 3834 4294967295 134512640 134702520 3221223952 3220899808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4617 3834 413 48 0 4569 0
[pid=6152] vsize: 18468
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 20596

[startup+40.0053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4424 0 0 0 3961 21 0 0 25 0 1 0 20724742 19066880 3872 4294967295 134512640 134702520 3221223952 3220744108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4655 3872 413 48 0 4607 0
[pid=6152] vsize: 18620
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 20748

[startup+50.0061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4465 0 0 0 4961 21 0 0 25 0 1 0 20724742 19234816 3913 4294967295 134512640 134702520 3221223952 3220577228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4696 3913 413 48 0 4648 0
[pid=6152] vsize: 18784
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 20912

[startup+60.0059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4509 0 0 0 5961 21 0 0 25 0 1 0 20724742 19415040 3957 4294967295 134512640 134702520 3221223952 3220396428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4740 3957 413 48 0 4692 0
[pid=6152] vsize: 18960
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 21088

[startup+70.0077 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4557 0 0 0 6961 22 0 0 25 0 1 0 20724742 19611648 4005 4294967295 134512640 134702520 3221223952 3220198188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4788 4005 413 48 0 4740 0
[pid=6152] vsize: 19152
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 21280

[startup+80.0084 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4612 0 0 0 7961 22 0 0 25 0 1 0 20724742 19836928 4060 4294967295 134512640 134702520 3221223952 3219975308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4843 4060 413 48 0 4795 0
[pid=6152] vsize: 19372
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 21500

[startup+90.0092 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4675 0 0 0 8961 22 0 0 25 0 1 0 20724742 20094976 4123 4294967295 134512640 134702520 3221223952 3219715808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4906 4123 413 48 0 4858 0
[pid=6152] vsize: 19624
Current children cumulated CPU time (s) 89.85
Current children cumulated vsize (Kb) 21752

[startup+100.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4754 0 0 0 9961 22 0 0 25 0 1 0 20724742 20418560 4202 4294967295 134512640 134702520 3221223952 3219392928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 4985 4202 413 48 0 4937 0
[pid=6152] vsize: 19940
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (Kb) 22068

[startup+110.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 4876 0 0 0 10961 22 0 0 25 0 1 0 20724742 20918272 4324 4294967295 134512640 134702520 3221223952 3218894508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 5107 4324 413 48 0 5059 0
[pid=6152] vsize: 20428
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 22556

[startup+120.012 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5145 0 0 0 11489 173 0 0 16 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 116.64
Current children cumulated vsize (Kb) 36692

[startup+130.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6152
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 12258 244 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3221168368 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 125.04
Current children cumulated vsize (Kb) 36692

[startup+140.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6207
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 13257 245 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3221086748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 135.04
Current children cumulated vsize (Kb) 36692

[startup+150.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6207
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 14257 245 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3220961968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 145.04
Current children cumulated vsize (Kb) 36692

[startup+160.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6207
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 15257 245 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3220810448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 155.04
Current children cumulated vsize (Kb) 36692

[startup+170.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6207
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 16257 245 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3220648688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 165.04
Current children cumulated vsize (Kb) 36692

[startup+180.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6207
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 17258 245 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3220474288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 175.05
Current children cumulated vsize (Kb) 36692

[startup+190.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 6209
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 18258 245 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3220283888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 185.05
Current children cumulated vsize (Kb) 36692

[startup+200.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6209
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 19257 246 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3220069968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 195.05
Current children cumulated vsize (Kb) 36692

[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 20257 246 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3219825008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 205.05
Current children cumulated vsize (Kb) 36692

[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 21257 246 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3219528988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 215.05
Current children cumulated vsize (Kb) 36692

[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5145 0 0 0 22257 246 0 0 25 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3219125148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 225.05
Current children cumulated vsize (Kb) 36692

[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5145 0 0 0 23061 308 0 0 16 0 1 0 20724742 35393536 4593 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4593 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 233.71
Current children cumulated vsize (Kb) 36692

[startup+250.021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 23489 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3221205968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 239.78
Current children cumulated vsize (Kb) 36692

[startup+260.021 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 24488 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3221124848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 249.77
Current children cumulated vsize (Kb) 36692

[startup+270.022 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 25489 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3221031708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 259.78
Current children cumulated vsize (Kb) 36692

[startup+280.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 26489 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3220884688 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 269.78
Current children cumulated vsize (Kb) 36692

[startup+290.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 27489 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3220728188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 279.78
Current children cumulated vsize (Kb) 36692

[startup+300.025 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 28489 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3220560188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 289.78
Current children cumulated vsize (Kb) 36692

[startup+310.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 29490 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3220378268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 36692

[startup+320.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 30490 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3220177808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 309.79
Current children cumulated vsize (Kb) 36692

[startup+330.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 31490 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3219951868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 319.79
Current children cumulated vsize (Kb) 36692

[startup+340.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 32490 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3219687888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 329.79
Current children cumulated vsize (Kb) 36692

[startup+350.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 33491 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3219355568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (Kb) 36692

[startup+360.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 34491 487 0 0 25 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3218825488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 349.8
Current children cumulated vsize (Kb) 36692

[startup+370.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 34952 659 0 0 16 0 1 0 20724742 35393536 4596 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8641 4596 413 48 0 8593 0
[pid=6152] vsize: 34564
Current children cumulated CPU time (s) 356.13
Current children cumulated vsize (Kb) 36692

[startup+380.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 35836 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3221156032 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 365.34
Current children cumulated vsize (Kb) 36696

[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 36836 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3221073648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 375.34
Current children cumulated vsize (Kb) 36696

[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 37837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3220941628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 385.35
Current children cumulated vsize (Kb) 36696

[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 38837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3220787388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 395.35
Current children cumulated vsize (Kb) 36696

[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 39837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3220622268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 405.35
Current children cumulated vsize (Kb) 36696

[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 40837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3220444048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 415.35
Current children cumulated vsize (Kb) 36696

[startup+440.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6213
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 41837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3220248828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 425.35
Current children cumulated vsize (Kb) 36696

[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 42837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3220032208 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 435.35
Current children cumulated vsize (Kb) 36696

[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 43837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3219783388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 445.35
Current children cumulated vsize (Kb) 36696

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 44837 696 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3219480188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 455.35
Current children cumulated vsize (Kb) 36696

[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5148 0 0 0 45837 697 0 0 25 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3219054268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 465.36
Current children cumulated vsize (Kb) 36696

[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5148 0 0 0 46555 783 0 0 16 0 1 0 20724742 35397632 4596 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4596 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 473.4
Current children cumulated vsize (Kb) 36696

[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 47095 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3221193648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 480.23
Current children cumulated vsize (Kb) 36696

[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 48095 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3221111888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 490.23
Current children cumulated vsize (Kb) 36696

[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 49096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3221009488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 500.24
Current children cumulated vsize (Kb) 36696

[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 50096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3220859728 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 510.24
Current children cumulated vsize (Kb) 36696

[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 51096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3220700028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (Kb) 36696

[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 52096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3220528348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 530.24
Current children cumulated vsize (Kb) 36696

[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 53096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3220341808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 540.24
Current children cumulated vsize (Kb) 36696

[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 54096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3220135248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 550.24
Current children cumulated vsize (Kb) 36696

[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 55096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3219900988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 560.24
Current children cumulated vsize (Kb) 36696

[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 56096 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3219623888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 570.24
Current children cumulated vsize (Kb) 36696

[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 57097 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3219264988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 580.25
Current children cumulated vsize (Kb) 36696

[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5177 0 0 0 58097 926 0 0 25 0 1 0 20724742 35397632 4625 4294967295 134512640 134702520 3221223952 3218554608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8642 4625 413 48 0 8594 0
[pid=6152] vsize: 34568
Current children cumulated CPU time (s) 590.25
Current children cumulated vsize (Kb) 36696

[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5182 0 0 0 58388 1155 0 0 16 0 1 0 20724742 35401728 4630 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8643 4630 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 595.45
Current children cumulated vsize (Kb) 36700

[startup+630.048 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5203 0 0 0 58651 1391 0 0 16 0 1 0 20724742 35401728 4651 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4651 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 600.44
Current children cumulated vsize (Kb) 36700

[startup+640.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 59650 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3221143408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 610.44
Current children cumulated vsize (Kb) 36700

[startup+650.051 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 60650 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3221060828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 620.44
Current children cumulated vsize (Kb) 36700

[startup+660.051 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 61650 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3220920348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 630.44
Current children cumulated vsize (Kb) 36700

[startup+670.053 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 62651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3220764988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 640.45
Current children cumulated vsize (Kb) 36700

[startup+680.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 63651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3220598608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 650.45
Current children cumulated vsize (Kb) 36700

[startup+690.054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 64651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3220418588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 660.45
Current children cumulated vsize (Kb) 36700

[startup+700.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 65651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3220221168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 670.45
Current children cumulated vsize (Kb) 36700

[startup+710.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 66651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3219999568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 680.45
Current children cumulated vsize (Kb) 36700

[startup+720.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 67651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3219742928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 690.45
Current children cumulated vsize (Kb) 36700

[startup+730.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 68651 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3219425948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 700.45
Current children cumulated vsize (Kb) 36700

[startup+740.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5207 0 0 0 69652 1392 0 0 25 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3218959408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 710.46
Current children cumulated vsize (Kb) 36700

[startup+750.06 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5207 0 0 0 70254 1520 0 0 16 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 717.76
Current children cumulated vsize (Kb) 36700

[startup+760.06 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5207 0 0 0 70513 1756 0 0 16 0 1 0 20724742 35401728 4655 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8643 4655 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 722.71
Current children cumulated vsize (Kb) 36700

[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) T 6149 6149 4060 0 -1 0 5213 0 0 0 70778 1981 0 0 16 0 1 0 20724742 35401728 4661 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6152/statm): 8643 4661 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 727.61
Current children cumulated vsize (Kb) 36700

[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 71489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3221175088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 735.6
Current children cumulated vsize (Kb) 36700

[startup+790.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 72489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3221092988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 745.6
Current children cumulated vsize (Kb) 36700

[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 73489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3220981648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 755.6
Current children cumulated vsize (Kb) 36700

[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 74489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3220830448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 765.6
Current children cumulated vsize (Kb) 36700

[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 75489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3220668988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 775.6
Current children cumulated vsize (Kb) 36700

[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 76489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3220495248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 785.6
Current children cumulated vsize (Kb) 36700

[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 77489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3220305808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 795.6
Current children cumulated vsize (Kb) 36700

[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 78489 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3220095548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 805.6
Current children cumulated vsize (Kb) 36700

[startup+860.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 79490 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3219856028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 815.61
Current children cumulated vsize (Kb) 36700

[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 80490 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3219569788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 825.61
Current children cumulated vsize (Kb) 36700

[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6215
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20724735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 242 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6152/stat): 6152 (vallst) R 6149 6149 4060 0 -1 0 5231 0 0 0 81490 2069 0 0 25 0 1 0 20724742 35401728 4679 4294967295 134512640 134702520 3221223952 3219189968 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6152/statm): 8643 4679 413 48 0 8595 0
[pid=6152] vsize: 34572
Current children cumulated CPU time (s) 835.61
Current children cumulated vsize (Kb) 36700
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=6152) exited with status: 2
New process pid=6216
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=6216) exited with status: 0
New process pid=6217
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+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 147 0 0 0 19 1 0 0 22 0 1 0 20813731 1859584 118 4294967295 134512640 134702520 3221223712 3221223392 134634417 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 454 118 413 48 0 406 0
[pid=6217] vsize: 1816
Current children cumulated CPU time (s) 845.56
Current children cumulated vsize (Kb) 3944

[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3032 0 0 0 1002 13 0 0 25 0 1 0 20813731 15204352 3002 4294967295 134512640 134702520 3221223712 3221113328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 3712 3002 413 48 0 3664 0
[pid=6217] vsize: 14848
Current children cumulated CPU time (s) 855.51
Current children cumulated vsize (Kb) 16976

[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3066 0 0 0 2002 13 0 0 25 0 1 0 20813731 15343616 3036 4294967295 134512640 134702520 3221223712 3220974128 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 3746 3036 413 48 0 3698 0
[pid=6217] vsize: 14984
Current children cumulated CPU time (s) 865.51
Current children cumulated vsize (Kb) 17112

[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3102 0 0 0 3002 13 0 0 25 0 1 0 20813731 15491072 3072 4294967295 134512640 134702520 3221223712 3220826748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 3782 3072 413 48 0 3734 0
[pid=6217] vsize: 15128
Current children cumulated CPU time (s) 875.51
Current children cumulated vsize (Kb) 17256

[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3141 0 0 0 4002 13 0 0 25 0 1 0 20813731 15650816 3111 4294967295 134512640 134702520 3221223712 3220666908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 3821 3111 413 48 0 3773 0
[pid=6217] vsize: 15284
Current children cumulated CPU time (s) 885.51
Current children cumulated vsize (Kb) 17412

[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3183 0 0 0 5003 13 0 0 25 0 1 0 20813731 15822848 3153 4294967295 134512640 134702520 3221223712 3220495548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 3863 3153 413 48 0 3815 0
[pid=6217] vsize: 15452
Current children cumulated CPU time (s) 895.52
Current children cumulated vsize (Kb) 17580

[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3229 0 0 0 6003 14 0 0 25 0 1 0 20813731 16011264 3199 4294967295 134512640 134702520 3221223712 3220307548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 3909 3199 413 48 0 3861 0
[pid=6217] vsize: 15636
Current children cumulated CPU time (s) 905.53
Current children cumulated vsize (Kb) 17764

[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3280 0 0 0 7003 14 0 0 25 0 1 0 20813731 16220160 3250 4294967295 134512640 134702520 3221223712 3220099068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 3960 3250 413 48 0 3912 0
[pid=6217] vsize: 15840
Current children cumulated CPU time (s) 915.53
Current children cumulated vsize (Kb) 17968

[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3337 0 0 0 8003 14 0 0 25 0 1 0 20813731 16453632 3307 4294967295 134512640 134702520 3221223712 3219861808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 4017 3307 413 48 0 3969 0
[pid=6217] vsize: 16068
Current children cumulated CPU time (s) 925.53
Current children cumulated vsize (Kb) 18196

[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3406 0 0 0 9003 14 0 0 25 0 1 0 20813731 16736256 3376 4294967295 134512640 134702520 3221223712 3219579388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 4086 3376 413 48 0 4038 0
[pid=6217] vsize: 16344
Current children cumulated CPU time (s) 935.53
Current children cumulated vsize (Kb) 18472

[startup+990.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3497 0 0 0 10003 14 0 0 25 0 1 0 20813731 17108992 3467 4294967295 134512640 134702520 3221223712 3219207388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 4177 3467 413 48 0 4129 0
[pid=6217] vsize: 16708
Current children cumulated CPU time (s) 945.53
Current children cumulated vsize (Kb) 18836

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3884 0 0 0 10955 30 0 0 17 0 1 0 20813731 30453760 3850 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7435 3850 413 48 0 7387 0
[pid=6217] vsize: 29740
Current children cumulated CPU time (s) 955.21
Current children cumulated vsize (Kb) 31868

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) T 6149 6149 4060 0 -1 0 3902 0 0 0 11214 260 0 0 16 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 960.1
Current children cumulated vsize (Kb) 31876

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) T 6149 6149 4060 0 -1 0 3902 0 0 0 11479 491 0 0 16 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 965.06
Current children cumulated vsize (Kb) 31876

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 12471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221143948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 975
Current children cumulated vsize (Kb) 31876

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 13471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221061068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 985
Current children cumulated vsize (Kb) 31876

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 14471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220930188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 995
Current children cumulated vsize (Kb) 31876

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 15471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220775328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1005
Current children cumulated vsize (Kb) 31876

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 16471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220609568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1015
Current children cumulated vsize (Kb) 31876

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 17471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220430348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1025
Current children cumulated vsize (Kb) 31876

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 18471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220233888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1035
Current children cumulated vsize (Kb) 31876

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 19471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220014188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1045
Current children cumulated vsize (Kb) 31876

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 20471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3219760448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1055
Current children cumulated vsize (Kb) 31876

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 21471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3219449068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1065
Current children cumulated vsize (Kb) 31876

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3902 0 0 0 22471 493 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3219001548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1075
Current children cumulated vsize (Kb) 31876

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) T 6149 6149 4060 0 -1 0 3903 0 0 0 23121 607 0 0 16 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1082.64
Current children cumulated vsize (Kb) 31876

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) T 6149 6149 4060 0 -1 0 3903 0 0 0 23396 833 0 0 16 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1087.65
Current children cumulated vsize (Kb) 31876

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 24036 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221183308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1095.2
Current children cumulated vsize (Kb) 31876

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 25036 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221102048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1105.2
Current children cumulated vsize (Kb) 31876

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 26036 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3221003328 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1115.2
Current children cumulated vsize (Kb) 31876

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 27036 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220854988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1125.2
Current children cumulated vsize (Kb) 31876

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 28037 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220696768 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1135.21
Current children cumulated vsize (Kb) 31876

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 29037 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220526668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1145.21
Current children cumulated vsize (Kb) 31876

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 30037 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220342048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1155.21
Current children cumulated vsize (Kb) 31876

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 31037 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3220138028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1165.21
Current children cumulated vsize (Kb) 31876

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 32038 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3219907468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1175.22
Current children cumulated vsize (Kb) 31876

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 33038 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3219635968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1185.22
Current children cumulated vsize (Kb) 31876

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 34038 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3219288608 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1195.22
Current children cumulated vsize (Kb) 31876

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 35038 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3218673568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1205.22
Current children cumulated vsize (Kb) 31876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6217
Raw data (/proc/6149/stat): 6149 (vallstSAT2005PB) S 6148 6149 4060 0 -1 0 378 5607 0 0 2 1 82453 2080 19 0 1 0 20724735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6149/statm): 532 248 485 147 0 385 0
[pid=6149] vsize: 2128
Raw data (/proc/6217/stat): 6217 (vallst) R 6149 6149 4060 0 -1 0 3903 0 0 0 35038 948 0 0 25 0 1 0 20813731 30461952 3868 4294967295 134512640 134702520 3221223712 3218673408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6217/statm): 7437 3868 413 48 0 7389 0
[pid=6217] vsize: 29748
Current children cumulated CPU time (s) 1205.22
Current children cumulated vsize (Kb) 31876

Sending SIGTERM to -6149
Sleeping 2 seconds
New process pid=6219
New process pid=6220
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/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/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6110/stat
open syscall for file /proc/6110/status
open syscall for file /proc/6110/cmdline
open syscall for file /proc/6110/environ
open syscall for file /proc/6148/stat
open syscall for file /proc/6148/status
open syscall for file /proc/6148/cmdline
open syscall for file /proc/6148/environ
open syscall for file /proc/6149/stat
open syscall for file /proc/6149/status
open syscall for file /proc/6149/cmdline
open syscall for file /proc/6149/environ
open syscall for file /proc/6217/stat
open syscall for file /proc/6217/status
open syscall for file /proc/6217/cmdline
open syscall for file /proc/6217/environ
open syscall for file /proc/6219/stat
open syscall for file /proc/6219/status
open syscall for file /proc/6219/cmdline
open syscall for file /proc/6219/environ
open syscall for file /proc/6220/stat
open syscall for file /proc/6220/status
open syscall for file /proc/6220/cmdline
open syscall for file /proc/6220/environ
One traced child (pid=6220) exited with status: 0
One traced child (pid=6219) exited with status: 0
New process pid=6221
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=6221) exited with status: 0
New process pid=6222
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=6222) exited with status: 0
One traced child (pid=6149) ended because it received signal 15 (SIGTERM)
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=6217) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1271.43
CPU time (s): 361.196
CPU user time (s): 351.706
CPU system time (s): 9.49056
CPU usage (%): 28.4086
Max. virtual memory (cumulated for all children) (Kb): 36700

Verifier Data

ERROR: no interpretation found !