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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM7fcbcb2a8848112bb780308c9eb60989
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4241
Optimality of the best value was proved NO
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 3334110
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.06
Number of variables7195
Total number of constraints1321
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint1
Maximum length of a constraint555

Trace number 4299

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-19 06:15:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7587 boxname=wulflinc5 idbench=555 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7fcbcb2a8848112bb780308c9eb60989  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb 0
IDLAUNCH: 7587
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        902240 kB
Buffers:         35472 kB
Cached:          72820 kB
SwapCached:        780 kB
Active:          73864 kB
Inactive:        37164 kB
HighTotal:      131008 kB
HighFree:        54516 kB
LowTotal:       903652 kB
LowFree:        847724 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15692 kB
Committed_AS:    64300 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:36:38 (client local time) WITH STATUS 0 IN 1206.65 SECONDS
stats: 7587 7 1206.65 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 14  (#equs: 11)
#decisions: 629898;  #end-nodes: 219295;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 333 (319)
#axs: 970, #non-axs: 1923
tight: meta-meta: start: 3, end: 4;  meta: start: 6, end (keep): 10
loose: meta-meta: start: 5, end: 7;  meta: start: 17, end (keep): 25
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: 24  (#equs: 11)
Time taken: 15 min, 16 sec

2:
seed: 0
Nr of vars set: 24  (#equs: 0)
Nr of vars set: 24  (#equs: 0)
Interupt request received.
#decisions: 202171;  #end-nodes: 63947;
#proof improvement attempts: 0;  #restarts: 362
Current batch, end-nodes: 48 / 227 (210)
#axs: 957, #non-axs: 2443
tight: meta-meta: start: 3, end: 4;  meta: start: 6, end (keep): 10
loose: meta-meta: start: 5, end: 7;  meta: start: 17, end (keep): 25
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4443  (#equs: 0)
Time taken: 4 min, 49 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/17934/stat): 17934 (vallstSAT2005PB) R 17933 17934 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789436682 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17934/statm): 174 3 169 147 0 27 0
[pid=17934] 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=17935
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=17935) exited with status: 0
New process pid=17936
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=17936) exited with status: 0
New process pid=17937
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/wulflinc5/normalized-mps-v2-20-10-aflow30a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.87 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 650 0 0 0 839 54 0 0 24 0 1 0 1789436689 3739648 555 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 913 555 413 48 0 865 0
[pid=17937] vsize: 3652
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (Kb) 5780

[startup+20.0043 s]
Raw data (loadavg): 0.89 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 758 0 0 0 1655 117 0 0 25 0 1 0 1789436689 5738496 663 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1401 663 413 48 0 1353 0
[pid=17937] vsize: 5604
Current children cumulated CPU time (s) 17.72
Current children cumulated vsize (Kb) 7732

[startup+30.0071 s]
Raw data (loadavg): 0.91 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 795 0 0 0 2528 159 0 0 25 0 1 0 1789436689 5738496 700 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1401 700 413 48 0 1353 0
[pid=17937] vsize: 5604
Current children cumulated CPU time (s) 26.87
Current children cumulated vsize (Kb) 7732

[startup+40.0078 s]
Raw data (loadavg): 0.92 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 804 0 0 0 3403 203 0 0 24 0 1 0 1789436689 5857280 709 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 709 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 36.06
Current children cumulated vsize (Kb) 7848

[startup+50.0096 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 814 0 0 0 4321 232 0 0 25 0 1 0 1789436689 5857280 719 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1430 719 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 45.53
Current children cumulated vsize (Kb) 7848

[startup+60.0103 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 821 0 0 0 5164 286 0 0 22 0 1 0 1789436689 5857280 726 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 726 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 54.5
Current children cumulated vsize (Kb) 7848

[startup+70.0111 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 821 0 0 0 5975 354 0 0 23 0 1 0 1789436689 5857280 726 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 726 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 63.29
Current children cumulated vsize (Kb) 7848

[startup+80.0128 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 823 0 0 0 6889 384 0 0 25 0 1 0 1789436689 5857280 728 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1430 728 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (Kb) 7848

[startup+90.0136 s]
Raw data (loadavg): 0.96 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 827 0 0 0 7786 418 0 0 24 0 1 0 1789436689 5857280 732 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1430 732 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 82.04
Current children cumulated vsize (Kb) 7848

[startup+100.014 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 832 0 0 0 8700 451 0 0 25 0 1 0 1789436689 5857280 737 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1430 737 413 48 0 1382 0
[pid=17937] vsize: 5720
Current children cumulated CPU time (s) 91.51
Current children cumulated vsize (Kb) 7848

[startup+110.016 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 840 0 0 0 9620 477 0 0 25 0 1 0 1789436689 5939200 745 4294967295 134512640 134702520 3221223952 3221223232 134553369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 745 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 100.97
Current children cumulated vsize (Kb) 7928

[startup+120.017 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 845 0 0 0 10451 534 0 0 22 0 1 0 1789436689 5939200 750 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 750 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 7928

[startup+130.018 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 845 0 0 0 11250 607 0 0 19 0 1 0 1789436689 5939200 750 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 750 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 118.57
Current children cumulated vsize (Kb) 7928

[startup+140.018 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 846 0 0 0 12170 632 0 0 25 0 1 0 1789436689 5939200 751 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 751 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 128.02
Current children cumulated vsize (Kb) 7928

[startup+150.019 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 848 0 0 0 13105 654 0 0 25 0 1 0 1789436689 5939200 753 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 753 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 137.59
Current children cumulated vsize (Kb) 7928

[startup+160.02 s]
Raw data (loadavg): 1.05 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 849 0 0 0 14027 678 0 0 25 0 1 0 1789436689 5939200 754 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 754 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (Kb) 7928

[startup+170.021 s]
Raw data (loadavg): 1.04 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 854 0 0 0 14954 702 0 0 25 0 1 0 1789436689 5939200 759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 759 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 156.56
Current children cumulated vsize (Kb) 7928

[startup+180.021 s]
Raw data (loadavg): 1.03 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 894 0 0 0 15882 726 0 0 25 0 1 0 1789436689 5939200 799 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 799 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 166.08
Current children cumulated vsize (Kb) 7928

[startup+190.022 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 908 0 0 0 16768 767 0 0 24 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 175.35
Current children cumulated vsize (Kb) 7928

[startup+200.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 908 0 0 0 17575 834 0 0 23 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221222848 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 184.09
Current children cumulated vsize (Kb) 7928

[startup+210.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 908 0 0 0 18470 869 0 0 25 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 193.39
Current children cumulated vsize (Kb) 7928

[startup+220.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 908 0 0 0 19386 899 0 0 25 0 1 0 1789436689 5939200 813 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1450 813 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 202.85
Current children cumulated vsize (Kb) 7928

[startup+230.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 944 0 0 0 20318 924 0 0 25 0 1 0 1789436689 5939200 849 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 849 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 212.42
Current children cumulated vsize (Kb) 7928

[startup+240.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 963 0 0 0 21241 951 0 0 25 0 1 0 1789436689 5939200 868 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1450 868 413 48 0 1402 0
[pid=17937] vsize: 5800
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (Kb) 7928

[startup+250.028 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 966 0 0 0 22169 976 0 0 25 0 1 0 1789436689 6041600 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1475 871 413 48 0 1427 0
[pid=17937] vsize: 5900
Current children cumulated CPU time (s) 231.45
Current children cumulated vsize (Kb) 8028

[startup+260.029 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 989 0 0 0 23097 1000 0 0 25 0 1 0 1789436689 6275072 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 894 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 240.97
Current children cumulated vsize (Kb) 8256

[startup+270.03 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 994 0 0 0 23931 1056 0 0 22 0 1 0 1789436689 6275072 899 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1532 899 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 249.87
Current children cumulated vsize (Kb) 8256

[startup+280.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 994 0 0 0 24745 1121 0 0 22 0 1 0 1789436689 6275072 899 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 899 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 258.66
Current children cumulated vsize (Kb) 8256

[startup+290.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 994 0 0 0 25678 1144 0 0 23 0 1 0 1789436689 6275072 899 4294967295 134512640 134702520 3221223952 3221222976 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 899 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 268.22
Current children cumulated vsize (Kb) 8256

[startup+300.032 s]
Raw data (loadavg): 1.08 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1013 0 0 0 26624 1163 0 0 25 0 1 0 1789436689 6275072 918 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1532 918 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 277.87
Current children cumulated vsize (Kb) 8256

[startup+310.033 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1033 0 0 0 27563 1184 0 0 25 0 1 0 1789436689 6275072 938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1532 938 413 48 0 1484 0
[pid=17937] vsize: 6128
Current children cumulated CPU time (s) 287.47
Current children cumulated vsize (Kb) 8256

[startup+320.034 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1051 0 0 0 28497 1207 0 0 25 0 1 0 1789436689 6508544 956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1589 956 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 297.04
Current children cumulated vsize (Kb) 8484

[startup+330.034 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1076 0 0 0 29433 1227 0 0 25 0 1 0 1789436689 6508544 981 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1589 981 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 306.6
Current children cumulated vsize (Kb) 8484

[startup+340.035 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1105 0 0 0 30384 1244 0 0 25 0 1 0 1789436689 6508544 1010 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1589 1010 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 316.28
Current children cumulated vsize (Kb) 8484

[startup+350.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1108 0 0 0 31334 1260 0 0 25 0 1 0 1789436689 6508544 1013 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1589 1013 413 48 0 1541 0
[pid=17937] vsize: 6356
Current children cumulated CPU time (s) 325.94
Current children cumulated vsize (Kb) 8484

[startup+360.038 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1120 0 0 0 32236 1294 0 0 25 0 1 0 1789436689 6742016 1025 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1646 1025 413 48 0 1598 0
[pid=17937] vsize: 6584
Current children cumulated CPU time (s) 335.3
Current children cumulated vsize (Kb) 8712

[startup+370.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1120 0 0 0 33069 1349 0 0 24 0 1 0 1789436689 6742016 1025 4294967295 134512640 134702520 3221223952 3221223116 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1646 1025 413 48 0 1598 0
[pid=17937] vsize: 6584
Current children cumulated CPU time (s) 344.18
Current children cumulated vsize (Kb) 8712

[startup+380.039 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1120 0 0 0 33983 1378 0 0 25 0 1 0 1789436689 6742016 1025 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1646 1025 413 48 0 1598 0
[pid=17937] vsize: 6584
Current children cumulated CPU time (s) 353.61
Current children cumulated vsize (Kb) 8712

[startup+390.04 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1302 0 0 0 34921 1400 0 0 25 0 1 0 1789436689 6819840 1207 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1207 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 363.21
Current children cumulated vsize (Kb) 8788

[startup+400.041 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1362 0 0 0 35858 1422 0 0 25 0 1 0 1789436689 6819840 1267 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1267 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 372.8
Current children cumulated vsize (Kb) 8788

[startup+410.041 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1363 0 0 0 36813 1440 0 0 25 0 1 0 1789436689 6819840 1268 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1268 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 382.53
Current children cumulated vsize (Kb) 8788

[startup+420.042 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1366 0 0 0 37752 1462 0 0 25 0 1 0 1789436689 6819840 1271 4294967295 134512640 134702520 3221223952 3221223232 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1271 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 392.14
Current children cumulated vsize (Kb) 8788

[startup+430.043 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1366 0 0 0 38687 1486 0 0 25 0 1 0 1789436689 6819840 1271 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1271 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 401.73
Current children cumulated vsize (Kb) 8788

[startup+440.044 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1392 0 0 0 39638 1502 0 0 25 0 1 0 1789436689 6819840 1297 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1297 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 411.4
Current children cumulated vsize (Kb) 8788

[startup+450.044 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1394 0 0 0 40581 1521 0 0 25 0 1 0 1789436689 6819840 1299 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1299 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 421.02
Current children cumulated vsize (Kb) 8788

[startup+460.045 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1397 0 0 0 41482 1557 0 0 25 0 1 0 1789436689 6819840 1302 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1302 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 430.39
Current children cumulated vsize (Kb) 8788

[startup+470.046 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1397 0 0 0 42352 1601 0 0 25 0 1 0 1789436689 6819840 1302 4294967295 134512640 134702520 3221223952 3221222848 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1302 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 439.53
Current children cumulated vsize (Kb) 8788

[startup+480.047 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1398 0 0 0 43297 1619 0 0 25 0 1 0 1789436689 6819840 1303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1303 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 449.16
Current children cumulated vsize (Kb) 8788

[startup+490.047 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1398 0 0 0 44243 1639 0 0 25 0 1 0 1789436689 6819840 1303 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1303 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 458.82
Current children cumulated vsize (Kb) 8788

[startup+500.049 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1399 0 0 0 45199 1655 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223304 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 468.54
Current children cumulated vsize (Kb) 8788

[startup+510.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1399 0 0 0 46136 1677 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 478.13
Current children cumulated vsize (Kb) 8788

[startup+520.051 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1399 0 0 0 47077 1696 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 487.73
Current children cumulated vsize (Kb) 8788

[startup+530.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1399 0 0 0 48033 1709 0 0 25 0 1 0 1789436689 6819840 1304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1304 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 497.42
Current children cumulated vsize (Kb) 8788

[startup+540.052 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1408 0 0 0 48976 1730 0 0 25 0 1 0 1789436689 6819840 1313 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1313 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 507.06
Current children cumulated vsize (Kb) 8788

[startup+550.053 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1410 0 0 0 49938 1743 0 0 25 0 1 0 1789436689 6819840 1315 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1665 1315 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 516.81
Current children cumulated vsize (Kb) 8788

[startup+560.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1411 0 0 0 50879 1763 0 0 25 0 1 0 1789436689 6819840 1316 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1665 1316 413 48 0 1617 0
[pid=17937] vsize: 6660
Current children cumulated CPU time (s) 526.42
Current children cumulated vsize (Kb) 8788

[startup+570.054 s]
Raw data (loadavg): 1.09 1.03 1.01 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1415 0 0 0 51790 1793 0 0 25 0 1 0 1789436689 6975488 1320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1703 1320 413 48 0 1655 0
[pid=17937] vsize: 6812
Current children cumulated CPU time (s) 535.83
Current children cumulated vsize (Kb) 8940

[startup+580.055 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1415 0 0 0 52673 1832 0 0 25 0 1 0 1789436689 6975488 1320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1703 1320 413 48 0 1655 0
[pid=17937] vsize: 6812
Current children cumulated CPU time (s) 545.05
Current children cumulated vsize (Kb) 8940

[startup+590.056 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1416 0 0 0 53615 1851 0 0 25 0 1 0 1789436689 6918144 1321 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1321 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 554.66
Current children cumulated vsize (Kb) 8884

[startup+600.058 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1417 0 0 0 54549 1874 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 564.23
Current children cumulated vsize (Kb) 8884

[startup+610.058 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1417 0 0 0 55513 1886 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 573.99
Current children cumulated vsize (Kb) 8884

[startup+620.059 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1417 0 0 0 56449 1906 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 583.55
Current children cumulated vsize (Kb) 8884

[startup+630.062 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1417 0 0 0 57414 1920 0 0 25 0 1 0 1789436689 6918144 1322 4294967295 134512640 134702520 3221223952 3221223232 134553113 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1322 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 593.34
Current children cumulated vsize (Kb) 8884

[startup+640.062 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1418 0 0 0 58353 1942 0 0 25 0 1 0 1789436689 6918144 1323 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1323 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 602.95
Current children cumulated vsize (Kb) 8884

[startup+650.063 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1419 0 0 0 59292 1963 0 0 25 0 1 0 1789436689 6918144 1324 4294967295 134512640 134702520 3221223952 3221222960 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1324 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 612.55
Current children cumulated vsize (Kb) 8884

[startup+660.065 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1420 0 0 0 60256 1978 0 0 25 0 1 0 1789436689 6918144 1325 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1325 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 622.34
Current children cumulated vsize (Kb) 8884

[startup+670.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1421 0 0 0 61196 1999 0 0 25 0 1 0 1789436689 6918144 1326 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1326 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 631.95
Current children cumulated vsize (Kb) 8884

[startup+680.067 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1422 0 0 0 62158 2013 0 0 25 0 1 0 1789436689 6918144 1327 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1327 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 641.71
Current children cumulated vsize (Kb) 8884

[startup+690.067 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1426 0 0 0 63077 2042 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 651.19
Current children cumulated vsize (Kb) 8884

[startup+700.068 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1426 0 0 0 63961 2083 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 660.44
Current children cumulated vsize (Kb) 8884

[startup+710.069 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1426 0 0 0 64893 2106 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (Kb) 8884

[startup+720.069 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1426 0 0 0 65842 2124 0 0 25 0 1 0 1789436689 6918144 1331 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1331 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 679.66
Current children cumulated vsize (Kb) 8884

[startup+730.071 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1427 0 0 0 66785 2141 0 0 25 0 1 0 1789436689 6918144 1332 4294967295 134512640 134702520 3221223952 3221223232 134553125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1332 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 689.26
Current children cumulated vsize (Kb) 8884

[startup+740.072 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1427 0 0 0 67719 2166 0 0 25 0 1 0 1789436689 6918144 1332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1332 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 698.85
Current children cumulated vsize (Kb) 8884

[startup+750.073 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1427 0 0 0 68686 2178 0 0 25 0 1 0 1789436689 6918144 1332 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1332 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 708.64
Current children cumulated vsize (Kb) 8884

[startup+760.073 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1429 0 0 0 69622 2200 0 0 25 0 1 0 1789436689 6918144 1334 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1334 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 718.22
Current children cumulated vsize (Kb) 8884

[startup+770.074 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1429 0 0 0 70581 2215 0 0 25 0 1 0 1789436689 6918144 1334 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1334 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 727.96
Current children cumulated vsize (Kb) 8884

[startup+780.075 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1430 0 0 0 71517 2237 0 0 25 0 1 0 1789436689 6918144 1335 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1335 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 737.54
Current children cumulated vsize (Kb) 8884

[startup+790.076 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1430 0 0 0 72477 2251 0 0 25 0 1 0 1789436689 6918144 1335 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1335 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 747.28
Current children cumulated vsize (Kb) 8884

[startup+800.077 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1432 0 0 0 73411 2274 0 0 25 0 1 0 1789436689 6918144 1337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1337 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 756.85
Current children cumulated vsize (Kb) 8884

[startup+810.078 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1432 0 0 0 74366 2289 0 0 25 0 1 0 1789436689 6918144 1337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1337 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 766.55
Current children cumulated vsize (Kb) 8884

[startup+820.078 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1433 0 0 0 75247 2332 0 0 25 0 1 0 1789436689 6918144 1338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1338 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 775.79
Current children cumulated vsize (Kb) 8884

[startup+830.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1433 0 0 0 76134 2375 0 0 25 0 1 0 1789436689 6918144 1338 4294967295 134512640 134702520 3221223952 3221223232 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1338 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 785.09
Current children cumulated vsize (Kb) 8884

[startup+840.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1433 0 0 0 77099 2387 0 0 25 0 1 0 1789436689 6918144 1338 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1338 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 794.86
Current children cumulated vsize (Kb) 8884

[startup+850.081 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1434 0 0 0 78036 2409 0 0 25 0 1 0 1789436689 6918144 1339 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1339 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 804.45
Current children cumulated vsize (Kb) 8884

[startup+860.083 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1434 0 0 0 79002 2421 0 0 25 0 1 0 1789436689 6918144 1339 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1339 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 814.23
Current children cumulated vsize (Kb) 8884

[startup+870.084 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1435 0 0 0 79939 2443 0 0 25 0 1 0 1789436689 6918144 1340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1340 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 823.82
Current children cumulated vsize (Kb) 8884

[startup+880.084 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1435 0 0 0 80903 2455 0 0 25 0 1 0 1789436689 6918144 1340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1340 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 833.58
Current children cumulated vsize (Kb) 8884

[startup+890.085 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1436 0 0 0 81836 2479 0 0 25 0 1 0 1789436689 6918144 1341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1341 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 843.15
Current children cumulated vsize (Kb) 8884

[startup+900.087 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1436 0 0 0 82797 2492 0 0 25 0 1 0 1789436689 6918144 1341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1341 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 852.89
Current children cumulated vsize (Kb) 8884

[startup+910.088 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1438 0 0 0 83739 2512 0 0 25 0 1 0 1789436689 6918144 1343 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1343 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 862.51
Current children cumulated vsize (Kb) 8884

[startup+920.088 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1438 0 0 0 84704 2524 0 0 25 0 1 0 1789436689 6918144 1343 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1343 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 872.28
Current children cumulated vsize (Kb) 8884

[startup+930.089 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1440 0 0 0 85654 2539 0 0 25 0 1 0 1789436689 6918144 1345 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1345 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (Kb) 8884

[startup+940.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) R 17934 17934 824 0 -1 0 1441 0 0 0 86607 2555 0 0 25 0 1 0 1789436689 6918144 1346 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1346 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 891.62
Current children cumulated vsize (Kb) 8884

[startup+950.091 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1441 0 0 0 87565 2569 0 0 25 0 1 0 1789436689 6918144 1346 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17937/statm): 1689 1346 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 901.34
Current children cumulated vsize (Kb) 8884

[startup+960.092 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17937
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 330 232 0 0 0 0 0 0 23 0 1 0 1789436682 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 242 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17937/stat): 17937 (vallst) T 17934 17934 824 0 -1 0 1442 0 0 0 88457 2607 0 0 25 0 1 0 1789436689 6918144 1347 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 1689 1347 413 48 0 1641 0
[pid=17937] vsize: 6756
Current children cumulated CPU time (s) 910.64
Current children cumulated vsize (Kb) 8884
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=17937) exited with status: 2
New process pid=17938
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=17938) exited with status: 0
New process pid=17939
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+970.093 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 570 0 0 0 274 12 0 0 25 0 1 0 1789533397 3764224 541 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 919 541 413 48 0 871 0
[pid=17939] vsize: 3676
Current children cumulated CPU time (s) 920.01
Current children cumulated vsize (Kb) 5804

[startup+980.095 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 570 0 0 0 1205 36 0 0 25 0 1 0 1789533397 3764224 541 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 919 541 413 48 0 871 0
[pid=17939] vsize: 3676
Current children cumulated CPU time (s) 929.56
Current children cumulated vsize (Kb) 5804

[startup+990.096 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 682 0 0 0 2141 58 0 0 25 0 1 0 1789533397 6008832 653 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1467 653 413 48 0 1419 0
[pid=17939] vsize: 5868
Current children cumulated CPU time (s) 939.14
Current children cumulated vsize (Kb) 7996

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 688 0 0 0 3043 91 0 0 25 0 1 0 1789533397 5980160 659 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 659 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 948.49
Current children cumulated vsize (Kb) 7968

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 756 0 0 0 3973 116 0 0 24 0 1 0 1789533397 5980160 727 4294967295 134512640 134702520 3221223712 3221222932 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 727 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 958.04
Current children cumulated vsize (Kb) 7968

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 762 0 0 0 4900 140 0 0 25 0 1 0 1789533397 5980160 733 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1460 733 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 967.55
Current children cumulated vsize (Kb) 7968

[startup+1030.1 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 766 0 0 0 5828 164 0 0 25 0 1 0 1789533397 5980160 737 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 737 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 977.07
Current children cumulated vsize (Kb) 7968

[startup+1040.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 769 0 0 0 6748 192 0 0 25 0 1 0 1789533397 5980160 740 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1460 740 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 986.55
Current children cumulated vsize (Kb) 7968

[startup+1050.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 770 0 0 0 7662 222 0 0 25 0 1 0 1789533397 5980160 741 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1460 741 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 995.99
Current children cumulated vsize (Kb) 7968

[startup+1060.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 771 0 0 0 8583 249 0 0 23 0 1 0 1789533397 5980160 742 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1460 742 413 48 0 1412 0
[pid=17939] vsize: 5840
Current children cumulated CPU time (s) 1005.47
Current children cumulated vsize (Kb) 7968

[startup+1070.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 804 0 0 0 9519 273 0 0 24 0 1 0 1789533397 6062080 775 4294967295 134512640 134702520 3221223712 3221222736 134553157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1480 775 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1015.07
Current children cumulated vsize (Kb) 8048

[startup+1080.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 807 0 0 0 10465 292 0 0 25 0 1 0 1789533397 6062080 778 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1480 778 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1024.72
Current children cumulated vsize (Kb) 8048

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 811 0 0 0 11386 320 0 0 17 0 1 0 1789533397 6062080 782 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1480 782 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1034.21
Current children cumulated vsize (Kb) 8048

[startup+1100.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 816 0 0 0 12328 340 0 0 25 0 1 0 1789533397 6062080 787 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 787 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1043.83
Current children cumulated vsize (Kb) 8048

[startup+1110.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 818 0 0 0 13274 357 0 0 25 0 1 0 1789533397 6062080 789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 789 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1053.46
Current children cumulated vsize (Kb) 8048

[startup+1120.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 819 0 0 0 14178 391 0 0 25 0 1 0 1789533397 6062080 790 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 790 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1062.84
Current children cumulated vsize (Kb) 8048

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 821 0 0 0 15102 415 0 0 25 0 1 0 1789533397 6062080 792 4294967295 134512640 134702520 3221223712 3221222992 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 792 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1072.32
Current children cumulated vsize (Kb) 8048

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 850 0 0 0 16027 442 0 0 25 0 1 0 1789533397 6062080 821 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 821 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1081.84
Current children cumulated vsize (Kb) 8048

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 852 0 0 0 16949 469 0 0 25 0 1 0 1789533397 6062080 823 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1480 823 413 48 0 1432 0
[pid=17939] vsize: 5920
Current children cumulated CPU time (s) 1091.33
Current children cumulated vsize (Kb) 8048

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 855 0 0 0 17880 492 0 0 25 0 1 0 1789533397 6144000 826 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 826 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1100.87
Current children cumulated vsize (Kb) 8128

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 900 0 0 0 18832 508 0 0 25 0 1 0 1789533397 6144000 871 4294967295 134512640 134702520 3221223712 3221222736 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1500 871 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1110.55
Current children cumulated vsize (Kb) 8128

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 901 0 0 0 19770 530 0 0 25 0 1 0 1789533397 6144000 872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 872 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1120.15
Current children cumulated vsize (Kb) 8128

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 903 0 0 0 20705 554 0 0 25 0 1 0 1789533397 6144000 874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 874 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1129.74
Current children cumulated vsize (Kb) 8128

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 905 0 0 0 21617 584 0 0 25 0 1 0 1789533397 6144000 876 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1500 876 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1139.16
Current children cumulated vsize (Kb) 8128

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 905 0 0 0 22538 609 0 0 25 0 1 0 1789533397 6144000 876 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 876 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1148.62
Current children cumulated vsize (Kb) 8128

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 905 0 0 0 23498 623 0 0 25 0 1 0 1789533397 6144000 876 4294967295 134512640 134702520 3221223712 3221222992 134552523 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 876 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1158.36
Current children cumulated vsize (Kb) 8128

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 909 0 0 0 24425 649 0 0 25 0 1 0 1789533397 6144000 880 4294967295 134512640 134702520 3221223712 3221222992 134552969 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 880 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1167.89
Current children cumulated vsize (Kb) 8128

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 913 0 0 0 25361 671 0 0 25 0 1 0 1789533397 6144000 884 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 884 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (Kb) 8128

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 923 0 0 0 26297 694 0 0 25 0 1 0 1789533397 6144000 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 894 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1187.06
Current children cumulated vsize (Kb) 8128

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) R 17934 17934 824 0 -1 0 929 0 0 0 27256 706 0 0 25 0 1 0 1789533397 6144000 900 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/17939/statm): 1500 900 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1196.77
Current children cumulated vsize (Kb) 8128

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 933 0 0 0 28193 728 0 0 25 0 1 0 1789533397 6144000 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 904 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1206.36
Current children cumulated vsize (Kb) 8128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 17939
Raw data (/proc/17934/stat): 17934 (vallstSAT2005PB) S 17933 17934 824 0 -1 0 378 1817 0 0 1 1 89081 2632 19 0 1 0 1789436682 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/17934/statm): 532 248 485 147 0 385 0
[pid=17934] vsize: 2128
Raw data (/proc/17939/stat): 17939 (vallst) T 17934 17934 824 0 -1 0 933 0 0 0 28193 728 0 0 25 0 1 0 1789533397 6144000 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/17939/statm): 1500 904 413 48 0 1452 0
[pid=17939] vsize: 6000
Current children cumulated CPU time (s) 1206.36
Current children cumulated vsize (Kb) 8128

Sending SIGTERM to -17934
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=17941
New process pid=17942
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/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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/17897/stat
open syscall for file /proc/17897/status
open syscall for file /proc/17897/cmdline
open syscall for file /proc/17897/environ
open syscall for file /proc/17933/stat
open syscall for file /proc/17933/status
open syscall for file /proc/17933/cmdline
open syscall for file /proc/17933/environ
open syscall for file /proc/17934/stat
open syscall for file /proc/17934/status
open syscall for file /proc/17934/cmdline
open syscall for file /proc/17934/environ
open syscall for file /proc/17939/stat
open syscall for file /proc/17939/status
open syscall for file /proc/17939/cmdline
open syscall for file /proc/17939/environ
open syscall for file /proc/17941/stat
open syscall for file /proc/17941/status
open syscall for file /proc/17941/cmdline
open syscall for file /proc/17941/environ
open syscall for file /proc/17942/stat
open syscall for file /proc/17942/status
open syscall for file /proc/17942/cmdline
open syscall for file /proc/17942/environ
One traced child (pid=17941) exited with status: 0
One traced child (pid=17942) exited with status: 0
New process pid=17943
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=17939) exited with status: 3
One traced child (pid=17943) exited with status: 0
New process pid=17944
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=17944) exited with status: 0
One traced child (pid=17934) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1270.62
CPU time (s): 1206.65
CPU user time (s): 1172.94
CPU system time (s): 33.7019
CPU usage (%): 94.965
Max. virtual memory (cumulated for all children) (Kb): 8940

Verifier Data

ERROR: no interpretation found !