Some explanations

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

General information on the benchmark

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

Trace number 9492

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        933988 kB
Buffers:         14772 kB
Cached:          67304 kB
SwapCached:          0 kB
Active:          47288 kB
Inactive:        37704 kB
HighTotal:      131008 kB
HighFree:        59360 kB
LowTotal:       903652 kB
LowFree:        874628 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10104 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:16:31 (client local time) WITH STATUS 3 IN 365.426 SECONDS
stats: 8196 7 365.426 3

Solver Data

1:
seed: 0
Nr of vars set: 17761  (#equs: 0)
Nr of vars set: 17843  (#equs: 0)
#decisions: 1366590;  #end-nodes: 9607;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 126 (103)
#axs: 4561, #non-axs: 255
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 17888  (#equs: 0)
Time taken: 13 min, 55 sec

2:

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

seed: 0
Nr of vars set: 17888  (#equs: 0)
Nr of vars set: 17888  (#equs: 0)
Interupt request received.
#decisions: 884987;  #end-nodes: 5425;
#proof improvement attempts: 0;  #restarts: 40
Current batch, end-nodes: 87 / 138 (130)
#axs: 4560, #non-axs: 971
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 30005  (#equs: 0)
Time taken: 6 min, 4 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/6321/stat): 6321 (vallstSAT2005PB) R 6320 6321 4060 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 20712918 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6321/statm): 174 3 169 147 0 27 0
[pid=6321] 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=6322
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=6322) exited with status: 0
New process pid=6323
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=6323) exited with status: 0
New process pid=6324
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/wulflinc17/normalized-mps-v2-13-7-A1C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4319 0 0 0 959 22 0 0 25 0 1 0 20712925 18636800 3767 4294967295 134512640 134702520 3221223952 3221186688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4550 3767 413 48 0 4502 0
[pid=6324] vsize: 18200
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 20328

[startup+20.0041 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4349 0 0 0 1959 22 0 0 25 0 1 0 20712925 18759680 3797 4294967295 134512640 134702520 3221223952 3221050668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4580 3797 413 48 0 4532 0
[pid=6324] vsize: 18320
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 20448

[startup+30.0057 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4385 0 0 0 2959 22 0 0 25 0 1 0 20712925 18907136 3833 4294967295 134512640 134702520 3221223952 3220905088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4616 3833 413 48 0 4568 0
[pid=6324] vsize: 18464
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 20592

[startup+40.0063 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4423 0 0 0 3959 22 0 0 25 0 1 0 20712925 19062784 3871 4294967295 134512640 134702520 3221223952 3220750188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4654 3871 413 48 0 4606 0
[pid=6324] vsize: 18616
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 20744

[startup+50.0069 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4463 0 0 0 4959 22 0 0 25 0 1 0 20712925 19226624 3911 4294967295 134512640 134702520 3221223952 3220584288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4694 3911 413 48 0 4646 0
[pid=6324] vsize: 18776
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 20904

[startup+60.0075 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4507 0 0 0 5960 22 0 0 25 0 1 0 20712925 19406848 3955 4294967295 134512640 134702520 3221223952 3220404448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4738 3955 413 48 0 4690 0
[pid=6324] vsize: 18952
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 21080

[startup+70.0081 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4555 0 0 0 6960 22 0 0 25 0 1 0 20712925 19603456 4003 4294967295 134512640 134702520 3221223952 3220207308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4786 4003 413 48 0 4738 0
[pid=6324] vsize: 19144
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 21272

[startup+80.0087 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4609 0 0 0 7960 23 0 0 25 0 1 0 20712925 19824640 4057 4294967295 134512640 134702520 3221223952 3219986348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4840 4057 413 48 0 4792 0
[pid=6324] vsize: 19360
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 21488

[startup+90.0093 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4672 0 0 0 8960 23 0 0 25 0 1 0 20712925 20082688 4120 4294967295 134512640 134702520 3221223952 3219729728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4903 4120 413 48 0 4855 0
[pid=6324] vsize: 19612
Current children cumulated CPU time (s) 89.85
Current children cumulated vsize (Kb) 21740

[startup+100.009 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4749 0 0 0 9960 23 0 0 25 0 1 0 20712925 20398080 4197 4294967295 134512640 134702520 3221223952 3219412128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 4980 4197 413 48 0 4932 0
[pid=6324] vsize: 19920
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (Kb) 22048

[startup+110.01 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 4865 0 0 0 10960 23 0 0 25 0 1 0 20712925 20873216 4313 4294967295 134512640 134702520 3221223952 3218937728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 5096 4313 413 48 0 5048 0
[pid=6324] vsize: 20384
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 22512

[startup+120.01 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5142 0 0 0 11535 156 0 0 16 0 1 0 20712925 35389440 4590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8640 4590 413 48 0 8592 0
[pid=6324] vsize: 34560
Current children cumulated CPU time (s) 116.93
Current children cumulated vsize (Kb) 36688

[startup+130.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 12146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3221186108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 124.29
Current children cumulated vsize (Kb) 36696

[startup+140.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 13146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3221105008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (Kb) 36696

[startup+150.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 14146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220993808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 144.29
Current children cumulated vsize (Kb) 36696

[startup+160.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 15146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220844348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 154.29
Current children cumulated vsize (Kb) 36696

[startup+170.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 16146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220684828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 164.29
Current children cumulated vsize (Kb) 36696

[startup+180.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 17146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220513148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 174.29
Current children cumulated vsize (Kb) 36696

[startup+190.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 18146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220326596 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 184.29
Current children cumulated vsize (Kb) 36696

[startup+200.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 19146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3220120048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 194.29
Current children cumulated vsize (Kb) 36696

[startup+210.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 20146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3219885488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 204.29
Current children cumulated vsize (Kb) 36696

[startup+220.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 21146 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3219607408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 214.29
Current children cumulated vsize (Kb) 36696

[startup+230.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 22147 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3219245168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 224.3
Current children cumulated vsize (Kb) 36696

[startup+240.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5148 0 0 0 23147 281 0 0 25 0 1 0 20712925 35397632 4596 4294967295 134512640 134702520 3221223952 3218429488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6324/statm): 8642 4596 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 234.3
Current children cumulated vsize (Kb) 36696

[startup+250.02 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5149 0 0 0 23409 516 0 0 16 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 239.27
Current children cumulated vsize (Kb) 36696

[startup+260.022 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 24358 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3221148848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 248.95
Current children cumulated vsize (Kb) 36696

[startup+270.022 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6324
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 25358 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3221066128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 258.95
Current children cumulated vsize (Kb) 36696

[startup+280.023 s]
Raw data (loadavg): 1.26 1.08 1.02 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 26359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220927228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 268.96
Current children cumulated vsize (Kb) 36696

[startup+290.023 s]
Raw data (loadavg): 1.22 1.07 1.02 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 27359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220771888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 278.96
Current children cumulated vsize (Kb) 36696

[startup+300.023 s]
Raw data (loadavg): 1.19 1.07 1.02 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 28359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220605308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 288.96
Current children cumulated vsize (Kb) 36696

[startup+310.024 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 29359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220425148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 298.96
Current children cumulated vsize (Kb) 36696

[startup+320.024 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 30359 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220227568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 308.96
Current children cumulated vsize (Kb) 36696

[startup+330.025 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 6379
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 31360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3220006268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (Kb) 36696

[startup+340.025 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6381
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 32360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3219750108 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 328.97
Current children cumulated vsize (Kb) 36696

[startup+350.025 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6383
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 33360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3219433808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (Kb) 36696

[startup+360.026 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5149 0 0 0 34360 535 0 0 25 0 1 0 20712925 35397632 4597 4294967295 134512640 134702520 3221223952 3218970108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8642 4597 413 48 0 8594 0
[pid=6324] vsize: 34568
Current children cumulated CPU time (s) 348.97
Current children cumulated vsize (Kb) 36696

[startup+370.026 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5150 0 0 0 34963 660 0 0 16 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 356.25
Current children cumulated vsize (Kb) 36700

[startup+380.027 s]
Raw data (loadavg): 1.05 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 35742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221167708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 364.77
Current children cumulated vsize (Kb) 36700

[startup+390.027 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 36742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221085488 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 374.77
Current children cumulated vsize (Kb) 36700

[startup+400.028 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 37742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220963728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 384.77
Current children cumulated vsize (Kb) 36700

[startup+410.029 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 38742 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220810928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 394.77
Current children cumulated vsize (Kb) 36700

[startup+420.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 39743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220647228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 404.78
Current children cumulated vsize (Kb) 36700

[startup+430.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 40743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220470748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 414.78
Current children cumulated vsize (Kb) 36700

[startup+440.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 41743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220277948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 424.78
Current children cumulated vsize (Kb) 36700

[startup+450.031 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 42743 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3220063408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 434.78
Current children cumulated vsize (Kb) 36700

[startup+460.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 43744 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3219817328 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 444.79
Current children cumulated vsize (Kb) 36700

[startup+470.032 s]
Raw data (loadavg): 1.01 1.03 1.00 3/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 44744 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3219519888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 454.79
Current children cumulated vsize (Kb) 36700

[startup+480.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5150 0 0 0 45744 733 0 0 25 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3219111868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 464.79
Current children cumulated vsize (Kb) 36700

[startup+490.033 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5150 0 0 0 46536 802 0 0 16 0 1 0 20712925 35401728 4598 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4598 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 473.4
Current children cumulated vsize (Kb) 36700

[startup+500.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 47088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3221192208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 480.37
Current children cumulated vsize (Kb) 36700

[startup+510.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 48088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3221110448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 490.37
Current children cumulated vsize (Kb) 36700

[startup+520.035 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 49088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3221008688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 500.37
Current children cumulated vsize (Kb) 36700

[startup+530.037 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 50088 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220858768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 510.37
Current children cumulated vsize (Kb) 36700

[startup+540.037 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 51089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220698608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 520.38
Current children cumulated vsize (Kb) 36700

[startup+550.038 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 52089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220526428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 530.38
Current children cumulated vsize (Kb) 36700

[startup+560.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 53089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220339068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 540.38
Current children cumulated vsize (Kb) 36700

[startup+570.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 54089 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3220132208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 550.38
Current children cumulated vsize (Kb) 36700

[startup+580.04 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 55090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3219897308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 560.39
Current children cumulated vsize (Kb) 36700

[startup+590.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 56090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3219619088 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 570.39
Current children cumulated vsize (Kb) 36700

[startup+600.041 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 57090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3219258128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 580.39
Current children cumulated vsize (Kb) 36700

[startup+610.042 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5172 0 0 0 58090 947 0 0 25 0 1 0 20712925 35401728 4620 4294967295 134512640 134702520 3221223952 3218518768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4620 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 590.39
Current children cumulated vsize (Kb) 36700

[startup+620.042 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6385
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5199 0 0 0 58364 1180 0 0 16 0 1 0 20712925 35401728 4647 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4647 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (Kb) 36700

[startup+630.044 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 58897 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221194908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 602.26
Current children cumulated vsize (Kb) 36700

[startup+640.044 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 59898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221113148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 612.27
Current children cumulated vsize (Kb) 36700

[startup+650.045 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 60898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221014428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 622.27
Current children cumulated vsize (Kb) 36700

[startup+660.046 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 61898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220864848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 632.27
Current children cumulated vsize (Kb) 36700

[startup+670.046 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 62898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220705328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (Kb) 36700

[startup+680.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 63898 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220533808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 652.27
Current children cumulated vsize (Kb) 36700

[startup+690.046 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 64899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220347408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 662.28
Current children cumulated vsize (Kb) 36700

[startup+700.047 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 65899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220141648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 672.28
Current children cumulated vsize (Kb) 36700

[startup+710.048 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 66899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219908368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 682.28
Current children cumulated vsize (Kb) 36700

[startup+720.048 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 67899 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219633008 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 692.28
Current children cumulated vsize (Kb) 36700

[startup+730.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 68900 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219278288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (Kb) 36700

[startup+740.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 69900 1327 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3218613632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 712.29
Current children cumulated vsize (Kb) 36700

[startup+750.048 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) T 6321 6321 4060 0 -1 0 5225 0 0 0 70224 1538 0 0 17 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 717.64
Current children cumulated vsize (Kb) 36700

[startup+760.049 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 70744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221196668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 724.38
Current children cumulated vsize (Kb) 36700

[startup+770.049 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 71744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221115088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 734.38
Current children cumulated vsize (Kb) 36700

[startup+780.049 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 72744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3221019888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 744.38
Current children cumulated vsize (Kb) 36700

[startup+790.049 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 73744 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220870768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 754.38
Current children cumulated vsize (Kb) 36700

[startup+800.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 74745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220711868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 764.39
Current children cumulated vsize (Kb) 36700

[startup+810.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 75745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220541008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 774.39
Current children cumulated vsize (Kb) 36700

[startup+820.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 76745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220355548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 784.39
Current children cumulated vsize (Kb) 36700

[startup+830.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 77745 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3220150768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 794.39
Current children cumulated vsize (Kb) 36700

[startup+840.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 78746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219919408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (Kb) 36700

[startup+850.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 79746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219646768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 814.4
Current children cumulated vsize (Kb) 36700

[startup+860.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 80746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3219297968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 824.4
Current children cumulated vsize (Kb) 36700

[startup+870.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6387
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20712918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 242 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6324/stat): 6324 (vallst) R 6321 6321 4060 0 -1 0 5225 0 0 0 81746 1692 0 0 25 0 1 0 20712925 35401728 4673 4294967295 134512640 134702520 3221223952 3218682108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6324/statm): 8643 4673 413 48 0 8595 0
[pid=6324] vsize: 34572
Current children cumulated CPU time (s) 834.4
Current children cumulated vsize (Kb) 36700
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6324) exited with status: 2
New process pid=6388
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=6388) exited with status: 0
New process pid=6389
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+880.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3022 0 0 0 759 13 0 0 25 0 1 0 20800157 15163392 2992 4294967295 134512640 134702520 3221223712 3221149788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3702 2992 413 48 0 3654 0
[pid=6389] vsize: 14808
Current children cumulated CPU time (s) 844.3
Current children cumulated vsize (Kb) 16936

[startup+890.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3056 0 0 0 1759 13 0 0 25 0 1 0 20800157 15302656 3026 4294967295 134512640 134702520 3221223712 3221011408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3736 3026 413 48 0 3688 0
[pid=6389] vsize: 14944
Current children cumulated CPU time (s) 854.3
Current children cumulated vsize (Kb) 17072

[startup+900.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3092 0 0 0 2760 13 0 0 25 0 1 0 20800157 15450112 3062 4294967295 134512640 134702520 3221223712 3220865008 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3772 3062 413 48 0 3724 0
[pid=6389] vsize: 15088
Current children cumulated CPU time (s) 864.31
Current children cumulated vsize (Kb) 17216

[startup+910.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3130 0 0 0 3760 13 0 0 25 0 1 0 20800157 15605760 3100 4294967295 134512640 134702520 3221223712 3220709328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3810 3100 413 48 0 3762 0
[pid=6389] vsize: 15240
Current children cumulated CPU time (s) 874.31
Current children cumulated vsize (Kb) 17368

[startup+920.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3170 0 0 0 4760 13 0 0 25 0 1 0 20800157 15769600 3140 4294967295 134512640 134702520 3221223712 3220542428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3850 3140 413 48 0 3802 0
[pid=6389] vsize: 15400
Current children cumulated CPU time (s) 884.31
Current children cumulated vsize (Kb) 17528

[startup+930.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3214 0 0 0 5760 13 0 0 25 0 1 0 20800157 15949824 3184 4294967295 134512640 134702520 3221223712 3220361488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3894 3184 413 48 0 3846 0
[pid=6389] vsize: 15576
Current children cumulated CPU time (s) 894.31
Current children cumulated vsize (Kb) 17704

[startup+940.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3263 0 0 0 6760 14 0 0 25 0 1 0 20800157 16150528 3233 4294967295 134512640 134702520 3221223712 3220162588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3943 3233 413 48 0 3895 0
[pid=6389] vsize: 15772
Current children cumulated CPU time (s) 904.32
Current children cumulated vsize (Kb) 17900

[startup+950.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3318 0 0 0 7760 14 0 0 25 0 1 0 20800157 16375808 3288 4294967295 134512640 134702520 3221223712 3219939068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 3998 3288 413 48 0 3950 0
[pid=6389] vsize: 15992
Current children cumulated CPU time (s) 914.32
Current children cumulated vsize (Kb) 18120

[startup+960.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3382 0 0 0 8760 14 0 0 25 0 1 0 20800157 16637952 3352 4294967295 134512640 134702520 3221223712 3219676528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 4062 3352 413 48 0 4014 0
[pid=6389] vsize: 16248
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (Kb) 18376

[startup+970.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3464 0 0 0 9760 14 0 0 25 0 1 0 20800157 16973824 3434 4294967295 134512640 134702520 3221223712 3219339868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 4144 3434 413 48 0 4096 0
[pid=6389] vsize: 16576
Current children cumulated CPU time (s) 934.32
Current children cumulated vsize (Kb) 18704

[startup+980.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3598 0 0 0 10760 15 0 0 25 0 1 0 20800157 17522688 3568 4294967295 134512640 134702520 3221223712 3218790428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 4278 3568 413 48 0 4230 0
[pid=6389] vsize: 17112
Current children cumulated CPU time (s) 944.33
Current children cumulated vsize (Kb) 19240

[startup+990.057 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 11200 195 0 0 16 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 950.53
Current children cumulated vsize (Kb) 31872

[startup+1000.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 11732 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221194828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 957.35
Current children cumulated vsize (Kb) 31872

[startup+1010.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 12732 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221114048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 967.35
Current children cumulated vsize (Kb) 31872

[startup+1020.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 13733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221023168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 977.36
Current children cumulated vsize (Kb) 31872

[startup+1030.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 14732 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220876268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 987.35
Current children cumulated vsize (Kb) 31872

[startup+1040.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 15733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220719628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 997.36
Current children cumulated vsize (Kb) 31872

[startup+1050.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 16733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220551648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1007.36
Current children cumulated vsize (Kb) 31872

[startup+1060.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 17733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220369408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1017.36
Current children cumulated vsize (Kb) 31872

[startup+1070.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 18733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3220168608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1027.36
Current children cumulated vsize (Kb) 31872

[startup+1080.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 19733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3219942348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1037.36
Current children cumulated vsize (Kb) 31872

[startup+1090.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 20733 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3219677712 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1047.36
Current children cumulated vsize (Kb) 31872

[startup+1100.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 21734 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3219344448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1057.37
Current children cumulated vsize (Kb) 31872

[startup+1110.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3932 0 0 0 22734 345 0 0 25 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3218808928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1067.37
Current children cumulated vsize (Kb) 31872

[startup+1120.06 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3933 0 0 0 23187 517 0 0 16 0 1 0 20800157 30457856 3869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 7436 3869 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1073.62
Current children cumulated vsize (Kb) 31872

[startup+1130.06 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3934 0 0 0 23452 749 0 0 17 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1078.59
Current children cumulated vsize (Kb) 31872

[startup+1140.06 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 24052 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221186688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1085.95
Current children cumulated vsize (Kb) 31872

[startup+1150.06 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 25052 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221104928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1095.95
Current children cumulated vsize (Kb) 31872

[startup+1160.06 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 26052 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3221005248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1105.95
Current children cumulated vsize (Kb) 31872

[startup+1170.06 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 27053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220855628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1115.96
Current children cumulated vsize (Kb) 31872

[startup+1180.06 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 28053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220695968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1125.96
Current children cumulated vsize (Kb) 31872

[startup+1190.06 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 29053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220524288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1135.96
Current children cumulated vsize (Kb) 31872

[startup+1200.06 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 30053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220337548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1145.96
Current children cumulated vsize (Kb) 31872

[startup+1210.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 31053 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3220130988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1155.96
Current children cumulated vsize (Kb) 31872

[startup+1220.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 32054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3219896768 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1165.97
Current children cumulated vsize (Kb) 31872

[startup+1230.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 33054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3219619788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1175.97
Current children cumulated vsize (Kb) 31872

[startup+1240.07 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 34054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3219261548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1185.97
Current children cumulated vsize (Kb) 31872

[startup+1250.07 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6321 6321 4060 0 -1 0 3934 0 0 0 35054 885 0 0 25 0 1 0 20800157 30457856 3870 4294967295 134512640 134702520 3221223712 3218558848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3870 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1195.97
Current children cumulated vsize (Kb) 31872

[startup+1260.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3937 0 0 0 35368 1101 0 0 16 0 1 0 20800157 30457856 3872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3872 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 31872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6389
Raw data (/proc/6321/stat): 6321 (vallstSAT2005PB) S 6320 6321 4060 0 -1 0 378 5601 0 0 2 1 81955 1700 19 0 1 0 20712918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6321/statm): 532 248 485 147 0 385 0
[pid=6321] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6321 6321 4060 0 -1 0 3937 0 0 0 35368 1101 0 0 16 0 1 0 20800157 30457856 3872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 7436 3872 413 48 0 7388 0
[pid=6389] vsize: 29744
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 31872

Sending SIGTERM to -6321
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6391
New process pid=6392
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6282/stat
open syscall for file /proc/6282/status
open syscall for file /proc/6282/cmdline
open syscall for file /proc/6282/environ
open syscall for file /proc/6320/stat
open syscall for file /proc/6320/status
open syscall for file /proc/6320/cmdline
open syscall for file /proc/6320/environ
open syscall for file /proc/6321/stat
open syscall for file /proc/6321/status
open syscall for file /proc/6321/cmdline
open syscall for file /proc/6321/environ
open syscall for file /proc/6389/stat
open syscall for file /proc/6389/status
open syscall for file /proc/6389/cmdline
open syscall for file /proc/6389/environ
open syscall for file /proc/6391/stat
open syscall for file /proc/6391/status
open syscall for file /proc/6391/cmdline
open syscall for file /proc/6391/environ
open syscall for file /proc/6392/stat
open syscall for file /proc/6392/status
open syscall for file /proc/6392/cmdline
open syscall for file /proc/6392/environ
One traced child (pid=6391) exited with status: 0
One traced child (pid=6392) exited with status: 0
New process pid=6393
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=6393) exited with status: 0
New process pid=6394
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=6394) exited with status: 0
One traced child (pid=6321) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6389) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1260.84
CPU time (s): 365.426
CPU user time (s): 354.335
CPU system time (s): 11.0913
CPU usage (%): 28.9828
Max. virtual memory (cumulated for all children) (Kb): 36700

Verifier Data

ERROR: no interpretation found !