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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
MD5SUM64e81a7b23abbb8a6da4e2377ea69dee
Bench Categoryoptimization, small integers (OPTSMALLINT)
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 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13453
Number of constraints which are clauses13453
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 1931

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-18 17:35:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7223 boxname=wulflinc7 idbench=191 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  64e81a7b23abbb8a6da4e2377ea69dee  /oldhome/oroussel/tmp/wulflinc7/normalized-par32-1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-par32-1.opb 0
IDLAUNCH: 7223
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        922308 kB
Buffers:         35180 kB
Cached:          52480 kB
SwapCached:        740 kB
Active:          67264 kB
Inactive:        23036 kB
HighTotal:      131008 kB
HighFree:        76356 kB
LowTotal:       903652 kB
LowFree:        845952 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            16360 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:58:09 (client local time) WITH STATUS 3 IN 891.226 SECONDS
stats: 7223 7 891.226 3

Solver Data

1:
seed: 0
Nr of vars set: 282  (#equs: 0)
Nr of vars set: 1520  (#equs: 3149)
#decisions: 143837;  #end-nodes: 91078;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 233 (223)
#axs: 16551, #non-axs: 7740
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1520  (#equs: 3511)
Time taken: 5 min, 10 sec

2:

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

seed: 0
Nr of vars set: 1520  (#equs: 0)
Nr of vars set: 1520  (#equs: 0)
Interupt request received.
#decisions: 624766;  #end-nodes: 468553;
#proof improvement attempts: 0;  #restarts: 1489
Current batch, end-nodes: 433 / 502 (492)
#axs: 5371, #non-axs: 21575
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 17
loose: meta-meta: start: 7, end: 11;  meta: start: 23, end (keep): 36
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1774  (#equs: 1)
Time taken: 14 min, 50 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/22027/stat): 22027 (vallstSAT2005PB) R 22026 22027 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784893878 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22027/statm): 174 3 169 147 0 27 0
[pid=22027] 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=22028
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=22028) exited with status: 0
New process pid=22029
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=22029) exited with status: 0
New process pid=22030
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/wulflinc7/normalized-par32-1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.88 0.88 0.93 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 802 0 0 0 618 123 0 0 17 0 1 0 1784893885 4726784 772 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1154 772 413 48 0 1106 0
[pid=22030] vsize: 4616
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (Kb) 6744

[startup+20.0048 s]
Raw data (loadavg): 0.97 0.90 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 802 0 0 0 1298 233 0 0 22 0 1 0 1784893885 4726784 772 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1154 772 413 48 0 1106 0
[pid=22030] vsize: 4616
Current children cumulated CPU time (s) 15.33
Current children cumulated vsize (Kb) 6744

[startup+30.0054 s]
Raw data (loadavg): 0.97 0.91 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 839 0 0 0 2150 285 0 0 22 0 1 0 1784893885 7430144 809 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1814 809 413 48 0 1766 0
[pid=22030] vsize: 7256
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (Kb) 9384

[startup+40.006 s]
Raw data (loadavg): 0.98 0.91 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 887 0 0 0 3031 325 0 0 25 0 1 0 1784893885 7569408 857 4294967295 134512640 134702520 3221223968 3221210304 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1848 857 413 48 0 1800 0
[pid=22030] vsize: 7392
Current children cumulated CPU time (s) 33.58
Current children cumulated vsize (Kb) 9520

[startup+50.0066 s]
Raw data (loadavg): 0.98 0.91 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 905 0 0 0 3792 404 0 0 18 0 1 0 1784893885 7569408 875 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1848 875 413 48 0 1800 0
[pid=22030] vsize: 7392
Current children cumulated CPU time (s) 41.98
Current children cumulated vsize (Kb) 9520

[startup+60.0073 s]
Raw data (loadavg): 0.98 0.91 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 906 0 0 0 4458 514 0 0 24 0 1 0 1784893885 7569408 876 4294967295 134512640 134702520 3221223968 3221222736 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1848 876 413 48 0 1800 0
[pid=22030] vsize: 7392
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (Kb) 9520

[startup+70.0089 s]
Raw data (loadavg): 0.98 0.92 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 907 0 0 0 5329 560 0 0 25 0 1 0 1784893885 7569408 877 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1848 877 413 48 0 1800 0
[pid=22030] vsize: 7392
Current children cumulated CPU time (s) 58.91
Current children cumulated vsize (Kb) 9520

[startup+80.0096 s]
Raw data (loadavg): 0.99 0.92 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 916 0 0 0 6194 604 0 0 25 0 1 0 1784893885 7569408 886 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1848 886 413 48 0 1800 0
[pid=22030] vsize: 7392
Current children cumulated CPU time (s) 68
Current children cumulated vsize (Kb) 9520

[startup+90.0102 s]
Raw data (loadavg): 0.99 0.92 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 946 0 0 0 7119 627 0 0 25 0 1 0 1784893885 7667712 916 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1872 916 413 48 0 1824 0
[pid=22030] vsize: 7488
Current children cumulated CPU time (s) 77.48
Current children cumulated vsize (Kb) 9616

[startup+100.011 s]
Raw data (loadavg): 1.06 0.94 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 951 0 0 0 7772 744 0 0 17 0 1 0 1784893885 7667712 921 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1872 921 413 48 0 1824 0
[pid=22030] vsize: 7488
Current children cumulated CPU time (s) 85.18
Current children cumulated vsize (Kb) 9616

[startup+110.011 s]
Raw data (loadavg): 1.05 0.94 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 952 0 0 0 8533 823 0 0 24 0 1 0 1784893885 7667712 922 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1872 922 413 48 0 1824 0
[pid=22030] vsize: 7488
Current children cumulated CPU time (s) 93.58
Current children cumulated vsize (Kb) 9616

[startup+120.012 s]
Raw data (loadavg): 1.04 0.94 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 952 0 0 0 9445 853 0 0 25 0 1 0 1784893885 7667712 922 4294967295 134512640 134702520 3221223968 3221026144 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1872 922 413 48 0 1824 0
[pid=22030] vsize: 7488
Current children cumulated CPU time (s) 103
Current children cumulated vsize (Kb) 9616

[startup+130.013 s]
Raw data (loadavg): 1.04 0.94 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 961 0 0 0 10338 890 0 0 25 0 1 0 1784893885 7667712 931 4294967295 134512640 134702520 3221223968 3221211744 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1872 931 413 48 0 1824 0
[pid=22030] vsize: 7488
Current children cumulated CPU time (s) 112.3
Current children cumulated vsize (Kb) 9616

[startup+140.014 s]
Raw data (loadavg): 1.03 0.94 0.94 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 975 0 0 0 11225 928 0 0 25 0 1 0 1784893885 7802880 945 4294967295 134512640 134702520 3221223968 3221223248 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1905 945 413 48 0 1857 0
[pid=22030] vsize: 7620
Current children cumulated CPU time (s) 121.55
Current children cumulated vsize (Kb) 9748

[startup+150.016 s]
Raw data (loadavg): 1.03 0.94 0.94 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 986 0 0 0 11909 1035 0 0 18 0 1 0 1784893885 7802880 956 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1905 956 413 48 0 1857 0
[pid=22030] vsize: 7620
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (Kb) 9748

[startup+160.017 s]
Raw data (loadavg): 1.10 0.96 0.95 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 987 0 0 0 12641 1124 0 0 21 0 1 0 1784893885 7802880 957 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1905 957 413 48 0 1857 0
[pid=22030] vsize: 7620
Current children cumulated CPU time (s) 137.67
Current children cumulated vsize (Kb) 9748

[startup+170.017 s]
Raw data (loadavg): 1.08 0.96 0.95 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 987 0 0 0 13548 1156 0 0 25 0 1 0 1784893885 7802880 957 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1905 957 413 48 0 1857 0
[pid=22030] vsize: 7620
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (Kb) 9748

[startup+180.018 s]
Raw data (loadavg): 1.07 0.96 0.95 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 995 0 0 0 14445 1190 0 0 25 0 1 0 1784893885 7802880 965 4294967295 134512640 134702520 3221223968 3221223248 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1905 965 413 48 0 1857 0
[pid=22030] vsize: 7620
Current children cumulated CPU time (s) 156.37
Current children cumulated vsize (Kb) 9748

[startup+190.02 s]
Raw data (loadavg): 1.06 0.97 0.95 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 999 0 0 0 15375 1212 0 0 25 0 1 0 1784893885 7802880 969 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1905 969 413 48 0 1857 0
[pid=22030] vsize: 7620
Current children cumulated CPU time (s) 165.89
Current children cumulated vsize (Kb) 9748

[startup+200.02 s]
Raw data (loadavg): 1.05 0.97 0.95 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1016 0 0 0 16260 1251 0 0 17 0 1 0 1784893885 7942144 986 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1939 986 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 175.13
Current children cumulated vsize (Kb) 9884

[startup+210.021 s]
Raw data (loadavg): 1.12 0.98 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1016 0 0 0 16845 1387 0 0 17 0 1 0 1784893885 7942144 986 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 986 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 182.34
Current children cumulated vsize (Kb) 9884

[startup+220.022 s]
Raw data (loadavg): 1.10 0.98 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 1017 0 0 0 17702 1435 0 0 25 0 1 0 1784893885 7942144 987 4294967295 134512640 134702520 3221223968 3221223248 134553080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 987 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 191.39
Current children cumulated vsize (Kb) 9884

[startup+230.023 s]
Raw data (loadavg): 1.09 0.98 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1021 0 0 0 18604 1467 0 0 17 0 1 0 1784893885 7942144 991 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 1939 991 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 200.73
Current children cumulated vsize (Kb) 9884

[startup+240.025 s]
Raw data (loadavg): 1.07 0.98 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1025 0 0 0 19522 1497 0 0 25 0 1 0 1784893885 7942144 995 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 995 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 210.21
Current children cumulated vsize (Kb) 9884

[startup+250.026 s]
Raw data (loadavg): 1.06 0.98 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1030 0 0 0 20452 1520 0 0 25 0 1 0 1784893885 7942144 1000 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 1000 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 219.74
Current children cumulated vsize (Kb) 9884

[startup+260.027 s]
Raw data (loadavg): 1.12 1.00 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 1048 0 0 0 21386 1541 0 0 25 0 1 0 1784893885 7942144 1018 4294967295 134512640 134702520 3221223968 3221204364 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 1018 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 229.29
Current children cumulated vsize (Kb) 9884

[startup+270.028 s]
Raw data (loadavg): 1.11 1.00 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1049 0 0 0 22008 1669 0 0 18 0 1 0 1784893885 7942144 1019 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 1019 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (Kb) 9884

[startup+280.028 s]
Raw data (loadavg): 1.09 1.00 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 1051 0 0 0 22770 1746 0 0 19 0 1 0 1784893885 7942144 1021 4294967295 134512640 134702520 3221223968 3221223248 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 1021 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 245.18
Current children cumulated vsize (Kb) 9884

[startup+290.03 s]
Raw data (loadavg): 1.07 1.00 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1051 0 0 0 23701 1770 0 0 25 0 1 0 1784893885 7942144 1021 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1939 1021 413 48 0 1891 0
[pid=22030] vsize: 7756
Current children cumulated CPU time (s) 254.73
Current children cumulated vsize (Kb) 9884

[startup+300.031 s]
Raw data (loadavg): 1.06 1.00 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1079 0 0 0 24641 1792 0 0 25 0 1 0 1784893885 8077312 1049 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 1972 1049 413 48 0 1924 0
[pid=22030] vsize: 7888
Current children cumulated CPU time (s) 264.35
Current children cumulated vsize (Kb) 10016

[startup+310.031 s]
Raw data (loadavg): 1.05 1.00 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1146 0 0 0 25574 1813 0 0 25 0 1 0 1784893885 8372224 1116 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 2044 1116 413 48 0 1996 0
[pid=22030] vsize: 8176
Current children cumulated CPU time (s) 273.89
Current children cumulated vsize (Kb) 10304

[startup+320.032 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1204 0 0 0 26513 1834 0 0 25 0 1 0 1784893885 8663040 1174 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 2115 1174 413 48 0 2067 0
[pid=22030] vsize: 8460
Current children cumulated CPU time (s) 283.49
Current children cumulated vsize (Kb) 10588

[startup+330.032 s]
Raw data (loadavg): 1.04 1.00 0.96 2/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) R 22027 22027 15400 0 -1 0 1266 0 0 0 27454 1856 0 0 25 0 1 0 1784893885 8798208 1236 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22030/statm): 2148 1236 413 48 0 2100 0
[pid=22030] vsize: 8592
Current children cumulated CPU time (s) 293.12
Current children cumulated vsize (Kb) 10720

[startup+340.034 s]
Raw data (loadavg): 1.03 1.00 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1277 0 0 0 28137 1961 0 0 17 0 1 0 1784893885 8798208 1247 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22030/statm): 2148 1247 413 48 0 2100 0
[pid=22030] vsize: 8592
Current children cumulated CPU time (s) 301
Current children cumulated vsize (Kb) 10720

