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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb
MD5SUM4a697c297ecbc7d83b192d907b1ba64c
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 5999
Biggest coefficient in the objective function 252287385600
Number of bits for the biggest coefficient in the objective function 38
Sum of the numbers in the objective function 4556926949351
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 252287385600
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 4556926949351
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables16645
Total number of constraints1029
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1029
Minimum length of a constraint7
Maximum length of a constraint333

Trace number 9176

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922288 kB
Buffers:         13756 kB
Cached:          79132 kB
SwapCached:          0 kB
Active:          45748 kB
Inactive:        50088 kB
HighTotal:      131008 kB
HighFree:        48356 kB
LowTotal:       903652 kB
LowFree:        873932 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10992 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:36:19 (client local time) WITH STATUS 0 IN 1202.93 SECONDS
stats: 7885 7 1202.93 0

Solver Data

1:
seed: 0
Nr of vars set: 1744  (#equs: 0)
Nr of vars set: 1934  (#equs: 0)
#decisions: 89513;  #end-nodes: 34006;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 153 (151)
#axs: 1431, #non-axs: 1178
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
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: 1970  (#equs: 0)
Time taken: 7 min, 48 sec

2:
seed: 0
Nr of vars set: 1970  (#equs: 0)
Nr of vars set: 1970  (#equs: 0)
Interupt request received.
#decisions: 148681;  #end-nodes: 63264;
#proof improvement attempts: 0;  #restarts: 376
Current batch, end-nodes: 4 / 217 (214)
#axs: 1429, #non-axs: 5121
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 26, end (keep): 42
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2340  (#equs: 0)
Time taken: 12 min, 13 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/6626/stat): 6626 (vallstSAT2005PB) R 6625 6626 4070 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19773775 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6626/statm): 174 3 169 147 0 27 0
[pid=6626] 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=6627
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=6627) exited with status: 0
New process pid=6628
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=6628) exited with status: 0
New process pid=6629
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/wulflinc2/normalized-mps-v2-13-7-seba.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0023 s]
Raw data (loadavg): 0.87 0.90 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1327 0 0 0 912 28 0 0 25 0 1 0 19773785 7483392 1231 4294967295 134512640 134702520 3221223952 3221223088 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 1827 1231 413 48 0 1779 0
[pid=6629] vsize: 7308
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (Kb) 9436

[startup+20.003 s]
Raw data (loadavg): 0.89 0.91 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1354 0 0 0 1894 34 0 0 25 0 1 0 19773785 13709312 1258 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6629/statm): 3347 1258 413 48 0 3299 0
[pid=6629] vsize: 13388
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (Kb) 15516

[startup+30.0037 s]
Raw data (loadavg): 0.90 0.91 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1385 0 0 0 2878 39 0 0 25 0 1 0 19773785 13709312 1289 4294967295 134512640 134702520 3221223952 3221103568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3347 1289 413 48 0 3299 0
[pid=6629] vsize: 13388
Current children cumulated CPU time (s) 29.19
Current children cumulated vsize (Kb) 15516

[startup+40.0044 s]
Raw data (loadavg): 0.92 0.91 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1389 0 0 0 3861 45 0 0 25 0 1 0 19773785 13725696 1293 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1293 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (Kb) 15532

[startup+50.0051 s]
Raw data (loadavg): 0.93 0.91 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1389 0 0 0 4832 56 0 0 25 0 1 0 19773785 13725696 1293 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1293 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 48.9
Current children cumulated vsize (Kb) 15532

[startup+60.0048 s]
Raw data (loadavg): 0.94 0.92 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1390 0 0 0 5822 60 0 0 25 0 1 0 19773785 13725696 1294 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1294 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 58.84
Current children cumulated vsize (Kb) 15532

[startup+70.0055 s]
Raw data (loadavg): 0.95 0.92 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1392 0 0 0 6813 63 0 0 25 0 1 0 19773785 13725696 1296 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1296 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 68.78
Current children cumulated vsize (Kb) 15532

