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-5-c.opb
MD5SUMb2d6fc6e4e4b51f8b59d0f4ed12a9f74
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 2678
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 2678
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2678
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2678
Total number of constraints6689
Number of constraints which are clauses6689
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 constraint2
Maximum length of a constraint3

Trace number 2139

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-18 17:40:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7229 boxname=wulflinc11 idbench=197 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc11/normalized-par32-5-c.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-par32-5-c.opb 0
IDLAUNCH: 7229
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        928108 kB
Buffers:         31160 kB
Cached:          48076 kB
SwapCached:        732 kB
Active:          40504 kB
Inactive:        41316 kB
HighTotal:      131008 kB
HighFree:        81088 kB
LowTotal:       903652 kB
LowFree:        847020 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19120 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 18:05:29 (client local time) WITH STATUS 0 IN 1202.28 SECONDS
stats: 7229 7 1202.28 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 2  (#equs: 1259)
#decisions: 250421;  #end-nodes: 168829;
#proof improvement attempts: 0;  #restarts: 864
Current batch, end-nodes: 0 / 321 (295)
#axs: 7958, #non-axs: 8113
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: 2  (#equs: 1268)
Time taken: 5 min, 10 sec

2:
seed: 0
Nr of vars set: 2  (#equs: 0)
Nr of vars set: 2  (#equs: 21)
#decisions: 473464;  #end-nodes: 352114;
#proof improvement attempts: 0;  #restarts: 1248
Current batch, end-nodes: 0 / 435 (431)
#axs: 5531, #non-axs: 14017
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 11;  meta: start: 25, end (keep): 41
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2  (#equs: 35)
Time taken: 9 min, 16 sec

3:
seed: 0
Nr of vars set: 2  (#equs: 0)
Nr of vars set: 2  (#equs: 0)
Interupt request received.
#decisions: 358895;  #end-nodes: 264288;
#proof improvement attempts: 0;  #restarts: 929
Current batch, end-nodes: 6 / 396 (392)
#axs: 5462, #non-axs: 10840
tight: meta-meta: start: 4, end: 5;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 7, end: 11;  meta: start: 25, end (keep): 41
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 171  (#equs: 1)
Time taken: 5 min, 34 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/16021/stat): 16021 (vallstSAT2005PB) R 16020 16021 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1784898415 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16021/statm): 174 3 169 147 0 27 0
[pid=16021] 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=16022
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=16022) exited with status: 0
New process pid=16023
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=16023) exited with status: 0
New process pid=16024
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/wulflinc11/normalized-par32-5-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 0.94 1.00 0.99 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 443 0 0 0 335 209 0 0 16 0 1 0 1784898421 3104768 413 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 758 413 413 48 0 710 0
[pid=16024] vsize: 3032
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (Kb) 5160

[startup+20.0051 s]
Raw data (loadavg): 0.94 1.00 0.99 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 509 0 0 0 985 327 0 0 16 0 1 0 1784898421 4714496 479 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1151 479 413 48 0 1103 0
[pid=16024] vsize: 4604
Current children cumulated CPU time (s) 13.14
Current children cumulated vsize (Kb) 6732

[startup+30.0058 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 553 0 0 0 1642 438 0 0 16 0 1 0 1784898421 4853760 523 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1185 523 413 48 0 1137 0
[pid=16024] vsize: 4740
Current children cumulated CPU time (s) 20.82
Current children cumulated vsize (Kb) 6868

[startup+40.0066 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 555 0 0 0 2071 628 0 0 16 0 1 0 1784898421 4853760 525 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1185 525 413 48 0 1137 0
[pid=16024] vsize: 4740
Current children cumulated CPU time (s) 27.01
Current children cumulated vsize (Kb) 6868

[startup+50.0084 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 564 0 0 0 2709 754 0 0 16 0 1 0 1784898421 4853760 534 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1185 534 413 48 0 1137 0
[pid=16024] vsize: 4740
Current children cumulated CPU time (s) 34.65
Current children cumulated vsize (Kb) 6868

[startup+60.0092 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 600 0 0 0 3446 841 0 0 16 0 1 0 1784898421 4960256 570 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1211 570 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 42.89
Current children cumulated vsize (Kb) 6972

[startup+70.011 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 601 0 0 0 3906 1025 0 0 15 0 1 0 1784898421 4960256 571 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1211 571 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 49.33
Current children cumulated vsize (Kb) 6972

[startup+80.0118 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 602 0 0 0 4512 1156 0 0 17 0 1 0 1784898421 4960256 572 4294967295 134512640 134702520 3221223968 3221223248 134554263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1211 572 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 56.7
Current children cumulated vsize (Kb) 6972

[startup+90.0116 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 621 0 0 0 5277 1238 0 0 15 0 1 0 1784898421 4960256 591 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1211 591 413 48 0 1163 0
[pid=16024] vsize: 4844
Current children cumulated CPU time (s) 65.17
Current children cumulated vsize (Kb) 6972

[startup+100.012 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 634 0 0 0 5876 1375 0 0 15 0 1 0 1784898421 5115904 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 604 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 72.53
Current children cumulated vsize (Kb) 7124

[startup+110.013 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 634 0 0 0 6388 1540 0 0 16 0 1 0 1784898421 5115904 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1249 604 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 79.3
Current children cumulated vsize (Kb) 7124

[startup+120.015 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 634 0 0 0 7156 1618 0 0 17 0 1 0 1784898421 5115904 604 4294967295 134512640 134702520 3221223968 3221223248 134557457 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 604 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 87.76
Current children cumulated vsize (Kb) 7124

[startup+130.016 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 659 0 0 0 7969 1682 0 0 18 0 1 0 1784898421 5115904 629 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 629 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 96.53
Current children cumulated vsize (Kb) 7124

[startup+140.017 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 662 0 0 0 8480 1838 0 0 15 0 1 0 1784898421 5115904 632 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1249 632 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 103.2
Current children cumulated vsize (Kb) 7124

[startup+150.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 662 0 0 0 9052 1980 0 0 16 0 1 0 1784898421 5115904 632 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1249 632 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 110.34
Current children cumulated vsize (Kb) 7124

[startup+160.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 663 0 0 0 9868 2042 0 0 17 0 1 0 1784898421 5115904 633 4294967295 134512640 134702520 3221223968 3221223248 134550688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1249 633 413 48 0 1201 0
[pid=16024] vsize: 4996
Current children cumulated CPU time (s) 119.12
Current children cumulated vsize (Kb) 7124

[startup+170.019 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 685 0 0 0 10688 2103 0 0 17 0 1 0 1784898421 5246976 655 4294967295 134512640 134702520 3221223968 3221223248 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1281 655 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 127.93
Current children cumulated vsize (Kb) 7252

[startup+180.021 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 693 0 0 0 11267 2247 0 0 16 0 1 0 1784898421 5246976 663 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1281 663 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 135.16
Current children cumulated vsize (Kb) 7252

[startup+190.021 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 693 0 0 0 11835 2388 0 0 17 0 1 0 1784898421 5246976 663 4294967295 134512640 134702520 3221223968 3221157804 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1281 663 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 142.25
Current children cumulated vsize (Kb) 7252

[startup+200.022 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 697 0 0 0 12643 2454 0 0 17 0 1 0 1784898421 5246976 667 4294967295 134512640 134702520 3221223968 3221223248 134557232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1281 667 413 48 0 1233 0
[pid=16024] vsize: 5124
Current children cumulated CPU time (s) 150.99
Current children cumulated vsize (Kb) 7252

[startup+210.023 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 702 0 0 0 13466 2511 0 0 17 0 1 0 1784898421 5386240 672 4294967295 134512640 134702520 3221223968 3221223088 134586040 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 672 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 159.79
Current children cumulated vsize (Kb) 7388

[startup+220.024 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 727 0 0 0 14218 2599 0 0 16 0 1 0 1784898421 5386240 697 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1315 697 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 168.19
Current children cumulated vsize (Kb) 7388

[startup+230.025 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 727 0 0 0 14656 2780 0 0 16 0 1 0 1784898421 5386240 697 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 697 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 174.38
Current children cumulated vsize (Kb) 7388

[startup+240.025 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 727 0 0 0 15440 2857 0 0 17 0 1 0 1784898421 5386240 697 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1315 697 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 182.99
Current children cumulated vsize (Kb) 7388

[startup+250.026 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 731 0 0 0 16255 2924 0 0 17 0 1 0 1784898421 5386240 701 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 701 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 191.81
Current children cumulated vsize (Kb) 7388

[startup+260.027 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 746 0 0 0 17109 2974 0 0 16 0 1 0 1784898421 5386240 716 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1315 716 413 48 0 1267 0
[pid=16024] vsize: 5260
Current children cumulated CPU time (s) 200.85
Current children cumulated vsize (Kb) 7388

[startup+270.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 762 0 0 0 17838 3065 0 0 16 0 1 0 1784898421 5431296 732 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 732 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 209.05
Current children cumulated vsize (Kb) 7432

[startup+280.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 762 0 0 0 18248 3258 0 0 16 0 1 0 1784898421 5431296 732 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 732 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 215.08
Current children cumulated vsize (Kb) 7432

[startup+290.03 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 762 0 0 0 19122 3302 0 0 18 0 1 0 1784898421 5431296 732 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 732 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 224.26
Current children cumulated vsize (Kb) 7432

[startup+300.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 763 0 0 0 19941 3365 0 0 17 0 1 0 1784898421 5431296 733 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1326 733 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 233.08
Current children cumulated vsize (Kb) 7432

[startup+310.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 765 0 0 0 20824 3404 0 0 19 0 1 0 1784898421 5431296 735 4294967295 134512640 134702520 3221223968 3221223248 134557466 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1326 735 413 48 0 1278 0
[pid=16024] vsize: 5304
Current children cumulated CPU time (s) 242.3
Current children cumulated vsize (Kb) 7432

[startup+320.034 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 796 0 0 0 21715 3440 0 0 20 0 1 0 1784898421 5586944 766 4294967295 134512640 134702520 3221223968 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 766 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 251.57
Current children cumulated vsize (Kb) 7584

[startup+330.034 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 796 0 0 0 22207 3614 0 0 16 0 1 0 1784898421 5586944 766 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1364 766 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 258.23
Current children cumulated vsize (Kb) 7584

[startup+340.034 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 796 0 0 0 22848 3729 0 0 16 0 1 0 1784898421 5586944 766 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1364 766 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 265.79
Current children cumulated vsize (Kb) 7584

[startup+350.035 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 797 0 0 0 23701 3775 0 0 18 0 1 0 1784898421 5586944 767 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 767 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 274.78
Current children cumulated vsize (Kb) 7584

[startup+360.036 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 798 0 0 0 24591 3812 0 0 19 0 1 0 1784898421 5586944 768 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 768 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 284.05
Current children cumulated vsize (Kb) 7584

[startup+370.037 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 804 0 0 0 25487 3848 0 0 20 0 1 0 1784898421 5586944 774 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1364 774 413 48 0 1316 0
[pid=16024] vsize: 5456
Current children cumulated CPU time (s) 293.37
Current children cumulated vsize (Kb) 7584

[startup+380.037 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) T 16021 16021 9854 0 -1 0 824 0 0 0 26333 3900 0 0 15 0 1 0 1784898421 5652480 794 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16024/statm): 1380 794 413 48 0 1332 0
[pid=16024] vsize: 5520
Current children cumulated CPU time (s) 302.35
Current children cumulated vsize (Kb) 7648

[startup+390.038 s]
Raw data (loadavg): 1.15 1.06 1.01 2/57 16024
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784898415 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 242 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16024/stat): 16024 (vallst) R 16021 16021 9854 0 -1 0 824 0 0 0 26827 4066 0 0 16 0 1 0 1784898421 5652480 794 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16024/statm): 1380 794 413 48 0 1332 0
[pid=16024] vsize: 5520
Current children cumulated CPU time (s) 308.95
Current children cumulated vsize (Kb) 7648
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=16024) exited with status: 2
New process pid=16025
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=16025) exited with status: 0
New process pid=16026
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+400.039 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 501 0 0 0 335 106 0 0 17 0 1 0 1784937765 3522560 472 4294967295 134512640 134702520 3221223712 3221222816 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 860 472 413 48 0 812 0
[pid=16026] vsize: 3440
Current children cumulated CPU time (s) 315.13
Current children cumulated vsize (Kb) 5568

[startup+410.04 s]
Raw data (loadavg): 1.19 1.07 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 570 0 0 0 789 284 0 0 16 0 1 0 1784937765 6262784 541 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1529 541 413 48 0 1481 0
[pid=16026] vsize: 6116
Current children cumulated CPU time (s) 321.45
Current children cumulated vsize (Kb) 8244

[startup+420.042 s]
Raw data (loadavg): 1.24 1.09 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 625 0 0 0 1517 377 0 0 16 0 1 0 1784937765 6377472 596 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1557 596 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 329.66
Current children cumulated vsize (Kb) 8356

[startup+430.042 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 660 0 0 0 2205 480 0 0 16 0 1 0 1784937765 6377472 631 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1557 631 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 337.57
Current children cumulated vsize (Kb) 8356

[startup+440.042 s]
Raw data (loadavg): 1.17 1.08 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 662 0 0 0 2603 681 0 0 17 0 1 0 1784937765 6377472 633 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1557 633 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 343.56
Current children cumulated vsize (Kb) 8356

[startup+450.043 s]
Raw data (loadavg): 1.14 1.08 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 668 0 0 0 3356 764 0 0 16 0 1 0 1784937765 6377472 639 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1557 639 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 351.92
Current children cumulated vsize (Kb) 8356

[startup+460.044 s]
Raw data (loadavg): 1.12 1.08 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 682 0 0 0 4178 823 0 0 18 0 1 0 1784937765 6377472 653 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1557 653 413 48 0 1509 0
[pid=16026] vsize: 6228
Current children cumulated CPU time (s) 360.73
Current children cumulated vsize (Kb) 8356

[startup+470.044 s]
Raw data (loadavg): 1.26 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 691 0 0 0 4600 1015 0 0 16 0 1 0 1784937765 6512640 662 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1590 662 413 48 0 1542 0
[pid=16026] vsize: 6360
Current children cumulated CPU time (s) 366.87
Current children cumulated vsize (Kb) 8488

[startup+480.045 s]
Raw data (loadavg): 1.22 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 692 0 0 0 5201 1145 0 0 16 0 1 0 1784937765 6479872 663 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 663 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 374.18
Current children cumulated vsize (Kb) 8456

[startup+490.046 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 696 0 0 0 5984 1220 0 0 16 0 1 0 1784937765 6479872 667 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 667 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 382.76
Current children cumulated vsize (Kb) 8456

[startup+500.047 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 698 0 0 0 6541 1365 0 0 16 0 1 0 1784937765 6479872 669 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 669 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 389.78
Current children cumulated vsize (Kb) 8456

[startup+510.048 s]
Raw data (loadavg): 1.13 1.09 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 701 0 0 0 7040 1533 0 0 17 0 1 0 1784937765 6479872 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 672 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 396.45
Current children cumulated vsize (Kb) 8456

[startup+520.048 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 707 0 0 0 7830 1605 0 0 16 0 1 0 1784937765 6479872 678 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 678 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 405.07
Current children cumulated vsize (Kb) 8456

[startup+530.049 s]
Raw data (loadavg): 1.15 1.10 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 709 0 0 0 8599 1687 0 0 16 0 1 0 1784937765 6479872 680 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 680 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 413.58
Current children cumulated vsize (Kb) 8456

[startup+540.05 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 709 0 0 0 8941 1897 0 0 16 0 1 0 1784937765 6479872 680 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 680 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 419.1
Current children cumulated vsize (Kb) 8456

[startup+550.051 s]
Raw data (loadavg): 1.18 1.11 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 712 0 0 0 9699 1978 0 0 17 0 1 0 1784937765 6479872 683 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 683 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 427.49
Current children cumulated vsize (Kb) 8456

[startup+560.052 s]
Raw data (loadavg): 1.23 1.12 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 714 0 0 0 10516 2041 0 0 18 0 1 0 1784937765 6479872 685 4294967295 134512640 134702520 3221223712 3221222992 134553116 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 685 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 436.29
Current children cumulated vsize (Kb) 8456

[startup+570.053 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 720 0 0 0 11237 2129 0 0 16 0 1 0 1784937765 6479872 691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 691 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (Kb) 8456

[startup+580.054 s]
Raw data (loadavg): 1.24 1.13 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 722 0 0 0 11623 2330 0 0 16 0 1 0 1784937765 6479872 693 4294967295 134512640 134702520 3221223712 3221222992 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 693 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 450.25
Current children cumulated vsize (Kb) 8456

[startup+590.055 s]
Raw data (loadavg): 1.29 1.14 1.04 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 724 0 0 0 12430 2394 0 0 17 0 1 0 1784937765 6479872 695 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1582 695 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 458.96
Current children cumulated vsize (Kb) 8456

[startup+600.057 s]
Raw data (loadavg): 1.32 1.15 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 725 0 0 0 13247 2459 0 0 18 0 1 0 1784937765 6479872 696 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1582 696 413 48 0 1534 0
[pid=16026] vsize: 6328
Current children cumulated CPU time (s) 467.78
Current children cumulated vsize (Kb) 8456

[startup+610.058 s]
Raw data (loadavg): 1.27 1.15 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 738 0 0 0 14046 2526 0 0 15 0 1 0 1784937765 6778880 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 709 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 476.44
Current children cumulated vsize (Kb) 8748

[startup+620.058 s]
Raw data (loadavg): 1.23 1.14 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 739 0 0 0 14383 2751 0 0 16 0 1 0 1784937765 6778880 710 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 710 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 482.06
Current children cumulated vsize (Kb) 8748

[startup+630.059 s]
Raw data (loadavg): 1.19 1.14 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 742 0 0 0 15158 2827 0 0 16 0 1 0 1784937765 6778880 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1655 713 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 490.57
Current children cumulated vsize (Kb) 8748

[startup+640.059 s]
Raw data (loadavg): 1.16 1.13 1.04 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 743 0 0 0 16033 2868 0 0 18 0 1 0 1784937765 6778880 714 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 714 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 499.73
Current children cumulated vsize (Kb) 8748

[startup+650.06 s]
Raw data (loadavg): 1.14 1.13 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 751 0 0 0 16855 2928 0 0 18 0 1 0 1784937765 6778880 722 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1655 722 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 508.55
Current children cumulated vsize (Kb) 8748

[startup+660.06 s]
Raw data (loadavg): 1.12 1.12 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 767 0 0 0 17463 3057 0 0 16 0 1 0 1784937765 6778880 738 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1655 738 413 48 0 1607 0
[pid=16026] vsize: 6620
Current children cumulated CPU time (s) 515.92
Current children cumulated vsize (Kb) 8748

[startup+670.062 s]
Raw data (loadavg): 1.10 1.12 1.04 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 769 0 0 0 18009 3210 0 0 16 0 1 0 1784937765 6881280 740 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 740 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 522.91
Current children cumulated vsize (Kb) 8848

[startup+680.063 s]
Raw data (loadavg): 1.08 1.11 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 769 0 0 0 18825 3270 0 0 18 0 1 0 1784937765 6881280 740 4294967295 134512640 134702520 3221223712 3221222832 134573892 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 740 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 531.67
Current children cumulated vsize (Kb) 8848

[startup+690.064 s]
Raw data (loadavg): 1.07 1.11 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 775 0 0 0 19640 3333 0 0 17 0 1 0 1784937765 6881280 746 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 746 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 540.45
Current children cumulated vsize (Kb) 8848

[startup+700.066 s]
Raw data (loadavg): 1.06 1.10 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 781 0 0 0 20528 3372 0 0 18 0 1 0 1784937765 6881280 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 752 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 549.72
Current children cumulated vsize (Kb) 8848

[startup+710.066 s]
Raw data (loadavg): 1.05 1.10 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 791 0 0 0 21039 3529 0 0 15 0 1 0 1784937765 6881280 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 762 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 556.4
Current children cumulated vsize (Kb) 8848

[startup+720.067 s]
Raw data (loadavg): 1.04 1.10 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 793 0 0 0 21629 3665 0 0 17 0 1 0 1784937765 6881280 764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 764 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 563.66
Current children cumulated vsize (Kb) 8848

[startup+730.069 s]
Raw data (loadavg): 1.03 1.09 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 794 0 0 0 22501 3709 0 0 18 0 1 0 1784937765 6881280 765 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 765 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 572.82
Current children cumulated vsize (Kb) 8848

[startup+740.07 s]
Raw data (loadavg): 1.03 1.09 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 797 0 0 0 23319 3770 0 0 17 0 1 0 1784937765 6881280 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 768 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 581.61
Current children cumulated vsize (Kb) 8848

[startup+750.071 s]
Raw data (loadavg): 1.02 1.09 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 806 0 0 0 24201 3812 0 0 18 0 1 0 1784937765 6881280 777 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 777 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 590.85
Current children cumulated vsize (Kb) 8848

[startup+760.071 s]
Raw data (loadavg): 1.02 1.08 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 820 0 0 0 24787 3945 0 0 16 0 1 0 1784937765 6881280 791 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 791 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 598.04
Current children cumulated vsize (Kb) 8848

[startup+770.073 s]
Raw data (loadavg): 1.02 1.08 1.03 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 822 0 0 0 25369 4079 0 0 18 0 1 0 1784937765 6881280 793 4294967295 134512640 134702520 3221223712 3221222992 134553895 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 793 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 605.2
Current children cumulated vsize (Kb) 8848

[startup+780.074 s]
Raw data (loadavg): 1.01 1.08 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 822 0 0 0 26180 4145 0 0 18 0 1 0 1784937765 6881280 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 793 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 613.97
Current children cumulated vsize (Kb) 8848

[startup+790.075 s]
Raw data (loadavg): 1.01 1.07 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 826 0 0 0 27062 4184 0 0 19 0 1 0 1784937765 6881280 797 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 797 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 623.18
Current children cumulated vsize (Kb) 8848

[startup+800.076 s]
Raw data (loadavg): 1.01 1.07 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 840 0 0 0 27901 4238 0 0 15 0 1 0 1784937765 6881280 811 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 811 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 632.11
Current children cumulated vsize (Kb) 8848

[startup+810.077 s]
Raw data (loadavg): 1.01 1.07 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 842 0 0 0 28729 4296 0 0 15 0 1 0 1784937765 6881280 813 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 813 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 640.97
Current children cumulated vsize (Kb) 8848

[startup+820.079 s]
Raw data (loadavg): 1.09 1.08 1.03 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 844 0 0 0 29066 4514 0 0 16 0 1 0 1784937765 6881280 815 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 815 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 646.52
Current children cumulated vsize (Kb) 8848

[startup+830.08 s]
Raw data (loadavg): 1.07 1.08 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 844 0 0 0 29932 4561 0 0 17 0 1 0 1784937765 6881280 815 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1680 815 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 655.65
Current children cumulated vsize (Kb) 8848

[startup+840.081 s]
Raw data (loadavg): 1.06 1.08 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 844 0 0 0 30811 4602 0 0 19 0 1 0 1784937765 6881280 815 4294967295 134512640 134702520 3221223712 3221222992 134552338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1680 815 413 48 0 1632 0
[pid=16026] vsize: 6720
Current children cumulated CPU time (s) 664.85
Current children cumulated vsize (Kb) 8848

[startup+850.082 s]
Raw data (loadavg): 1.05 1.07 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 847 0 0 0 31631 4661 0 0 16 0 1 0 1784937765 6983680 818 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1705 818 413 48 0 1657 0
[pid=16026] vsize: 6820
Current children cumulated CPU time (s) 673.64
Current children cumulated vsize (Kb) 8948

[startup+860.083 s]
Raw data (loadavg): 1.04 1.07 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 935 0 0 0 32517 4699 0 0 17 0 1 0 1784937765 7282688 906 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1778 906 413 48 0 1730 0
[pid=16026] vsize: 7112
Current children cumulated CPU time (s) 682.88
Current children cumulated vsize (Kb) 9240

[startup+870.085 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1051 0 0 0 33434 4727 0 0 15 0 1 0 1784937765 7725056 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1886 1019 413 48 0 1838 0
[pid=16026] vsize: 7544
Current children cumulated CPU time (s) 692.33
Current children cumulated vsize (Kb) 9672

[startup+880.086 s]
Raw data (loadavg): 1.03 1.06 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1052 0 0 0 33877 4913 0 0 15 0 1 0 1784937765 7725056 1020 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1886 1020 413 48 0 1838 0
[pid=16026] vsize: 7544
Current children cumulated CPU time (s) 698.62
Current children cumulated vsize (Kb) 9672

[startup+890.087 s]
Raw data (loadavg): 1.02 1.06 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1053 0 0 0 34636 4996 0 0 19 0 1 0 1784937765 7704576 1021 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1881 1021 413 48 0 1833 0
[pid=16026] vsize: 7524
Current children cumulated CPU time (s) 707.04
Current children cumulated vsize (Kb) 9652

[startup+900.087 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1054 0 0 0 35530 5031 0 0 25 0 1 0 1784937765 7704576 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1881 1022 413 48 0 1833 0
[pid=16026] vsize: 7524
Current children cumulated CPU time (s) 716.33
Current children cumulated vsize (Kb) 9652

[startup+910.088 s]
Raw data (loadavg): 1.02 1.06 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1070 0 0 0 36432 5064 0 0 25 0 1 0 1784937765 8003584 1038 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1954 1038 413 48 0 1906 0
[pid=16026] vsize: 7816
Current children cumulated CPU time (s) 725.68
Current children cumulated vsize (Kb) 9944

[startup+920.09 s]
Raw data (loadavg): 1.01 1.05 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1146 0 0 0 37330 5097 0 0 21 0 1 0 1784937765 8302592 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2027 1114 413 48 0 1979 0
[pid=16026] vsize: 8108
Current children cumulated CPU time (s) 734.99
Current children cumulated vsize (Kb) 10236

[startup+930.091 s]
Raw data (loadavg): 1.01 1.05 1.02 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1217 0 0 0 38233 5129 0 0 18 0 1 0 1784937765 8437760 1185 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2060 1185 413 48 0 2012 0
[pid=16026] vsize: 8240
Current children cumulated CPU time (s) 744.34
Current children cumulated vsize (Kb) 10368

[startup+940.091 s]
Raw data (loadavg): 1.01 1.05 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1300 0 0 0 39200 5140 0 0 25 0 1 0 1784937765 8736768 1268 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2133 1268 413 48 0 2085 0
[pid=16026] vsize: 8532
Current children cumulated CPU time (s) 754.12
Current children cumulated vsize (Kb) 10660

[startup+950.092 s]
Raw data (loadavg): 1.01 1.05 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1346 0 0 0 40098 5177 0 0 24 0 1 0 1784937765 8871936 1314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2166 1314 413 48 0 2118 0
[pid=16026] vsize: 8664
Current children cumulated CPU time (s) 763.47
Current children cumulated vsize (Kb) 10792

[startup+960.093 s]
Raw data (loadavg): 1.01 1.05 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1408 0 0 0 40937 5229 0 0 15 0 1 0 1784937765 7974912 1111 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1947 1111 413 48 0 1899 0
[pid=16026] vsize: 7788
Current children cumulated CPU time (s) 772.38
Current children cumulated vsize (Kb) 9916

[startup+970.095 s]
Raw data (loadavg): 1.00 1.04 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1409 0 0 0 41342 5428 0 0 16 0 1 0 1784937765 8114176 1112 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1981 1112 413 48 0 1933 0
[pid=16026] vsize: 7924
Current children cumulated CPU time (s) 778.42
Current children cumulated vsize (Kb) 10052

[startup+980.097 s]
Raw data (loadavg): 1.00 1.04 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1410 0 0 0 42218 5470 0 0 21 0 1 0 1784937765 8081408 1113 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1973 1113 413 48 0 1925 0
[pid=16026] vsize: 7892
Current children cumulated CPU time (s) 787.6
Current children cumulated vsize (Kb) 10020

[startup+990.096 s]
Raw data (loadavg): 1.00 1.04 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1411 0 0 0 43114 5506 0 0 25 0 1 0 1784937765 8081408 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16026/statm): 1973 1114 413 48 0 1925 0
[pid=16026] vsize: 7892
Current children cumulated CPU time (s) 796.92
Current children cumulated vsize (Kb) 10020

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.04 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1424 0 0 0 44008 5542 0 0 21 0 1 0 1784937765 8380416 1127 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2046 1127 413 48 0 1998 0
[pid=16026] vsize: 8184
Current children cumulated CPU time (s) 806.22
Current children cumulated vsize (Kb) 10312

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.04 1.01 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1470 0 0 0 44910 5574 0 0 19 0 1 0 1784937765 8380416 1173 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2046 1173 413 48 0 1998 0
[pid=16026] vsize: 8184
Current children cumulated CPU time (s) 815.56
Current children cumulated vsize (Kb) 10312

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1537 0 0 0 45875 5586 0 0 25 0 1 0 1784937765 8679424 1240 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2119 1240 413 48 0 2071 0
[pid=16026] vsize: 8476
Current children cumulated CPU time (s) 825.33
Current children cumulated vsize (Kb) 10604

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1565 0 0 0 46777 5618 0 0 25 0 1 0 1784937765 8679424 1268 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16026/statm): 2119 1268 413 48 0 2071 0
[pid=16026] vsize: 8476
Current children cumulated CPU time (s) 834.67
Current children cumulated vsize (Kb) 10604

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1613 0 0 0 47680 5651 0 0 18 0 1 0 1784937765 8978432 1316 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2192 1316 413 48 0 2144 0
[pid=16026] vsize: 8768
Current children cumulated CPU time (s) 844.03
Current children cumulated vsize (Kb) 10896

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) R 16021 16021 9854 0 -1 0 1641 0 0 0 48650 5661 0 0 25 0 1 0 1784937765 8978432 1344 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16026/statm): 2192 1344 413 48 0 2144 0
[pid=16026] vsize: 8768
Current children cumulated CPU time (s) 853.83
Current children cumulated vsize (Kb) 10896

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 16026
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 378 1199 0 0 1 1 26916 4154 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16026/stat): 16026 (vallst) T 16021 16021 9854 0 -1 0 1673 0 0 0 49400 5744 0 0 15 0 1 0 1784937765 8081408 1149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16026/statm): 1973 1149 413 48 0 1925 0
[pid=16026] vsize: 7892
Current children cumulated CPU time (s) 862.16
Current children cumulated vsize (Kb) 10020
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=16026) exited with status: 2
New process pid=16027
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=16027) exited with status: 0
New process pid=16028
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+1070.11 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 582 0 0 0 53 8 0 0 19 0 1 0 1785005365 4259840 554 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1040 554 413 48 0 992 0
[pid=16028] vsize: 4160
Current children cumulated CPU time (s) 868.22
Current children cumulated vsize (Kb) 6288

[startup+1080.11 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 585 0 0 0 552 171 0 0 16 0 1 0 1785005365 4259840 557 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1040 557 413 48 0 992 0
[pid=16028] vsize: 4160
Current children cumulated CPU time (s) 874.84
Current children cumulated vsize (Kb) 6288

[startup+1090.11 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 691 0 0 0 1163 298 0 0 17 0 1 0 1785005365 7196672 663 4294967295 134512640 134702520 3221223712 3221222992 134554409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1757 663 413 48 0 1709 0
[pid=16028] vsize: 7028
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (Kb) 9156

[startup+1100.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 736 0 0 0 1984 359 0 0 17 0 1 0 1785005365 7340032 708 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1792 708 413 48 0 1744 0
[pid=16028] vsize: 7168
Current children cumulated CPU time (s) 891.04
Current children cumulated vsize (Kb) 9296

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 773 0 0 0 2809 416 0 0 16 0 1 0 1785005365 7712768 745 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1883 745 413 48 0 1835 0
[pid=16028] vsize: 7532
Current children cumulated CPU time (s) 899.86
Current children cumulated vsize (Kb) 9660

[startup+1120.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 790 0 0 0 3464 535 0 0 16 0 1 0 1785005365 7712768 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1883 762 413 48 0 1835 0
[pid=16028] vsize: 7532
Current children cumulated CPU time (s) 907.6
Current children cumulated vsize (Kb) 9660

[startup+1130.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 792 0 0 0 3973 692 0 0 17 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222992 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 914.26
Current children cumulated vsize (Kb) 9756

[startup+1140.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 792 0 0 0 4743 768 0 0 16 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 922.72
Current children cumulated vsize (Kb) 9756

[startup+1150.12 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 792 0 0 0 5543 838 0 0 17 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 931.42
Current children cumulated vsize (Kb) 9756

[startup+1160.12 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 792 0 0 0 6095 984 0 0 16 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 938.4
Current children cumulated vsize (Kb) 9756

[startup+1170.12 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 792 0 0 0 6627 1139 0 0 17 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 945.27
Current children cumulated vsize (Kb) 9756

[startup+1180.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 792 0 0 0 7368 1230 0 0 15 0 1 0 1785005365 7811072 764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 764 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 953.59
Current children cumulated vsize (Kb) 9756

[startup+1190.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 795 0 0 0 8126 1311 0 0 15 0 1 0 1785005365 7811072 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 767 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 961.98
Current children cumulated vsize (Kb) 9756

[startup+1200.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 796 0 0 0 8462 1522 0 0 16 0 1 0 1785005365 7811072 768 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 768 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 967.45
Current children cumulated vsize (Kb) 9756

[startup+1210.12 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 797 0 0 0 9262 1587 0 0 17 0 1 0 1785005365 7811072 769 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 769 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 976.1
Current children cumulated vsize (Kb) 9756

[startup+1220.12 s]
Raw data (loadavg): 1.10 1.05 1.00 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 807 0 0 0 10068 1652 0 0 17 0 1 0 1785005365 7811072 779 4294967295 134512640 134702520 3221223712 3221222992 134557516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 779 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 984.81
Current children cumulated vsize (Kb) 9756

[startup+1230.12 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 807 0 0 0 10676 1778 0 0 16 0 1 0 1785005365 7811072 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 779 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 992.15
Current children cumulated vsize (Kb) 9756

[startup+1240.12 s]
Raw data (loadavg): 1.14 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 808 0 0 0 11162 1948 0 0 17 0 1 0 1785005365 7811072 780 4294967295 134512640 134702520 3221223712 3221149228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 780 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 998.71
Current children cumulated vsize (Kb) 9756

[startup+1250.13 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 810 0 0 0 11912 2032 0 0 16 0 1 0 1785005365 7811072 782 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 782 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1007.05
Current children cumulated vsize (Kb) 9756

[startup+1260.13 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 810 0 0 0 12752 2085 0 0 16 0 1 0 1785005365 7811072 782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 782 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1015.98
Current children cumulated vsize (Kb) 9756

[startup+1270.13 s]
Raw data (loadavg): 1.17 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 813 0 0 0 13385 2205 0 0 15 0 1 0 1785005365 7811072 785 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 785 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1023.51
Current children cumulated vsize (Kb) 9756

[startup+1280.13 s]
Raw data (loadavg): 1.22 1.08 1.02 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 815 0 0 0 13865 2377 0 0 17 0 1 0 1785005365 7811072 787 4294967295 134512640 134702520 3221223712 3221222992 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 787 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1030.03
Current children cumulated vsize (Kb) 9756

[startup+1290.13 s]
Raw data (loadavg): 1.19 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 815 0 0 0 14673 2441 0 0 18 0 1 0 1785005365 7811072 787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 787 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1038.75
Current children cumulated vsize (Kb) 9756

[startup+1300.13 s]
Raw data (loadavg): 1.16 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 816 0 0 0 15483 2505 0 0 17 0 1 0 1785005365 7811072 788 4294967295 134512640 134702520 3221223712 3221222992 134552444 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 788 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1047.49
Current children cumulated vsize (Kb) 9756

[startup+1310.13 s]
Raw data (loadavg): 1.21 1.09 1.02 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 817 0 0 0 16237 2591 0 0 16 0 1 0 1785005365 7811072 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 789 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1055.89
Current children cumulated vsize (Kb) 9756

[startup+1320.13 s]
Raw data (loadavg): 1.17 1.09 1.02 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 819 0 0 0 16593 2797 0 0 16 0 1 0 1785005365 7811072 791 4294967295 134512640 134702520 3221223712 3221222992 134553397 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 791 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1061.51
Current children cumulated vsize (Kb) 9756

[startup+1330.13 s]
Raw data (loadavg): 1.15 1.08 1.02 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 820 0 0 0 17382 2869 0 0 16 0 1 0 1785005365 7811072 792 4294967295 134512640 134702520 3221223712 3221222976 134553862 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 792 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1070.12
Current children cumulated vsize (Kb) 9756

[startup+1340.13 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 827 0 0 0 18213 2927 0 0 15 0 1 0 1785005365 7811072 799 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 799 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1079.01
Current children cumulated vsize (Kb) 9756

[startup+1350.14 s]
Raw data (loadavg): 1.10 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 830 0 0 0 19070 2976 0 0 18 0 1 0 1785005365 7811072 802 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 802 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1088.07
Current children cumulated vsize (Kb) 9756

[startup+1360.14 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 830 0 0 0 19599 3134 0 0 16 0 1 0 1785005365 7811072 802 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 802 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1094.94
Current children cumulated vsize (Kb) 9756

[startup+1370.14 s]
Raw data (loadavg): 1.07 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 832 0 0 0 20167 3277 0 0 16 0 1 0 1785005365 7811072 804 4294967295 134512640 134702520 3221223712 3221222972 134549068 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 804 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1102.05
Current children cumulated vsize (Kb) 9756

[startup+1380.14 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 832 0 0 0 21032 3326 0 0 17 0 1 0 1785005365 7811072 804 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 804 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1111.19
Current children cumulated vsize (Kb) 9756

[startup+1390.14 s]
Raw data (loadavg): 1.05 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 835 0 0 0 21854 3383 0 0 18 0 1 0 1785005365 7811072 807 4294967295 134512640 134702520 3221223712 3221222832 134578812 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 807 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 9756

[startup+1400.14 s]
Raw data (loadavg): 1.04 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 839 0 0 0 22740 3420 0 0 19 0 1 0 1785005365 7811072 811 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 811 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1129.21
Current children cumulated vsize (Kb) 9756

[startup+1410.14 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 840 0 0 0 23196 3601 0 0 16 0 1 0 1785005365 7811072 812 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 812 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1135.58
Current children cumulated vsize (Kb) 9756

[startup+1420.14 s]
Raw data (loadavg): 1.03 1.06 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 841 0 0 0 23828 3723 0 0 16 0 1 0 1785005365 7811072 813 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 813 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1143.12
Current children cumulated vsize (Kb) 9756

[startup+1430.15 s]
Raw data (loadavg): 1.02 1.06 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 843 0 0 0 24690 3768 0 0 16 0 1 0 1785005365 7811072 815 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 815 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1152.19
Current children cumulated vsize (Kb) 9756

[startup+1440.15 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 844 0 0 0 25518 3824 0 0 18 0 1 0 1785005365 7811072 816 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 816 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1161.03
Current children cumulated vsize (Kb) 9756

[startup+1450.15 s]
Raw data (loadavg): 1.08 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 846 0 0 0 26398 3867 0 0 18 0 1 0 1785005365 7811072 818 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 818 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1170.26
Current children cumulated vsize (Kb) 9756

[startup+1460.15 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 848 0 0 0 26876 4036 0 0 15 0 1 0 1785005365 7811072 820 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 820 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1176.73
Current children cumulated vsize (Kb) 9756

[startup+1470.15 s]
Raw data (loadavg): 1.13 1.08 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 849 0 0 0 27485 4162 0 0 16 0 1 0 1785005365 7811072 821 4294967295 134512640 134702520 3221223712 3221222992 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16028/statm): 1907 821 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1184.08
Current children cumulated vsize (Kb) 9756

[startup+1480.15 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) T 16021 16021 9854 0 -1 0 850 0 0 0 28350 4205 0 0 18 0 1 0 1785005365 7811072 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 822 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1193.16
Current children cumulated vsize (Kb) 9756

[startup+1490.15 s]
Raw data (loadavg): 1.10 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 851 0 0 0 29161 4271 0 0 16 0 1 0 1785005365 7811072 823 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 823 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1201.93
Current children cumulated vsize (Kb) 9756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1490.15 s]
Raw data (loadavg): 1.10 1.07 1.01 2/57 16028
Raw data (/proc/16021/stat): 16021 (vallstSAT2005PB) S 16020 16021 9854 0 -1 0 417 3018 0 0 1 1 76670 10089 17 0 1 0 1784898415 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16021/statm): 532 248 485 147 0 385 0
[pid=16021] vsize: 2128
Raw data (/proc/16028/stat): 16028 (vallst) R 16021 16021 9854 0 -1 0 851 0 0 0 29161 4271 0 0 16 0 1 0 1785005365 7811072 823 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16028/statm): 1907 823 413 48 0 1859 0
[pid=16028] vsize: 7628
Current children cumulated CPU time (s) 1201.93
Current children cumulated vsize (Kb) 9756

Sending SIGTERM to -16021
Sleeping 2 seconds
New process pid=16030
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=16031
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/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/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/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/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/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/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/15984/stat
open syscall for file /proc/15984/status
open syscall for file /proc/15984/cmdline
open syscall for file /proc/15984/environ
open syscall for file /proc/16020/stat
open syscall for file /proc/16020/status
open syscall for file /proc/16020/cmdline
open syscall for file /proc/16020/environ
open syscall for file /proc/16021/stat
open syscall for file /proc/16021/status
open syscall for file /proc/16021/cmdline
open syscall for file /proc/16021/environ
open syscall for file /proc/16028/stat
open syscall for file /proc/16028/status
open syscall for file /proc/16028/cmdline
open syscall for file /proc/16028/environ
open syscall for file /proc/16030/stat
open syscall for file /proc/16030/status
open syscall for file /proc/16030/cmdline
open syscall for file /proc/16030/environ
open syscall for file /proc/16031/stat
open syscall for file /proc/16031/status
open syscall for file /proc/16031/cmdline
open syscall for file /proc/16031/environ
One traced child (pid=16030) exited with status: 0
One traced child (pid=16031) exited with status: 0
New process pid=16032
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=16028) exited with status: 3
One traced child (pid=16032) exited with status: 0
New process pid=16033
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=16033) exited with status: 0
One traced child (pid=16021) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1490.66
CPU time (s): 1202.28
CPU user time (s): 1058.57
CPU system time (s): 143.708
CPU usage (%): 80.6541
Max. virtual memory (cumulated for all children) (Kb): 10896

Verifier Data

ERROR: no interpretation found !