[startup+350.035 s]
Raw data (loadavg): 1.03 1.00 0.96 1/57 22030
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1784893878 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 242 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22030/stat): 22030 (vallst) T 22027 22027 15400 0 -1 0 1278 0 0 0 28867 2054 0 0 18 0 1 0 1784893885 8798208 1248 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22030/statm): 2148 1248 413 48 0 2100 0
[pid=22030] vsize: 8592
Current children cumulated CPU time (s) 309.23
Current children cumulated vsize (Kb) 10720
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=22030) exited with status: 2
New process pid=22031
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=22031) exited with status: 0
New process pid=22032
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+360.035 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 704 0 0 0 462 122 0 0 17 0 1 0 1784929048 4902912 675 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 1197 675 413 48 0 1149 0
[pid=22032] vsize: 4788
Current children cumulated CPU time (s) 316.52
Current children cumulated vsize (Kb) 6916

[startup+370.037 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 785 0 0 0 999 272 0 0 17 0 1 0 1784929048 8368128 756 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2043 756 413 48 0 1995 0
[pid=22032] vsize: 8172
Current children cumulated CPU time (s) 323.39
Current children cumulated vsize (Kb) 10300

[startup+380.038 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 832 0 0 0 1863 317 0 0 17 0 1 0 1784929048 8941568 803 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2183 803 413 48 0 2135 0
[pid=22032] vsize: 8732
Current children cumulated CPU time (s) 332.48
Current children cumulated vsize (Kb) 10860

[startup+390.039 s]
Raw data (loadavg): 1.09 1.02 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 876 0 0 0 2727 363 0 0 17 0 1 0 1784929048 8941568 847 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2183 847 413 48 0 2135 0
[pid=22032] vsize: 8732
Current children cumulated CPU time (s) 341.58
Current children cumulated vsize (Kb) 10860

[startup+400.04 s]
Raw data (loadavg): 1.08 1.02 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 879 0 0 0 3254 520 0 0 16 0 1 0 1784929048 8941568 850 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2183 850 413 48 0 2135 0
[pid=22032] vsize: 8732
Current children cumulated CPU time (s) 348.42
Current children cumulated vsize (Kb) 10860

[startup+410.04 s]
Raw data (loadavg): 1.06 1.01 0.97 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 881 0 0 0 3866 646 0 0 17 0 1 0 1784929048 9007104 852 4294967295 134512640 134702520 3221223712 3221222992 134557712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 852 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 355.8
Current children cumulated vsize (Kb) 10924

[startup+420.042 s]
Raw data (loadavg): 1.05 1.01 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 885 0 0 0 4732 690 0 0 17 0 1 0 1784929048 9007104 856 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2199 856 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 364.9
Current children cumulated vsize (Kb) 10924

[startup+430.043 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 892 0 0 0 5597 736 0 0 18 0 1 0 1784929048 9007104 863 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 863 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 374.01
Current children cumulated vsize (Kb) 10924

[startup+440.044 s]
Raw data (loadavg): 1.04 1.01 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 895 0 0 0 6120 899 0 0 15 0 1 0 1784929048 9007104 866 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 866 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 380.87
Current children cumulated vsize (Kb) 10924

[startup+450.045 s]
Raw data (loadavg): 1.11 1.03 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 898 0 0 0 6731 1022 0 0 16 0 1 0 1784929048 9007104 869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2199 869 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 388.21
Current children cumulated vsize (Kb) 10924

[startup+460.046 s]
Raw data (loadavg): 1.09 1.03 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 902 0 0 0 7587 1069 0 0 17 0 1 0 1784929048 9007104 873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2199 873 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 397.24
Current children cumulated vsize (Kb) 10924

[startup+470.046 s]
Raw data (loadavg): 1.08 1.03 0.97 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 904 0 0 0 8454 1113 0 0 17 0 1 0 1784929048 9007104 875 4294967295 134512640 134702520 3221223712 3221222980 134557393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 875 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 406.35
Current children cumulated vsize (Kb) 10924

[startup+480.047 s]
Raw data (loadavg): 1.06 1.02 0.97 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 914 0 0 0 9125 1221 0 0 16 0 1 0 1784929048 9007104 885 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 885 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 414.14
Current children cumulated vsize (Kb) 10924

[startup+490.049 s]
Raw data (loadavg): 1.05 1.02 0.97 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 916 0 0 0 9650 1374 0 0 18 0 1 0 1784929048 9007104 887 4294967295 134512640 134702520 3221223712 3221222992 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 887 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 420.92
Current children cumulated vsize (Kb) 10924

[startup+500.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 919 0 0 0 10507 1423 0 0 17 0 1 0 1784929048 9007104 890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2199 890 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 10924

[startup+510.051 s]
Raw data (loadavg): 1.04 1.02 0.97 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 921 0 0 0 11371 1468 0 0 17 0 1 0 1784929048 9007104 892 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2199 892 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 439.07
Current children cumulated vsize (Kb) 10924

[startup+520.052 s]
Raw data (loadavg): 1.11 1.04 0.98 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 932 0 0 0 12280 1500 0 0 18 0 1 0 1784929048 9007104 903 4294967295 134512640 134702520 3221223712 3221101068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2199 903 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 448.48
Current children cumulated vsize (Kb) 10924

[startup+530.053 s]
Raw data (loadavg): 1.17 1.05 0.98 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 933 0 0 0 12809 1653 0 0 16 0 1 0 1784929048 9007104 904 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2199 904 413 48 0 2151 0
[pid=22032] vsize: 8796
Current children cumulated CPU time (s) 455.3
Current children cumulated vsize (Kb) 10924

[startup+540.055 s]
Raw data (loadavg): 1.14 1.05 0.98 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 935 0 0 0 13434 1772 0 0 17 0 1 0 1784929048 9097216 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2221 906 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 462.74
Current children cumulated vsize (Kb) 11012

[startup+550.056 s]
Raw data (loadavg): 1.12 1.05 0.98 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 939 0 0 0 14333 1806 0 0 18 0 1 0 1784929048 9097216 910 4294967295 134512640 134702520 3221223712 3221009728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 910 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 472.07
Current children cumulated vsize (Kb) 11012

[startup+560.057 s]
Raw data (loadavg): 1.10 1.05 0.98 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 940 0 0 0 15206 1849 0 0 17 0 1 0 1784929048 9097216 911 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 911 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 481.23
Current children cumulated vsize (Kb) 11012

[startup+570.059 s]
Raw data (loadavg): 1.08 1.04 0.98 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 965 0 0 0 16115 1880 0 0 19 0 1 0 1784929048 9097216 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 936 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 490.63
Current children cumulated vsize (Kb) 11012

[startup+580.059 s]
Raw data (loadavg): 1.07 1.04 0.98 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 969 0 0 0 16626 2043 0 0 16 0 1 0 1784929048 9097216 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2221 940 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 497.37
Current children cumulated vsize (Kb) 11012

[startup+590.061 s]
Raw data (loadavg): 1.13 1.06 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 971 0 0 0 17246 2167 0 0 17 0 1 0 1784929048 9097216 942 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 942 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 504.81
Current children cumulated vsize (Kb) 11012

[startup+600.062 s]
Raw data (loadavg): 1.11 1.05 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 972 0 0 0 18148 2202 0 0 19 0 1 0 1784929048 9097216 943 4294967295 134512640 134702520 3221223712 3221035808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 943 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 514.18
Current children cumulated vsize (Kb) 11012

[startup+610.062 s]
Raw data (loadavg): 1.09 1.05 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 985 0 0 0 19002 2253 0 0 17 0 1 0 1784929048 9097216 956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 956 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 523.23
Current children cumulated vsize (Kb) 11012

[startup+620.063 s]
Raw data (loadavg): 1.08 1.05 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 986 0 0 0 19911 2283 0 0 20 0 1 0 1784929048 9097216 957 4294967295 134512640 134702520 3221223712 3221131648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2221 957 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 532.62
Current children cumulated vsize (Kb) 11012

[startup+630.063 s]
Raw data (loadavg): 1.07 1.05 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 988 0 0 0 20328 2467 0 0 16 0 1 0 1784929048 9097216 959 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2221 959 413 48 0 2173 0
[pid=22032] vsize: 8884
Current children cumulated CPU time (s) 538.63
Current children cumulated vsize (Kb) 11012

[startup+640.065 s]
Raw data (loadavg): 1.14 1.06 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 989 0 0 0 21047 2562 0 0 17 0 1 0 1784929048 9154560 960 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2235 960 413 48 0 2187 0
[pid=22032] vsize: 8940
Current children cumulated CPU time (s) 546.77
Current children cumulated vsize (Kb) 11068

[startup+650.066 s]
Raw data (loadavg): 1.11 1.06 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1038 0 0 0 21955 2593 0 0 19 0 1 0 1784929048 9154560 1009 4294967295 134512640 134702520 3221223712 3221001388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2235 1009 413 48 0 2187 0
[pid=22032] vsize: 8940
Current children cumulated CPU time (s) 556.16
Current children cumulated vsize (Kb) 11068

[startup+660.066 s]
Raw data (loadavg): 1.10 1.06 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1104 0 0 0 22832 2636 0 0 17 0 1 0 1784929048 9601024 1075 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2344 1075 413 48 0 2296 0
[pid=22032] vsize: 9376
Current children cumulated CPU time (s) 565.36
Current children cumulated vsize (Kb) 11504

[startup+670.068 s]
Raw data (loadavg): 1.08 1.06 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1175 0 0 0 23745 2663 0 0 17 0 1 0 1784929048 10047488 1146 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2453 1146 413 48 0 2405 0
[pid=22032] vsize: 9812
Current children cumulated CPU time (s) 574.76
Current children cumulated vsize (Kb) 11940

[startup+680.069 s]
Raw data (loadavg): 1.07 1.05 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1245 0 0 0 24553 2728 0 0 16 0 1 0 1784929048 10182656 1216 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2486 1216 413 48 0 2438 0
[pid=22032] vsize: 9944
Current children cumulated CPU time (s) 583.49
Current children cumulated vsize (Kb) 12072

[startup+690.07 s]
Raw data (loadavg): 1.06 1.05 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1247 0 0 0 24935 2931 0 0 16 0 1 0 1784929048 10182656 1218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2486 1218 413 48 0 2438 0
[pid=22032] vsize: 9944
Current children cumulated CPU time (s) 589.34
Current children cumulated vsize (Kb) 12072

[startup+700.071 s]
Raw data (loadavg): 1.05 1.05 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1247 0 0 0 25844 2963 0 0 18 0 1 0 1784929048 10182656 1218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2486 1218 413 48 0 2438 0
[pid=22032] vsize: 9944
Current children cumulated CPU time (s) 598.75
Current children cumulated vsize (Kb) 12072

[startup+710.072 s]
Raw data (loadavg): 1.04 1.05 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1247 0 0 0 26757 2993 0 0 19 0 1 0 1784929048 10182656 1218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2486 1218 413 48 0 2438 0
[pid=22032] vsize: 9944
Current children cumulated CPU time (s) 608.18
Current children cumulated vsize (Kb) 12072

[startup+720.072 s]
Raw data (loadavg): 1.03 1.05 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1255 0 0 0 27681 3018 0 0 21 0 1 0 1784929048 10182656 1226 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2486 1226 413 48 0 2438 0
[pid=22032] vsize: 9944
Current children cumulated CPU time (s) 617.67
Current children cumulated vsize (Kb) 12072

[startup+730.073 s]
Raw data (loadavg): 1.03 1.04 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1280 0 0 0 28608 3045 0 0 21 0 1 0 1784929048 10182656 1251 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2486 1251 413 48 0 2438 0
[pid=22032] vsize: 9944
Current children cumulated CPU time (s) 627.21
Current children cumulated vsize (Kb) 12072

[startup+740.074 s]
Raw data (loadavg): 1.02 1.04 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1348 0 0 0 29538 3071 0 0 18 0 1 0 1784929048 10764288 1319 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2628 1319 413 48 0 2580 0
[pid=22032] vsize: 10512
Current children cumulated CPU time (s) 636.77
Current children cumulated vsize (Kb) 12640

[startup+750.075 s]
Raw data (loadavg): 1.02 1.04 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1398 0 0 0 30306 3149 0 0 16 0 1 0 1784929048 10461184 1324 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2554 1324 413 48 0 2506 0
[pid=22032] vsize: 10216
Current children cumulated CPU time (s) 645.23
Current children cumulated vsize (Kb) 12344

[startup+760.076 s]
Raw data (loadavg): 1.02 1.04 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1400 0 0 0 30739 3333 0 0 17 0 1 0 1784929048 10420224 1326 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3225643616 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2544 1326 413 48 0 2496 0
[pid=22032] vsize: 10176
Current children cumulated CPU time (s) 651.4
Current children cumulated vsize (Kb) 12304

[startup+770.076 s]
Raw data (loadavg): 1.01 1.04 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1400 0 0 0 31659 3361 0 0 17 0 1 0 1784929048 10420224 1326 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2544 1326 413 48 0 2496 0
[pid=22032] vsize: 10176
Current children cumulated CPU time (s) 660.88
Current children cumulated vsize (Kb) 12304

[startup+780.077 s]
Raw data (loadavg): 1.01 1.03 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1400 0 0 0 32581 3386 0 0 18 0 1 0 1784929048 10420224 1326 4294967295 134512640 134702520 3221223712 3221222992 134557229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2544 1326 413 48 0 2496 0
[pid=22032] vsize: 10176
Current children cumulated CPU time (s) 670.35
Current children cumulated vsize (Kb) 12304

[startup+790.079 s]
Raw data (loadavg): 1.01 1.03 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1405 0 0 0 33511 3411 0 0 18 0 1 0 1784929048 10420224 1331 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2544 1331 413 48 0 2496 0
[pid=22032] vsize: 10176
Current children cumulated CPU time (s) 679.9
Current children cumulated vsize (Kb) 12304

[startup+800.079 s]
Raw data (loadavg): 1.01 1.03 0.99 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1410 0 0 0 34444 3435 0 0 16 0 1 0 1784929048 10420224 1336 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2544 1336 413 48 0 2496 0
[pid=22032] vsize: 10176
Current children cumulated CPU time (s) 689.47
Current children cumulated vsize (Kb) 12304

[startup+810.08 s]
Raw data (loadavg): 1.00 1.03 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1449 0 0 0 35410 3446 0 0 25 0 1 0 1784929048 10866688 1375 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2653 1375 413 48 0 2605 0
[pid=22032] vsize: 10612
Current children cumulated CPU time (s) 699.24
Current children cumulated vsize (Kb) 12740

[startup+820.08 s]
Raw data (loadavg): 1.00 1.03 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1478 0 0 0 36348 3468 0 0 25 0 1 0 1784929048 10866688 1404 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2653 1404 413 48 0 2605 0
[pid=22032] vsize: 10612
Current children cumulated CPU time (s) 708.84
Current children cumulated vsize (Kb) 12740

[startup+830.081 s]
Raw data (loadavg): 1.00 1.03 0.99 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1508 0 0 0 37094 3556 0 0 16 0 1 0 1784929048 11010048 1434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2688 1434 413 48 0 2640 0
[pid=22032] vsize: 10752
Current children cumulated CPU time (s) 717.18
Current children cumulated vsize (Kb) 12880

[startup+840.083 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1510 0 0 0 37542 3738 0 0 16 0 1 0 1784929048 10989568 1436 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1436 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 723.48
Current children cumulated vsize (Kb) 12860

[startup+850.084 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1510 0 0 0 38458 3768 0 0 17 0 1 0 1784929048 10989568 1436 4294967295 134512640 134702520 3221223712 3221222980 134557393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1436 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 732.94
Current children cumulated vsize (Kb) 12860

[startup+860.085 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1515 0 0 0 39378 3795 0 0 17 0 1 0 1784929048 10989568 1441 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1441 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 742.41
Current children cumulated vsize (Kb) 12860

[startup+870.086 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1515 0 0 0 40348 3806 0 0 25 0 1 0 1784929048 10989568 1441 4294967295 134512640 134702520 3221223712 3221060608 134611872 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1441 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 752.22
Current children cumulated vsize (Kb) 12860

[startup+880.086 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1519 0 0 0 41275 3831 0 0 25 0 1 0 1784929048 10989568 1445 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2683 1445 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 761.74
Current children cumulated vsize (Kb) 12860

[startup+890.088 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1523 0 0 0 42206 3854 0 0 17 0 1 0 1784929048 10989568 1449 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1449 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 771.28
Current children cumulated vsize (Kb) 12860

[startup+900.089 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1530 0 0 0 43142 3874 0 0 19 0 1 0 1784929048 10989568 1456 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2683 1456 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 780.84
Current children cumulated vsize (Kb) 12860

[startup+910.089 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1542 0 0 0 44113 3883 0 0 25 0 1 0 1784929048 10989568 1468 4294967295 134512640 134702520 3221223712 3221146368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1468 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 790.64
Current children cumulated vsize (Kb) 12860

[startup+920.091 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1544 0 0 0 44644 4041 0 0 16 0 1 0 1784929048 10989568 1470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2683 1470 413 48 0 2635 0
[pid=22032] vsize: 10732
Current children cumulated CPU time (s) 797.53
Current children cumulated vsize (Kb) 12860

[startup+930.091 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1546 0 0 0 45310 4149 0 0 19 0 1 0 1784929048 11079680 1472 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1472 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 805.27
Current children cumulated vsize (Kb) 12948

[startup+940.092 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1546 0 0 0 46231 4176 0 0 20 0 1 0 1784929048 11079680 1472 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1472 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 814.75
Current children cumulated vsize (Kb) 12948

[startup+950.093 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1546 0 0 0 47153 4204 0 0 19 0 1 0 1784929048 11079680 1472 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1472 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 824.25
Current children cumulated vsize (Kb) 12948

[startup+960.093 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1546 0 0 0 48088 4226 0 0 18 0 1 0 1784929048 11079680 1472 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1472 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 833.82
Current children cumulated vsize (Kb) 12948

[startup+970.095 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1556 0 0 0 49053 4240 0 0 18 0 1 0 1784929048 11079680 1482 4294967295 134512640 134702520 3221223712 3221222992 134552810 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2705 1482 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 843.61
Current children cumulated vsize (Kb) 12948

[startup+980.096 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1560 0 0 0 49985 4263 0 0 25 0 1 0 1784929048 11079680 1486 4294967295 134512640 134702520 3221223712 3221222992 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1486 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 853.16
Current children cumulated vsize (Kb) 12948

[startup+990.097 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1564 0 0 0 50929 4283 0 0 19 0 1 0 1784929048 11079680 1490 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1490 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 862.8
Current children cumulated vsize (Kb) 12948

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1567 0 0 0 51894 4296 0 0 25 0 1 0 1784929048 11079680 1493 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1493 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 872.58
Current children cumulated vsize (Kb) 12948

[startup+1010.1 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1567 0 0 0 52475 4434 0 0 16 0 1 0 1784929048 11079680 1493 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1493 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 879.77
Current children cumulated vsize (Kb) 12948

[startup+1020.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1569 0 0 0 53084 4564 0 0 19 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (Kb) 12948

[startup+1030.1 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1569 0 0 0 54000 4594 0 0 19 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 896.62
Current children cumulated vsize (Kb) 12948

[startup+1040.1 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1569 0 0 0 54917 4624 0 0 19 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 906.09
Current children cumulated vsize (Kb) 12948

[startup+1050.1 s]
Raw data (loadavg): 1.12 1.04 1.01 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 55837 4649 0 0 17 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 915.54
Current children cumulated vsize (Kb) 12948

[startup+1060.1 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 56765 4675 0 0 16 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 925.08
Current children cumulated vsize (Kb) 12948

[startup+1070.11 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1569 0 0 0 57718 4692 0 0 20 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221167148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 934.78
Current children cumulated vsize (Kb) 12948

[startup+1080.11 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 58634 4718 0 0 25 0 1 0 1784929048 11079680 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2705 1495 413 48 0 2657 0
[pid=22032] vsize: 10820
Current children cumulated CPU time (s) 944.2
Current children cumulated vsize (Kb) 12948

[startup+1090.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 59302 4829 0 0 15 0 1 0 1784929048 10633216 1411 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1411 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 951.99
Current children cumulated vsize (Kb) 12512

[startup+1100.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1569 0 0 0 59825 4988 0 0 18 0 1 0 1784929048 10633216 1411 4294967295 134512640 134702520 3221223712 3221222992 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1411 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 958.81
Current children cumulated vsize (Kb) 12512

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 60723 5025 0 0 18 0 1 0 1784929048 10633216 1411 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1411 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 968.16
Current children cumulated vsize (Kb) 12512

[startup+1120.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 61628 5056 0 0 19 0 1 0 1784929048 10633216 1411 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1411 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 977.52
Current children cumulated vsize (Kb) 12512

[startup+1130.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1569 0 0 0 62535 5087 0 0 19 0 1 0 1784929048 10633216 1411 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1411 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 986.9
Current children cumulated vsize (Kb) 12512

[startup+1140.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1569 0 0 0 63453 5114 0 0 17 0 1 0 1784929048 10633216 1411 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1411 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 996.35
Current children cumulated vsize (Kb) 12512

[startup+1150.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1573 0 0 0 64367 5144 0 0 19 0 1 0 1784929048 10633216 1415 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1415 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1005.79
Current children cumulated vsize (Kb) 12512

[startup+1160.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1573 0 0 0 65106 5235 0 0 16 0 1 0 1784929048 10633216 1415 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1415 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1014.09
Current children cumulated vsize (Kb) 12512

[startup+1170.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1573 0 0 0 65555 5416 0 0 17 0 1 0 1784929048 10633216 1415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1415 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1020.39
Current children cumulated vsize (Kb) 12512

[startup+1180.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1573 0 0 0 66449 5449 0 0 18 0 1 0 1784929048 10633216 1415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1415 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1029.66
Current children cumulated vsize (Kb) 12512

[startup+1190.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1573 0 0 0 67350 5482 0 0 17 0 1 0 1784929048 10633216 1415 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1415 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1039
Current children cumulated vsize (Kb) 12512

[startup+1200.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1573 0 0 0 68258 5512 0 0 17 0 1 0 1784929048 10633216 1415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1415 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1048.38
Current children cumulated vsize (Kb) 12512

[startup+1210.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1574 0 0 0 69170 5542 0 0 17 0 1 0 1784929048 10633216 1416 4294967295 134512640 134702520 3221223712 3221222992 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1416 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1057.8
Current children cumulated vsize (Kb) 12512

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1574 0 0 0 70109 5565 0 0 16 0 1 0 1784929048 10633216 1416 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1416 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1067.42
Current children cumulated vsize (Kb) 12512

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1577 0 0 0 71040 5588 0 0 25 0 1 0 1784929048 10633216 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1419 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1076.96
Current children cumulated vsize (Kb) 12512

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1577 0 0 0 71590 5737 0 0 16 0 1 0 1784929048 10633216 1419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1419 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1083.95
Current children cumulated vsize (Kb) 12512

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1577 0 0 0 72224 5857 0 0 18 0 1 0 1784929048 10633216 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1419 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1091.49
Current children cumulated vsize (Kb) 12512

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1577 0 0 0 73125 5891 0 0 19 0 1 0 1784929048 10633216 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1419 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1100.84
Current children cumulated vsize (Kb) 12512

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1577 0 0 0 74031 5920 0 0 17 0 1 0 1784929048 10633216 1419 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1419 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1110.19
Current children cumulated vsize (Kb) 12512

[startup+1280.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1580 0 0 0 74988 5936 0 0 19 0 1 0 1784929048 10633216 1422 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1422 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1119.92
Current children cumulated vsize (Kb) 12512

[startup+1290.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1582 0 0 0 75902 5967 0 0 17 0 1 0 1784929048 10633216 1424 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1424 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1129.37
Current children cumulated vsize (Kb) 12512

[startup+1300.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1584 0 0 0 76853 5983 0 0 22 0 1 0 1784929048 10633216 1426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1426 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1139.04
Current children cumulated vsize (Kb) 12512

[startup+1310.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1584 0 0 0 77778 6011 0 0 19 0 1 0 1784929048 10633216 1426 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1426 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1148.57
Current children cumulated vsize (Kb) 12512

[startup+1320.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1588 0 0 0 78447 6123 0 0 16 0 1 0 1784929048 10633216 1430 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1430 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1156.38
Current children cumulated vsize (Kb) 12512

[startup+1330.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1590 0 0 0 78971 6275 0 0 17 0 1 0 1784929048 10633216 1432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1432 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1163.14
Current children cumulated vsize (Kb) 12512

[startup+1340.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1592 0 0 0 79886 6306 0 0 17 0 1 0 1784929048 10633216 1434 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1434 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1172.6
Current children cumulated vsize (Kb) 12512

[startup+1350.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1592 0 0 0 80846 6319 0 0 25 0 1 0 1784929048 10633216 1434 4294967295 134512640 134702520 3221223712 3221222992 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1434 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (Kb) 12512

[startup+1360.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) T 22027 22027 15400 0 -1 0 1592 0 0 0 81773 6343 0 0 21 0 1 0 1784929048 10633216 1434 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1434 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1191.84
Current children cumulated vsize (Kb) 12512

[startup+1370.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1593 0 0 0 82705 6368 0 0 18 0 1 0 1784929048 10633216 1435 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22032/statm): 2596 1435 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1201.41
Current children cumulated vsize (Kb) 12512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1370.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 22032
Raw data (/proc/22027/stat): 22027 (vallstSAT2005PB) S 22026 22027 15400 0 -1 0 378 1653 0 0 1 1 29002 2064 18 0 1 0 1784893878 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22027/statm): 532 248 485 147 0 385 0
[pid=22027] vsize: 2128
Raw data (/proc/22032/stat): 22032 (vallst) R 22027 22027 15400 0 -1 0 1593 0 0 0 82705 6368 0 0 18 0 1 0 1784929048 10633216 1435 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22032/statm): 2596 1435 413 48 0 2548 0
[pid=22032] vsize: 10384
Current children cumulated CPU time (s) 1201.41
Current children cumulated vsize (Kb) 12512

Sending SIGTERM to -22027
Sleeping 2 seconds
New process pid=22034
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=22035
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/21990/stat
open syscall for file /proc/21990/status
open syscall for file /proc/21990/cmdline
open syscall for file /proc/21990/environ
open syscall for file /proc/22026/stat
open syscall for file /proc/22026/status
open syscall for file /proc/22026/cmdline
open syscall for file /proc/22026/environ
open syscall for file /proc/22027/stat
open syscall for file /proc/22027/status
open syscall for file /proc/22027/cmdline
open syscall for file /proc/22027/environ
open syscall for file /proc/22032/stat
open syscall for file /proc/22032/status
open syscall for file /proc/22032/cmdline
open syscall for file /proc/22032/environ
open syscall for file /proc/22034/stat
open syscall for file /proc/22034/status
open syscall for file /proc/22034/cmdline
open syscall for file /proc/22034/environ
open syscall for file /proc/22035/stat
open syscall for file /proc/22035/status
open syscall for file /proc/22035/cmdline
open syscall for file /proc/22035/environ
One traced child (pid=22034) exited with status: 0
One traced child (pid=22035) exited with status: 0
New process pid=22036
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=22036) exited with status: 0
New process pid=22037
execve syscall for /bin/rm executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file .
open syscall for file .
One traced child (pid=22037) exited with status: 0
One traced child (pid=22027) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=22032) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1370.65
CPU time (s): 891.226
CPU user time (s): 827.485
CPU system time (s): 63.7413
CPU usage (%): 65.0223
Max. virtual memory (cumulated for all children) (Kb): 12948

Verifier Data

ERROR: no interpretation found !