[startup+80.0062 s]
Raw data (loadavg): 0.96 0.92 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1392 0 0 0 7803 66 0 0 25 0 1 0 19773785 13725696 1296 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1296 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 78.71
Current children cumulated vsize (Kb) 15532

[startup+90.0069 s]
Raw data (loadavg): 0.96 0.92 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1392 0 0 0 8793 70 0 0 25 0 1 0 19773785 13725696 1296 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1296 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 88.65
Current children cumulated vsize (Kb) 15532

[startup+100.008 s]
Raw data (loadavg): 0.97 0.92 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1392 0 0 0 9766 79 0 0 25 0 1 0 19773785 13725696 1296 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1296 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 98.47
Current children cumulated vsize (Kb) 15532

[startup+110.008 s]
Raw data (loadavg): 0.97 0.93 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1392 0 0 0 10755 83 0 0 25 0 1 0 19773785 13725696 1296 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1296 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 108.4
Current children cumulated vsize (Kb) 15532

[startup+120.009 s]
Raw data (loadavg): 0.98 0.93 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1392 0 0 0 11727 91 0 0 25 0 1 0 19773785 13725696 1296 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1296 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 118.2
Current children cumulated vsize (Kb) 15532

[startup+130.01 s]
Raw data (loadavg): 0.98 0.93 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1397 0 0 0 12715 95 0 0 25 0 1 0 19773785 13725696 1301 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1301 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 128.12
Current children cumulated vsize (Kb) 15532

[startup+140.01 s]
Raw data (loadavg): 0.98 0.93 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1397 0 0 0 13651 114 0 0 25 0 1 0 19773785 13725696 1301 4294967295 134512640 134702520 3221223952 3221222848 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1301 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 137.67
Current children cumulated vsize (Kb) 15532

[startup+150.011 s]
Raw data (loadavg): 0.98 0.93 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1397 0 0 0 14630 122 0 0 25 0 1 0 19773785 13725696 1301 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1301 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 147.54
Current children cumulated vsize (Kb) 15532

[startup+160.011 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1397 0 0 0 15615 127 0 0 25 0 1 0 19773785 13725696 1301 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3351 1301 413 48 0 3303 0
[pid=6629] vsize: 13404
Current children cumulated CPU time (s) 157.44
Current children cumulated vsize (Kb) 15532

[startup+170.012 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1398 0 0 0 16607 130 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 167.39
Current children cumulated vsize (Kb) 15536

[startup+180.012 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1398 0 0 0 17599 133 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 177.34
Current children cumulated vsize (Kb) 15536

[startup+190.013 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1398 0 0 0 18587 137 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221098428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 187.26
Current children cumulated vsize (Kb) 15536

[startup+200.014 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1398 0 0 0 19576 141 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 197.19
Current children cumulated vsize (Kb) 15536

[startup+210.014 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1398 0 0 0 20564 145 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 207.11
Current children cumulated vsize (Kb) 15536

[startup+220.015 s]
Raw data (loadavg): 0.99 0.94 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1398 0 0 0 21539 154 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 216.95
Current children cumulated vsize (Kb) 15536

[startup+230.016 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1398 0 0 0 22525 160 0 0 25 0 1 0 19773785 13729792 1302 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1302 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 226.87
Current children cumulated vsize (Kb) 15536

[startup+240.016 s]
Raw data (loadavg): 1.07 0.96 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1417 0 0 0 23514 164 0 0 25 0 1 0 19773785 13729792 1321 4294967295 134512640 134702520 3221223952 3221223232 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1321 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 236.8
Current children cumulated vsize (Kb) 15536

[startup+250.017 s]
Raw data (loadavg): 1.06 0.96 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1437 0 0 0 24500 169 0 0 25 0 1 0 19773785 13729792 1341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1341 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 246.71
Current children cumulated vsize (Kb) 15536

[startup+260.017 s]
Raw data (loadavg): 1.05 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1455 0 0 0 25480 175 0 0 25 0 1 0 19773785 13729792 1359 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1359 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 256.57
Current children cumulated vsize (Kb) 15536

[startup+270.017 s]
Raw data (loadavg): 1.04 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1481 0 0 0 26468 181 0 0 25 0 1 0 19773785 13729792 1385 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1385 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 266.51
Current children cumulated vsize (Kb) 15536

[startup+280.017 s]
Raw data (loadavg): 1.03 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 27404 200 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221222848 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 276.06
Current children cumulated vsize (Kb) 15536

[startup+290.018 s]
Raw data (loadavg): 1.03 0.97 0.98 1/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1494 0 0 0 28385 206 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 285.93
Current children cumulated vsize (Kb) 15536

[startup+300.019 s]
Raw data (loadavg): 1.02 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 29369 211 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 295.82
Current children cumulated vsize (Kb) 15536

[startup+310.019 s]
Raw data (loadavg): 1.02 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 30358 215 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134552513 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 305.75
Current children cumulated vsize (Kb) 15536

[startup+320.02 s]
Raw data (loadavg): 1.02 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 31347 220 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 315.69
Current children cumulated vsize (Kb) 15536

[startup+330.021 s]
Raw data (loadavg): 1.01 0.97 0.98 1/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1494 0 0 0 32335 224 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 325.61
Current children cumulated vsize (Kb) 15536

[startup+340.021 s]
Raw data (loadavg): 1.01 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 33323 230 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 335.55
Current children cumulated vsize (Kb) 15536

[startup+350.022 s]
Raw data (loadavg): 1.01 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 34302 237 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 345.41
Current children cumulated vsize (Kb) 15536

[startup+360.023 s]
Raw data (loadavg): 1.01 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 35291 241 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 355.34
Current children cumulated vsize (Kb) 15536

[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 36270 247 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134553367 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 365.19
Current children cumulated vsize (Kb) 15536

[startup+380.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1494 0 0 0 37264 249 0 0 25 0 1 0 19773785 13729792 1398 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1398 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 375.15
Current children cumulated vsize (Kb) 15536

[startup+390.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1504 0 0 0 38250 254 0 0 25 0 1 0 19773785 13729792 1408 4294967295 134512640 134702520 3221223952 3221223232 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1408 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 385.06
Current children cumulated vsize (Kb) 15536

[startup+400.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1512 0 0 0 39244 256 0 0 25 0 1 0 19773785 13729792 1416 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1416 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 395.02
Current children cumulated vsize (Kb) 15536

[startup+410.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1525 0 0 0 40227 262 0 0 25 0 1 0 19773785 13729792 1429 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1429 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 404.91
Current children cumulated vsize (Kb) 15536

[startup+420.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1545 0 0 0 41216 266 0 0 25 0 1 0 19773785 13729792 1449 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1449 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 414.84
Current children cumulated vsize (Kb) 15536

[startup+430.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1573 0 0 0 42206 269 0 0 25 0 1 0 19773785 13729792 1477 4294967295 134512640 134702520 3221223952 3221130748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1477 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 424.77
Current children cumulated vsize (Kb) 15536

[startup+440.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1573 0 0 0 43186 277 0 0 25 0 1 0 19773785 13729792 1477 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3352 1477 413 48 0 3304 0
[pid=6629] vsize: 13408
Current children cumulated CPU time (s) 434.65
Current children cumulated vsize (Kb) 15536

[startup+450.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1597 0 0 0 44176 280 0 0 25 0 1 0 19773785 14544896 1501 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3551 1501 413 48 0 3503 0
[pid=6629] vsize: 14204
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (Kb) 16332

[startup+460.029 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) T 6626 6626 4070 0 -1 0 1610 0 0 0 45121 298 0 0 17 0 1 0 19773785 14696448 1514 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3588 1514 413 48 0 3540 0
[pid=6629] vsize: 14352
Current children cumulated CPU time (s) 454.21
Current children cumulated vsize (Kb) 16480

[startup+470.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6629
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19773775 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 242 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6629/stat): 6629 (vallst) R 6626 6626 4070 0 -1 0 1611 0 0 0 46097 305 0 0 25 0 1 0 19773785 14696448 1515 4294967295 134512640 134702520 3221223952 3221222848 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6629/statm): 3588 1515 413 48 0 3540 0
[pid=6629] vsize: 14352
Current children cumulated CPU time (s) 464.04
Current children cumulated vsize (Kb) 16480
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=6629) exited with status: 2
New process pid=6630
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=6630) exited with status: 0
New process pid=6631
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+480.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1135 0 0 0 471 27 0 0 25 0 1 0 19821240 6676480 1105 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 1630 1105 413 48 0 1582 0
[pid=6631] vsize: 6520
Current children cumulated CPU time (s) 473.5
Current children cumulated vsize (Kb) 8648

[startup+490.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1140 0 0 0 1425 43 0 0 25 0 1 0 19821240 6676480 1110 4294967295 134512640 134702520 3221223712 3221222848 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 1630 1110 413 48 0 1582 0
[pid=6631] vsize: 6520
Current children cumulated CPU time (s) 483.2
Current children cumulated vsize (Kb) 8648

[startup+500.033 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1221 0 0 0 2404 51 0 0 25 0 1 0 19821240 11501568 1191 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1191 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 493.07
Current children cumulated vsize (Kb) 13360

[startup+510.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1227 0 0 0 3389 56 0 0 25 0 1 0 19821240 11501568 1197 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1197 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 502.97
Current children cumulated vsize (Kb) 13360

[startup+520.033 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1231 0 0 0 4357 66 0 0 25 0 1 0 19821240 11501568 1201 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1201 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 512.75
Current children cumulated vsize (Kb) 13360

[startup+530.034 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1234 0 0 0 5342 72 0 0 25 0 1 0 19821240 11501568 1204 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1204 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 522.66
Current children cumulated vsize (Kb) 13360

[startup+540.034 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1242 0 0 0 6333 75 0 0 25 0 1 0 19821240 11501568 1212 4294967295 134512640 134702520 3221223712 3221152288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1212 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 532.6
Current children cumulated vsize (Kb) 13360

[startup+550.035 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1247 0 0 0 7300 87 0 0 25 0 1 0 19821240 11501568 1217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1217 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 542.39
Current children cumulated vsize (Kb) 13360

[startup+560.036 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1256 0 0 0 8287 92 0 0 25 0 1 0 19821240 11501568 1226 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1226 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 552.31
Current children cumulated vsize (Kb) 13360

[startup+570.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1260 0 0 0 9254 104 0 0 25 0 1 0 19821240 11501568 1230 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6631/statm): 2808 1230 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 562.1
Current children cumulated vsize (Kb) 13360

[startup+580.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1262 0 0 0 10239 109 0 0 25 0 1 0 19821240 11501568 1232 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1232 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 572
Current children cumulated vsize (Kb) 13360

[startup+590.038 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1269 0 0 0 11206 119 0 0 25 0 1 0 19821240 11501568 1239 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1239 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 581.77
Current children cumulated vsize (Kb) 13360

[startup+600.039 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1274 0 0 0 12192 125 0 0 25 0 1 0 19821240 11501568 1244 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1244 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 591.69
Current children cumulated vsize (Kb) 13360

[startup+610.038 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1280 0 0 0 13179 129 0 0 25 0 1 0 19821240 11501568 1250 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2808 1250 413 48 0 2760 0
[pid=6631] vsize: 11232
Current children cumulated CPU time (s) 601.6
Current children cumulated vsize (Kb) 13360

[startup+620.039 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1282 0 0 0 14142 143 0 0 25 0 1 0 19821240 11587584 1252 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2829 1252 413 48 0 2781 0
[pid=6631] vsize: 11316
Current children cumulated CPU time (s) 611.37
Current children cumulated vsize (Kb) 13444

[startup+630.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1285 0 0 0 15130 147 0 0 25 0 1 0 19821240 11587584 1255 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2829 1255 413 48 0 2781 0
[pid=6631] vsize: 11316
Current children cumulated CPU time (s) 621.29
Current children cumulated vsize (Kb) 13444

[startup+640.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1296 0 0 0 16062 167 0 0 25 0 1 0 19821240 11722752 1266 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2862 1266 413 48 0 2814 0
[pid=6631] vsize: 11448
Current children cumulated CPU time (s) 630.81
Current children cumulated vsize (Kb) 13576

[startup+650.041 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1296 0 0 0 17009 185 0 0 25 0 1 0 19821240 11722752 1266 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2862 1266 413 48 0 2814 0
[pid=6631] vsize: 11448
Current children cumulated CPU time (s) 640.46
Current children cumulated vsize (Kb) 13576

[startup+660.041 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1296 0 0 0 17985 192 0 0 25 0 1 0 19821240 11603968 1266 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1266 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 650.29
Current children cumulated vsize (Kb) 13460

[startup+670.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1296 0 0 0 18966 200 0 0 25 0 1 0 19821240 11603968 1266 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1266 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 660.18
Current children cumulated vsize (Kb) 13460

[startup+680.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1298 0 0 0 19924 214 0 0 25 0 1 0 19821240 11603968 1268 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1268 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 669.9
Current children cumulated vsize (Kb) 13460

[startup+690.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1301 0 0 0 20911 217 0 0 25 0 1 0 19821240 11603968 1271 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1271 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 679.8
Current children cumulated vsize (Kb) 13460

[startup+700.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1302 0 0 0 21876 229 0 0 25 0 1 0 19821240 11603968 1272 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6631/statm): 2833 1272 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 689.57
Current children cumulated vsize (Kb) 13460

[startup+710.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1302 0 0 0 22864 232 0 0 25 0 1 0 19821240 11603968 1272 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1272 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 699.48
Current children cumulated vsize (Kb) 13460

[startup+720.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1302 0 0 0 23849 237 0 0 25 0 1 0 19821240 11603968 1272 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1272 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 709.38
Current children cumulated vsize (Kb) 13460

[startup+730.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1304 0 0 0 24809 249 0 0 25 0 1 0 19821240 11603968 1274 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1274 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 719.1
Current children cumulated vsize (Kb) 13460

[startup+740.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1319 0 0 0 25800 253 0 0 25 0 1 0 19821240 11603968 1289 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1289 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 729.05
Current children cumulated vsize (Kb) 13460

[startup+750.045 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1337 0 0 0 26783 259 0 0 23 0 1 0 19821240 11603968 1307 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6631/statm): 2833 1307 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 738.94
Current children cumulated vsize (Kb) 13460

[startup+760.045 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1344 0 0 0 27758 267 0 0 25 0 1 0 19821240 11603968 1314 4294967295 134512640 134702520 3221223712 3221222992 134554441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1314 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 748.77
Current children cumulated vsize (Kb) 13460

[startup+770.046 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1368 0 0 0 28746 271 0 0 25 0 1 0 19821240 11603968 1338 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2833 1338 413 48 0 2785 0
[pid=6631] vsize: 11332
Current children cumulated CPU time (s) 758.69
Current children cumulated vsize (Kb) 13460

[startup+780.045 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1386 0 0 0 29727 277 0 0 22 0 1 0 19821240 11751424 1356 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2869 1356 413 48 0 2821 0
[pid=6631] vsize: 11476
Current children cumulated CPU time (s) 768.56
Current children cumulated vsize (Kb) 13604

[startup+790.047 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1397 0 0 0 30708 283 0 0 25 0 1 0 19821240 11694080 1367 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 2855 1367 413 48 0 2807 0
[pid=6631] vsize: 11420
Current children cumulated CPU time (s) 778.43
Current children cumulated vsize (Kb) 13548

[startup+800.048 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1435 0 0 0 31696 287 0 0 25 0 1 0 19821240 12300288 1405 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3003 1405 413 48 0 2955 0
[pid=6631] vsize: 12012
Current children cumulated CPU time (s) 788.35
Current children cumulated vsize (Kb) 14140

[startup+810.047 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1447 0 0 0 32613 314 0 0 25 0 1 0 19821240 12455936 1417 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3041 1417 413 48 0 2993 0
[pid=6631] vsize: 12164
Current children cumulated CPU time (s) 797.79
Current children cumulated vsize (Kb) 14292

[startup+820.048 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1447 0 0 0 33563 331 0 0 25 0 1 0 19821240 12337152 1417 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1417 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 807.46
Current children cumulated vsize (Kb) 14176

[startup+830.049 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1447 0 0 0 34550 336 0 0 25 0 1 0 19821240 12337152 1417 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1417 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 817.38
Current children cumulated vsize (Kb) 14176

[startup+840.049 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1447 0 0 0 35538 340 0 0 25 0 1 0 19821240 12337152 1417 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1417 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 827.3
Current children cumulated vsize (Kb) 14176

[startup+850.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1450 0 0 0 36502 351 0 0 25 0 1 0 19821240 12337152 1420 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1420 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 837.05
Current children cumulated vsize (Kb) 14176

[startup+860.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1451 0 0 0 37489 355 0 0 25 0 1 0 19821240 12337152 1421 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1421 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 846.96
Current children cumulated vsize (Kb) 14176

[startup+870.051 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1452 0 0 0 38477 359 0 0 25 0 1 0 19821240 12337152 1422 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1422 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 856.88
Current children cumulated vsize (Kb) 14176

[startup+880.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1453 0 0 0 39447 369 0 0 25 0 1 0 19821240 12337152 1423 4294967295 134512640 134702520 3221223712 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1423 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 866.68
Current children cumulated vsize (Kb) 14176

[startup+890.051 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1454 0 0 0 40436 372 0 0 25 0 1 0 19821240 12337152 1424 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1424 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 876.6
Current children cumulated vsize (Kb) 14176

[startup+900.052 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1454 0 0 0 41425 377 0 0 25 0 1 0 19821240 12337152 1424 4294967295 134512640 134702520 3221223712 3221070508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1424 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 886.54
Current children cumulated vsize (Kb) 14176

[startup+910.052 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1458 0 0 0 42399 386 0 0 25 0 1 0 19821240 12337152 1428 4294967295 134512640 134702520 3221223712 3221222832 134579011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1428 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 896.37
Current children cumulated vsize (Kb) 14176

[startup+920.053 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1466 0 0 0 43387 390 0 0 25 0 1 0 19821240 12337152 1436 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3012 1436 413 48 0 2964 0
[pid=6631] vsize: 12048
Current children cumulated CPU time (s) 906.29
Current children cumulated vsize (Kb) 14176

[startup+930.054 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1489 0 0 0 44376 394 0 0 25 0 1 0 19821240 12480512 1459 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3047 1459 413 48 0 2999 0
[pid=6631] vsize: 12188
Current children cumulated CPU time (s) 916.22
Current children cumulated vsize (Kb) 14316

[startup+940.054 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1489 0 0 0 45340 404 0 0 25 0 1 0 19821240 12423168 1459 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1459 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 925.96
Current children cumulated vsize (Kb) 14260

[startup+950.055 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1490 0 0 0 46334 407 0 0 25 0 1 0 19821240 12423168 1460 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1460 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 935.93
Current children cumulated vsize (Kb) 14260

[startup+960.055 s]
Raw data (loadavg): 1.00 0.97 0.98 1/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1499 0 0 0 47321 411 0 0 25 0 1 0 19821240 12423168 1469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1469 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 945.84
Current children cumulated vsize (Kb) 14260

[startup+970.057 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1516 0 0 0 48285 423 0 0 25 0 1 0 19821240 12423168 1486 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1486 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 955.6
Current children cumulated vsize (Kb) 14260

[startup+980.057 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1517 0 0 0 49276 426 0 0 25 0 1 0 19821240 12423168 1487 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1487 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 965.54
Current children cumulated vsize (Kb) 14260

[startup+990.058 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1532 0 0 0 50263 430 0 0 25 0 1 0 19821240 12423168 1502 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1502 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 975.45
Current children cumulated vsize (Kb) 14260

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.97 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1551 0 0 0 51248 435 0 0 25 0 1 0 19821240 12423168 1521 4294967295 134512640 134702520 3221223712 3221155328 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3033 1521 413 48 0 2985 0
[pid=6631] vsize: 12132
Current children cumulated CPU time (s) 985.35
Current children cumulated vsize (Kb) 14260

[startup+1010.06 s]
Raw data (loadavg): 1.07 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1553 0 0 0 52153 466 0 0 25 0 1 0 19821240 12582912 1523 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3072 1523 413 48 0 3024 0
[pid=6631] vsize: 12288
Current children cumulated CPU time (s) 994.71
Current children cumulated vsize (Kb) 14416

[startup+1020.06 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1553 0 0 0 53115 478 0 0 25 0 1 0 19821240 12464128 1523 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1523 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1004.45
Current children cumulated vsize (Kb) 14300

[startup+1030.06 s]
Raw data (loadavg): 1.05 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1553 0 0 0 54105 481 0 0 25 0 1 0 19821240 12464128 1523 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1523 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1014.38
Current children cumulated vsize (Kb) 14300

[startup+1040.06 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1553 0 0 0 55093 486 0 0 25 0 1 0 19821240 12464128 1523 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1523 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1024.31
Current children cumulated vsize (Kb) 14300

[startup+1050.06 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1554 0 0 0 56054 499 0 0 25 0 1 0 19821240 12464128 1524 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1524 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1034.05
Current children cumulated vsize (Kb) 14300

[startup+1060.06 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1555 0 0 0 57042 503 0 0 25 0 1 0 19821240 12464128 1525 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1525 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1043.97
Current children cumulated vsize (Kb) 14300

[startup+1070.06 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1556 0 0 0 58033 507 0 0 25 0 1 0 19821240 12464128 1526 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1526 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1053.92
Current children cumulated vsize (Kb) 14300

[startup+1080.06 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1556 0 0 0 59029 508 0 0 25 0 1 0 19821240 12464128 1526 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1526 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1063.89
Current children cumulated vsize (Kb) 14300

[startup+1090.06 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) T 6626 6626 4070 0 -1 0 1556 0 0 0 60025 509 0 0 25 0 1 0 19821240 12464128 1526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1526 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1073.86
Current children cumulated vsize (Kb) 14300

[startup+1100.06 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1557 0 0 0 60989 521 0 0 21 0 1 0 19821240 12464128 1527 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6631/statm): 3043 1527 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1083.62
Current children cumulated vsize (Kb) 14300

[startup+1110.06 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1557 0 0 0 61977 524 0 0 25 0 1 0 19821240 12464128 1527 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1527 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1093.53
Current children cumulated vsize (Kb) 14300

[startup+1120.06 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1557 0 0 0 62969 526 0 0 25 0 1 0 19821240 12464128 1527 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1527 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1103.47
Current children cumulated vsize (Kb) 14300

[startup+1130.06 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1557 0 0 0 63959 529 0 0 25 0 1 0 19821240 12464128 1527 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1527 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1113.4
Current children cumulated vsize (Kb) 14300

[startup+1140.06 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1559 0 0 0 64929 540 0 0 25 0 1 0 19821240 12464128 1529 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1529 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1123.21
Current children cumulated vsize (Kb) 14300

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1568 0 0 0 65918 543 0 0 25 0 1 0 19821240 12464128 1538 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1538 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1133.13
Current children cumulated vsize (Kb) 14300

[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1568 0 0 0 66907 548 0 0 25 0 1 0 19821240 12464128 1538 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1538 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1143.07
Current children cumulated vsize (Kb) 14300

[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1569 0 0 0 67876 559 0 0 25 0 1 0 19821240 12464128 1539 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6631/statm): 3043 1539 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1152.87
Current children cumulated vsize (Kb) 14300

[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1569 0 0 0 68864 564 0 0 25 0 1 0 19821240 12464128 1539 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1539 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1162.8
Current children cumulated vsize (Kb) 14300

[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1569 0 0 0 69854 567 0 0 25 0 1 0 19821240 12464128 1539 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1539 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1172.73
Current children cumulated vsize (Kb) 14300

[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1569 0 0 0 70844 571 0 0 25 0 1 0 19821240 12464128 1539 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1539 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1182.67
Current children cumulated vsize (Kb) 14300

[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1570 0 0 0 71807 583 0 0 25 0 1 0 19821240 12464128 1540 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1540 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1192.42
Current children cumulated vsize (Kb) 14300

[startup+1220.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1570 0 0 0 72797 586 0 0 25 0 1 0 19821240 12464128 1540 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1540 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1202.35
Current children cumulated vsize (Kb) 14300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6631
Raw data (/proc/6626/stat): 6626 (vallstSAT2005PB) S 6625 6626 4070 0 -1 0 378 1986 0 0 1 1 46537 313 19 0 1 0 19773775 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6626/statm): 532 248 485 147 0 385 0
[pid=6626] vsize: 2128
Raw data (/proc/6631/stat): 6631 (vallst) R 6626 6626 4070 0 -1 0 1570 0 0 0 72797 586 0 0 25 0 1 0 19821240 12464128 1540 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6631/statm): 3043 1540 413 48 0 2995 0
[pid=6631] vsize: 12172
Current children cumulated CPU time (s) 1202.35
Current children cumulated vsize (Kb) 14300

Sending SIGTERM to -6626
Sleeping 2 seconds
New process pid=6633
New process pid=6634
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4052/stat
open syscall for file /proc/4052/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/4052/cmdline
open syscall for file /proc/4052/environ
open syscall for file /proc/4078/stat
open syscall for file /proc/4078/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/4078/cmdline
open syscall for file /proc/4078/environ
open syscall for file /proc/6587/stat
open syscall for file /proc/6587/status
open syscall for file /proc/6587/cmdline
open syscall for file /proc/6587/environ
open syscall for file /proc/6625/stat
open syscall for file /proc/6625/status
open syscall for file /proc/6625/cmdline
open syscall for file /proc/6625/environ
open syscall for file /proc/6626/stat
open syscall for file /proc/6626/status
open syscall for file /proc/6626/cmdline
open syscall for file /proc/6626/environ
open syscall for file /proc/6631/stat
open syscall for file /proc/6631/status
open syscall for file /proc/6631/cmdline
open syscall for file /proc/6631/environ
open syscall for file /proc/6633/stat
open syscall for file /proc/6633/status
open syscall for file /proc/6633/cmdline
open syscall for file /proc/6633/environ
open syscall for file /proc/6634/stat
open syscall for file /proc/6634/status
open syscall for file /proc/6634/cmdline
open syscall for file /proc/6634/environ
One traced child (pid=6633) exited with status: 0
One traced child (pid=6634) exited with status: 0
New process pid=6635
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=6635) exited with status: 0
New process pid=6636
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file .
open syscall for file .
One traced child (pid=6631) exited with status: 3
One traced child (pid=6636) exited with status: 0
One traced child (pid=6626) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1220.56
CPU time (s): 1202.93
CPU user time (s): 1193.8
CPU system time (s): 9.12861
CPU usage (%): 98.556
Max. virtual memory (cumulated for all children) (Kb): 16480

Verifier Data

ERROR: no interpretation found !