Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM2d8f46b77d84c45a7178d4a463744176
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 7560
Biggest coefficient in the objective function 2097152
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 876993750
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 876993750
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables14760
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint252

Trace number 9307

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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:        940572 kB
Buffers:          9784 kB
Cached:          67192 kB
SwapCached:          0 kB
Active:          43836 kB
Inactive:        36048 kB
HighTotal:      131008 kB
HighFree:        59472 kB
LowTotal:       903652 kB
LowFree:        881100 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8628 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:39:48 (client local time) WITH STATUS 0 IN 1207.35 SECONDS
stats: 8021 7 1207.35 0

Solver Data

1:
seed: 0
Nr of vars set: 726  (#equs: 0)
Nr of vars set: 764  (#equs: 4)
#decisions: 628202;  #end-nodes: 513236;
#proof improvement attempts: 0;  #restarts: 1728
Current batch, end-nodes: 0 / 511 (511)
#axs: 1115, #non-axs: 472
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): 49
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: 787  (#equs: 4)
Time taken: 5 min, 0 sec

2:
seed: 0
Nr of vars set: 787  (#equs: 0)
Nr of vars set: 795  (#equs: 4)
#decisions: 1510419;  #end-nodes: 802213;
#proof improvement attempts: 0;  #restarts: 1920
Current batch, end-nodes: 0 / 691 (599)
#axs: 1116, #non-axs: 934
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 6, end: 8;  meta: start: 20, end (keep): 31
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 802  (#equs: 13)
Time taken: 12 min, 29 sec

3:
seed: 0
Nr of vars set: 802  (#equs: 0)
Nr of vars set: 802  (#equs: 6)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 802  (#equs: 8)
Time taken: 2 min, 36 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/5358/stat): 5358 (vallstSAT2005PB) R 5357 5358 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20047606 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5358/statm): 174 3 169 147 0 27 0
[pid=5358] 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=5359
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=5359) exited with status: 0
New process pid=5360
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=5360) exited with status: 0
New process pid=5361
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/wulflinc26/normalized-mps-v2-13-7-tr12-30.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 1.21 1.15 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1063 0 0 0 371 199 0 0 16 0 1 0 20047613 5545984 967 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 1354 967 413 48 0 1306 0
[pid=5361] vsize: 5416
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (Kb) 7544

[startup+20.005 s]
Raw data (loadavg): 1.18 1.15 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1096 0 0 0 707 420 0 0 16 0 1 0 20047613 8548352 965 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2087 965 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 11.29
Current children cumulated vsize (Kb) 10476

[startup+30.0056 s]
Raw data (loadavg): 1.15 1.14 1.07 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1098 0 0 0 1075 621 0 0 17 0 1 0 20047613 8548352 967 4294967295 134512640 134702520 3221223952 3221222848 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2087 967 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (Kb) 10476

[startup+40.0064 s]
Raw data (loadavg): 1.28 1.17 1.08 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1100 0 0 0 1361 854 0 0 16 0 1 0 20047613 8548352 968 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2087 968 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 22.17
Current children cumulated vsize (Kb) 10476

[startup+50.008 s]
Raw data (loadavg): 1.24 1.16 1.08 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1104 0 0 0 1783 1043 0 0 19 0 1 0 20047613 8548352 972 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2087 972 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 28.28
Current children cumulated vsize (Kb) 10476

[startup+60.0087 s]
Raw data (loadavg): 1.20 1.16 1.08 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1104 0 0 0 2068 1274 0 0 16 0 1 0 20047613 8548352 972 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2087 972 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 33.44
Current children cumulated vsize (Kb) 10476

[startup+70.0104 s]
Raw data (loadavg): 1.17 1.15 1.08 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1110 0 0 0 2426 1490 0 0 17 0 1 0 20047613 8548352 977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2087 977 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (Kb) 10476

[startup+80.0111 s]
Raw data (loadavg): 1.14 1.15 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1113 0 0 0 2799 1691 0 0 16 0 1 0 20047613 8548352 980 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2087 980 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 44.92
Current children cumulated vsize (Kb) 10476

[startup+90.0118 s]
Raw data (loadavg): 1.12 1.14 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1117 0 0 0 3089 1923 0 0 16 0 1 0 20047613 8716288 982 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2128 982 413 48 0 2080 0
[pid=5361] vsize: 8512
Current children cumulated CPU time (s) 50.14
Current children cumulated vsize (Kb) 10640

[startup+100.012 s]
Raw data (loadavg): 1.10 1.14 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1124 0 0 0 3534 2100 0 0 18 0 1 0 20047613 8548352 984 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2087 984 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 56.36
Current children cumulated vsize (Kb) 10476

[startup+110.013 s]
Raw data (loadavg): 1.09 1.13 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1125 0 0 0 3816 2329 0 0 16 0 1 0 20047613 8716288 985 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2128 985 413 48 0 2080 0
[pid=5361] vsize: 8512
Current children cumulated CPU time (s) 61.47
Current children cumulated vsize (Kb) 10640

[startup+120.014 s]
Raw data (loadavg): 1.07 1.13 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1132 0 0 0 4187 2534 0 0 17 0 1 0 20047613 8548352 987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2087 987 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 67.23
Current children cumulated vsize (Kb) 10476

[startup+130.015 s]
Raw data (loadavg): 1.06 1.12 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1136 0 0 0 4565 2730 0 0 16 0 1 0 20047613 8548352 989 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2087 989 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 72.97
Current children cumulated vsize (Kb) 10476

[startup+140.015 s]
Raw data (loadavg): 1.05 1.12 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1139 0 0 0 4869 2948 0 0 17 0 1 0 20047613 8548352 990 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2087 990 413 48 0 2039 0
[pid=5361] vsize: 8348
Current children cumulated CPU time (s) 78.19
Current children cumulated vsize (Kb) 10476

[startup+150.017 s]
Raw data (loadavg): 1.04 1.11 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1149 0 0 0 5301 3141 0 0 17 0 1 0 20047613 8560640 995 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2090 995 413 48 0 2042 0
[pid=5361] vsize: 8360
Current children cumulated CPU time (s) 84.44
Current children cumulated vsize (Kb) 10488

[startup+160.018 s]
Raw data (loadavg): 1.04 1.11 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1149 0 0 0 5612 3362 0 0 16 0 1 0 20047613 8560640 995 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2090 995 413 48 0 2042 0
[pid=5361] vsize: 8360
Current children cumulated CPU time (s) 89.76
Current children cumulated vsize (Kb) 10488

[startup+170.018 s]
Raw data (loadavg): 1.03 1.10 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1156 0 0 0 5996 3571 0 0 16 0 1 0 20047613 8577024 998 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2094 998 413 48 0 2046 0
[pid=5361] vsize: 8376
Current children cumulated CPU time (s) 95.69
Current children cumulated vsize (Kb) 10504

[startup+180.019 s]
Raw data (loadavg): 1.02 1.10 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1165 0 0 0 6394 3769 0 0 16 0 1 0 20047613 8585216 1004 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2096 1004 413 48 0 2048 0
[pid=5361] vsize: 8384
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (Kb) 10512

[startup+190.02 s]
Raw data (loadavg): 1.10 1.11 1.07 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1169 0 0 0 6672 4000 0 0 18 0 1 0 20047613 8589312 1006 4294967295 134512640 134702520 3221223952 3221219568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2097 1006 413 48 0 2049 0
[pid=5361] vsize: 8388
Current children cumulated CPU time (s) 106.74
Current children cumulated vsize (Kb) 10516

[startup+200.02 s]
Raw data (loadavg): 1.08 1.11 1.07 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1179 0 0 0 7124 4181 0 0 20 0 1 0 20047613 8597504 1012 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2099 1012 413 48 0 2051 0
[pid=5361] vsize: 8396
Current children cumulated CPU time (s) 113.07
Current children cumulated vsize (Kb) 10524

[startup+210.021 s]
Raw data (loadavg): 1.07 1.11 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1182 0 0 0 7442 4406 0 0 17 0 1 0 20047613 8601600 1014 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2100 1014 413 48 0 2052 0
[pid=5361] vsize: 8400
Current children cumulated CPU time (s) 118.5
Current children cumulated vsize (Kb) 10528

[startup+220.023 s]
Raw data (loadavg): 1.06 1.10 1.07 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1188 0 0 0 7785 4622 0 0 16 0 1 0 20047613 8609792 1017 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2102 1017 413 48 0 2054 0
[pid=5361] vsize: 8408
Current children cumulated CPU time (s) 124.09
Current children cumulated vsize (Kb) 10536

[startup+230.024 s]
Raw data (loadavg): 1.05 1.10 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1197 0 0 0 8255 4791 0 0 16 0 1 0 20047613 8622080 1022 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2105 1022 413 48 0 2057 0
[pid=5361] vsize: 8420
Current children cumulated CPU time (s) 130.48
Current children cumulated vsize (Kb) 10548

[startup+240.024 s]
Raw data (loadavg): 1.04 1.09 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1198 0 0 0 8527 5023 0 0 16 0 1 0 20047613 8794112 1023 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2147 1023 413 48 0 2099 0
[pid=5361] vsize: 8588
Current children cumulated CPU time (s) 135.52
Current children cumulated vsize (Kb) 10716

[startup+250.026 s]
Raw data (loadavg): 1.04 1.09 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1207 0 0 0 8939 5220 0 0 17 0 1 0 20047613 8642560 1027 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2110 1027 413 48 0 2062 0
[pid=5361] vsize: 8440
Current children cumulated CPU time (s) 141.61
Current children cumulated vsize (Kb) 10568

[startup+260.027 s]
Raw data (loadavg): 1.03 1.09 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1213 0 0 0 9345 5407 0 0 16 0 1 0 20047613 8650752 1031 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2112 1031 413 48 0 2064 0
[pid=5361] vsize: 8448
Current children cumulated CPU time (s) 147.54
Current children cumulated vsize (Kb) 10576

[startup+270.027 s]
Raw data (loadavg): 1.02 1.08 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1217 0 0 0 9647 5634 0 0 18 0 1 0 20047613 8654848 1033 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2113 1033 413 48 0 2065 0
[pid=5361] vsize: 8452
Current children cumulated CPU time (s) 152.83
Current children cumulated vsize (Kb) 10580

[startup+280.028 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1228 0 0 0 10102 5815 0 0 18 0 1 0 20047613 8667136 1040 4294967295 134512640 134702520 3221223952 3221179888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2116 1040 413 48 0 2068 0
[pid=5361] vsize: 8464
Current children cumulated CPU time (s) 159.19
Current children cumulated vsize (Kb) 10592

[startup+290.029 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1232 0 0 0 10444 6029 0 0 16 0 1 0 20047613 8671232 1043 4294967295 134512640 134702520 3221223952 3221222848 134550611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2117 1043 413 48 0 2069 0
[pid=5361] vsize: 8468
Current children cumulated CPU time (s) 164.75
Current children cumulated vsize (Kb) 10596

[startup+300.029 s]
Raw data (loadavg): 1.01 1.07 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1238 0 0 0 10789 6237 0 0 17 0 1 0 20047613 8679424 1046 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2119 1046 413 48 0 2071 0
[pid=5361] vsize: 8476
Current children cumulated CPU time (s) 170.28
Current children cumulated vsize (Kb) 10604

[startup+310.03 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1251 0 0 0 11251 6414 0 0 18 0 1 0 20047613 8699904 1055 4294967295 134512640 134702520 3221223952 3221147888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2124 1055 413 48 0 2076 0
[pid=5361] vsize: 8496
Current children cumulated CPU time (s) 176.67
Current children cumulated vsize (Kb) 10624

[startup+320.032 s]
Raw data (loadavg): 1.01 1.07 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1253 0 0 0 11539 6654 0 0 16 0 1 0 20047613 8876032 1057 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2167 1057 413 48 0 2119 0
[pid=5361] vsize: 8668
Current children cumulated CPU time (s) 181.95
Current children cumulated vsize (Kb) 10796

[startup+330.033 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1261 0 0 0 11942 6852 0 0 17 0 1 0 20047613 8720384 1061 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2129 1061 413 48 0 2081 0
[pid=5361] vsize: 8516
Current children cumulated CPU time (s) 187.96
Current children cumulated vsize (Kb) 10644

[startup+340.033 s]
Raw data (loadavg): 1.01 1.06 1.05 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1269 0 0 0 12374 7034 0 0 16 0 1 0 20047613 8740864 1066 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2134 1066 413 48 0 2086 0
[pid=5361] vsize: 8536
Current children cumulated CPU time (s) 194.1
Current children cumulated vsize (Kb) 10664

[startup+350.034 s]
Raw data (loadavg): 1.08 1.08 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1270 0 0 0 12653 7268 0 0 16 0 1 0 20047613 8916992 1067 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2177 1067 413 48 0 2129 0
[pid=5361] vsize: 8708
Current children cumulated CPU time (s) 199.23
Current children cumulated vsize (Kb) 10836

[startup+360.035 s]
Raw data (loadavg): 1.07 1.07 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1284 0 0 0 13112 7447 0 0 18 0 1 0 20047613 8769536 1076 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2141 1076 413 48 0 2093 0
[pid=5361] vsize: 8564
Current children cumulated CPU time (s) 205.61
Current children cumulated vsize (Kb) 10692

[startup+370.035 s]
Raw data (loadavg): 1.21 1.10 1.07 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1291 0 0 0 13536 7630 0 0 16 0 1 0 20047613 8777728 1081 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2143 1081 413 48 0 2095 0
[pid=5361] vsize: 8572
Current children cumulated CPU time (s) 211.68
Current children cumulated vsize (Kb) 10700

[startup+380.036 s]
Raw data (loadavg): 1.18 1.10 1.07 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1293 0 0 0 13835 7866 0 0 18 0 1 0 20047613 8781824 1081 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2144 1081 413 48 0 2096 0
[pid=5361] vsize: 8576
Current children cumulated CPU time (s) 217.03
Current children cumulated vsize (Kb) 10704

[startup+390.037 s]
Raw data (loadavg): 1.15 1.10 1.07 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1582 0 0 0 14373 8018 0 0 20 0 1 0 20047613 9953280 1367 4294967295 134512640 134702520 3221223952 3221200688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2430 1367 413 48 0 2382 0
[pid=5361] vsize: 9720
Current children cumulated CPU time (s) 223.93
Current children cumulated vsize (Kb) 11848

[startup+400.038 s]
Raw data (loadavg): 1.13 1.09 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1621 0 0 0 14818 8201 0 0 15 0 1 0 20047613 10129408 1404 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2473 1404 413 48 0 2425 0
[pid=5361] vsize: 9892
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (Kb) 12020

[startup+410.038 s]
Raw data (loadavg): 1.11 1.09 1.06 2/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) R 5358 5358 4005 0 -1 0 1623 0 0 0 15106 8432 0 0 16 0 1 0 20047613 10014720 1404 4294967295 134512640 134702520 3221223952 3221171088 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2445 1404 413 48 0 2397 0
[pid=5361] vsize: 9780
Current children cumulated CPU time (s) 235.4
Current children cumulated vsize (Kb) 11908

[startup+420.039 s]
Raw data (loadavg): 1.09 1.08 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1694 0 0 0 15663 8583 0 0 16 0 1 0 20047613 10276864 1474 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2509 1474 413 48 0 2461 0
[pid=5361] vsize: 10036
Current children cumulated CPU time (s) 242.48
Current children cumulated vsize (Kb) 12164

[startup+430.041 s]
Raw data (loadavg): 1.08 1.08 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1736 0 0 0 16201 8730 0 0 16 0 1 0 20047613 10137600 1492 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2475 1492 413 48 0 2427 0
[pid=5361] vsize: 9900
Current children cumulated CPU time (s) 249.33
Current children cumulated vsize (Kb) 12028

[startup+440.041 s]
Raw data (loadavg): 1.06 1.08 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1737 0 0 0 16535 8943 0 0 15 0 1 0 20047613 10317824 1493 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2519 1493 413 48 0 2471 0
[pid=5361] vsize: 10076
Current children cumulated CPU time (s) 254.8
Current children cumulated vsize (Kb) 12204

[startup+450.042 s]
Raw data (loadavg): 1.05 1.08 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1744 0 0 0 17036 9107 0 0 15 0 1 0 20047613 10326016 1497 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2521 1497 413 48 0 2473 0
[pid=5361] vsize: 10084
Current children cumulated CPU time (s) 261.45
Current children cumulated vsize (Kb) 12212

[startup+460.043 s]
Raw data (loadavg): 1.04 1.07 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1757 0 0 0 17570 9263 0 0 16 0 1 0 20047613 10346496 1507 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2526 1507 413 48 0 2478 0
[pid=5361] vsize: 10104
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (Kb) 12232

[startup+470.043 s]
Raw data (loadavg): 1.04 1.07 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1790 0 0 0 17964 9470 0 0 15 0 1 0 20047613 10178560 1509 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2485 1509 413 48 0 2437 0
[pid=5361] vsize: 9940
Current children cumulated CPU time (s) 274.36
Current children cumulated vsize (Kb) 12068

[startup+480.044 s]
Raw data (loadavg): 1.03 1.07 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1797 0 0 0 18391 9661 0 0 15 0 1 0 20047613 10362880 1514 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2530 1514 413 48 0 2482 0
[pid=5361] vsize: 10120
Current children cumulated CPU time (s) 280.54
Current children cumulated vsize (Kb) 12248

[startup+490.045 s]
Raw data (loadavg): 1.03 1.06 1.06 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1808 0 0 0 18941 9810 0 0 15 0 1 0 20047613 10223616 1522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5361/statm): 2496 1522 413 48 0 2448 0
[pid=5361] vsize: 9984
Current children cumulated CPU time (s) 287.53
Current children cumulated vsize (Kb) 12112

[startup+500.046 s]
Raw data (loadavg): 1.02 1.06 1.05 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1818 0 0 0 19419 9977 0 0 15 0 1 0 20047613 10244096 1530 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2501 1530 413 48 0 2453 0
[pid=5361] vsize: 10004
Current children cumulated CPU time (s) 293.98
Current children cumulated vsize (Kb) 12132

[startup+510.046 s]
Raw data (loadavg): 1.02 1.06 1.05 1/56 5361
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20047606 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 242 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5361/stat): 5361 (vallst) T 5358 5358 4005 0 -1 0 1819 0 0 0 19777 10190 0 0 15 0 1 0 20047613 10432512 1531 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5361/statm): 2547 1531 413 48 0 2499 0
[pid=5361] vsize: 10188
Current children cumulated CPU time (s) 299.69
Current children cumulated vsize (Kb) 12316
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=5361) exited with status: 2
New process pid=5362
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=5362) exited with status: 0
New process pid=5363
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+520.047 s]
Raw data (loadavg): 1.01 1.06 1.05 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 870 0 0 0 430 146 0 0 17 0 1 0 20098746 5279744 840 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 1289 840 413 48 0 1241 0
[pid=5363] vsize: 5156
Current children cumulated CPU time (s) 306.44
Current children cumulated vsize (Kb) 7284

[startup+530.048 s]
Raw data (loadavg): 1.01 1.05 1.05 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 872 0 0 0 962 305 0 0 18 0 1 0 20098746 5279744 842 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 1289 842 413 48 0 1241 0
[pid=5363] vsize: 5156
Current children cumulated CPU time (s) 313.35
Current children cumulated vsize (Kb) 7284

[startup+540.048 s]
Raw data (loadavg): 1.01 1.05 1.05 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 926 0 0 0 1541 449 0 0 17 0 1 0 20098746 8511488 896 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 896 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 320.58
Current children cumulated vsize (Kb) 10440

[startup+550.05 s]
Raw data (loadavg): 1.09 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 932 0 0 0 2061 606 0 0 17 0 1 0 20098746 8511488 902 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 902 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 327.35
Current children cumulated vsize (Kb) 10440

[startup+560.051 s]
Raw data (loadavg): 1.07 1.06 1.05 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 932 0 0 0 2528 777 0 0 17 0 1 0 20098746 8511488 902 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 902 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 333.73
Current children cumulated vsize (Kb) 10440

[startup+570.05 s]
Raw data (loadavg): 1.06 1.06 1.05 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 936 0 0 0 3136 911 0 0 18 0 1 0 20098746 8511488 905 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 905 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 341.15
Current children cumulated vsize (Kb) 10440

[startup+580.051 s]
Raw data (loadavg): 1.05 1.06 1.05 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 941 0 0 0 3649 1073 0 0 17 0 1 0 20098746 8511488 910 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 910 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 347.9
Current children cumulated vsize (Kb) 10440

[startup+590.052 s]
Raw data (loadavg): 1.12 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 945 0 0 0 4144 1243 0 0 17 0 1 0 20098746 8511488 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 914 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 354.55
Current children cumulated vsize (Kb) 10440

[startup+600.053 s]
Raw data (loadavg): 1.10 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 945 0 0 0 4668 1401 0 0 18 0 1 0 20098746 8511488 914 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 914 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 361.37
Current children cumulated vsize (Kb) 10440

[startup+610.053 s]
Raw data (loadavg): 1.17 1.08 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 950 0 0 0 5250 1539 0 0 17 0 1 0 20098746 8511488 918 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 918 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 368.57
Current children cumulated vsize (Kb) 10440

[startup+620.053 s]
Raw data (loadavg): 1.22 1.10 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 956 0 0 0 5806 1683 0 0 18 0 1 0 20098746 8511488 924 4294967295 134512640 134702520 3221223712 3221219328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 924 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 375.57
Current children cumulated vsize (Kb) 10440

[startup+630.054 s]
Raw data (loadavg): 1.19 1.09 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 956 0 0 0 6277 1849 0 0 17 0 1 0 20098746 8511488 924 4294967295 134512640 134702520 3221223712 3221222608 134550734 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 924 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 381.94
Current children cumulated vsize (Kb) 10440

[startup+640.054 s]
Raw data (loadavg): 1.16 1.09 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 957 0 0 0 6833 1992 0 0 18 0 1 0 20098746 8679424 925 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2119 925 413 48 0 2071 0
[pid=5363] vsize: 8476
Current children cumulated CPU time (s) 388.93
Current children cumulated vsize (Kb) 10604

[startup+650.055 s]
Raw data (loadavg): 1.13 1.09 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 966 0 0 0 7393 2136 0 0 18 0 1 0 20098746 8679424 930 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2119 930 413 48 0 2071 0
[pid=5363] vsize: 8476
Current children cumulated CPU time (s) 395.97
Current children cumulated vsize (Kb) 10604

[startup+660.056 s]
Raw data (loadavg): 1.11 1.08 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 972 0 0 0 7918 2289 0 0 17 0 1 0 20098746 8511488 933 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 933 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 402.75
Current children cumulated vsize (Kb) 10440

[startup+670.056 s]
Raw data (loadavg): 1.17 1.10 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 972 0 0 0 8392 2465 0 0 17 0 1 0 20098746 8511488 933 4294967295 134512640 134702520 3221223712 3221222608 134552385 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 933 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 409.25
Current children cumulated vsize (Kb) 10440

[startup+680.057 s]
Raw data (loadavg): 1.15 1.09 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 978 0 0 0 8984 2599 0 0 17 0 1 0 20098746 8511488 937 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 937 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 416.51
Current children cumulated vsize (Kb) 10440

[startup+690.058 s]
Raw data (loadavg): 1.12 1.09 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 989 0 0 0 9537 2741 0 0 18 0 1 0 20098746 8511488 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2078 944 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 423.46
Current children cumulated vsize (Kb) 10440

[startup+700.059 s]
Raw data (loadavg): 1.10 1.09 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 992 0 0 0 10049 2898 0 0 17 0 1 0 20098746 8511488 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2078 946 413 48 0 2030 0
[pid=5363] vsize: 8312
Current children cumulated CPU time (s) 430.15
Current children cumulated vsize (Kb) 10440

[startup+710.06 s]
Raw data (loadavg): 1.16 1.10 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 993 0 0 0 10565 3058 0 0 17 0 1 0 20098746 8679424 947 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2119 947 413 48 0 2071 0
[pid=5363] vsize: 8476
Current children cumulated CPU time (s) 436.91
Current children cumulated vsize (Kb) 10604

[startup+720.06 s]
Raw data (loadavg): 1.29 1.13 1.08 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1002 0 0 0 11147 3198 0 0 17 0 1 0 20098746 8515584 953 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2079 953 413 48 0 2031 0
[pid=5363] vsize: 8316
Current children cumulated CPU time (s) 444.13
Current children cumulated vsize (Kb) 10444

[startup+730.062 s]
Raw data (loadavg): 1.24 1.12 1.08 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1014 0 0 0 11697 3346 0 0 17 0 1 0 20098746 8531968 962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2083 962 413 48 0 2035 0
[pid=5363] vsize: 8332
Current children cumulated CPU time (s) 451.11
Current children cumulated vsize (Kb) 10460

[startup+740.062 s]
Raw data (loadavg): 1.21 1.12 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1018 0 0 0 12197 3510 0 0 17 0 1 0 20098746 8531968 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2083 965 413 48 0 2035 0
[pid=5363] vsize: 8332
Current children cumulated CPU time (s) 457.75
Current children cumulated vsize (Kb) 10460

[startup+750.063 s]
Raw data (loadavg): 1.17 1.11 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1019 0 0 0 12750 3661 0 0 18 0 1 0 20098746 8704000 966 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2125 966 413 48 0 2077 0
[pid=5363] vsize: 8500
Current children cumulated CPU time (s) 464.79
Current children cumulated vsize (Kb) 10628

[startup+760.064 s]
Raw data (loadavg): 1.15 1.11 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 1029 0 0 0 13336 3800 0 0 18 0 1 0 20098746 8540160 972 4294967295 134512640 134702520 3221223712 3221193728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2085 972 413 48 0 2037 0
[pid=5363] vsize: 8340
Current children cumulated CPU time (s) 472.04
Current children cumulated vsize (Kb) 10468

[startup+770.063 s]
Raw data (loadavg): 1.12 1.11 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1044 0 0 0 13889 3945 0 0 17 0 1 0 20098746 8712192 986 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2127 986 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 479.02
Current children cumulated vsize (Kb) 10636

[startup+780.064 s]
Raw data (loadavg): 1.10 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1045 0 0 0 14359 4116 0 0 17 0 1 0 20098746 8712192 987 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2127 987 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 485.43
Current children cumulated vsize (Kb) 10636

[startup+790.065 s]
Raw data (loadavg): 1.17 1.12 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1045 0 0 0 14926 4259 0 0 18 0 1 0 20098746 8712192 987 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2127 987 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 492.53
Current children cumulated vsize (Kb) 10636

[startup+800.066 s]
Raw data (loadavg): 1.14 1.11 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 1057 0 0 0 15484 4404 0 0 17 0 1 0 20098746 8712192 999 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2127 999 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 499.56
Current children cumulated vsize (Kb) 10636

[startup+810.067 s]
Raw data (loadavg): 1.12 1.11 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1060 0 0 0 16034 4551 0 0 17 0 1 0 20098746 8712192 1002 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2127 1002 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 506.53
Current children cumulated vsize (Kb) 10636

[startup+820.067 s]
Raw data (loadavg): 1.10 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1060 0 0 0 16522 4717 0 0 17 0 1 0 20098746 8712192 1002 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2127 1002 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 513.07
Current children cumulated vsize (Kb) 10636

[startup+830.067 s]
Raw data (loadavg): 1.08 1.10 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 1060 0 0 0 17106 4854 0 0 19 0 1 0 20098746 8712192 1002 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2127 1002 413 48 0 2079 0
[pid=5363] vsize: 8508
Current children cumulated CPU time (s) 520.28
Current children cumulated vsize (Kb) 10636

[startup+840.068 s]
Raw data (loadavg): 1.07 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1191 0 0 0 17665 5004 0 0 15 0 1 0 20098746 9076736 1133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2216 1133 413 48 0 2168 0
[pid=5363] vsize: 8864
Current children cumulated CPU time (s) 527.37
Current children cumulated vsize (Kb) 10992

[startup+850.07 s]
Raw data (loadavg): 1.13 1.11 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1246 0 0 0 18223 5148 0 0 15 0 1 0 20098746 9441280 1188 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2305 1188 413 48 0 2257 0
[pid=5363] vsize: 9220
Current children cumulated CPU time (s) 534.39
Current children cumulated vsize (Kb) 11348

[startup+860.07 s]
Raw data (loadavg): 1.11 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1246 0 0 0 18708 5316 0 0 15 0 1 0 20098746 9441280 1188 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2305 1188 413 48 0 2257 0
[pid=5363] vsize: 9220
Current children cumulated CPU time (s) 540.92
Current children cumulated vsize (Kb) 11348

[startup+870.07 s]
Raw data (loadavg): 1.09 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1250 0 0 0 19307 5454 0 0 15 0 1 0 20098746 9441280 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2305 1190 413 48 0 2257 0
[pid=5363] vsize: 9220
Current children cumulated CPU time (s) 548.29
Current children cumulated vsize (Kb) 11348

[startup+880.071 s]
Raw data (loadavg): 1.08 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1279 0 0 0 19871 5596 0 0 15 0 1 0 20098746 9609216 1217 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2346 1217 413 48 0 2298 0
[pid=5363] vsize: 9384
Current children cumulated CPU time (s) 555.35
Current children cumulated vsize (Kb) 11512

[startup+890.072 s]
Raw data (loadavg): 1.07 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1290 0 0 0 20435 5744 0 0 15 0 1 0 20098746 9445376 1225 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2306 1225 413 48 0 2258 0
[pid=5363] vsize: 9224
Current children cumulated CPU time (s) 562.47
Current children cumulated vsize (Kb) 11352

[startup+900.072 s]
Raw data (loadavg): 1.06 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1290 0 0 0 20935 5915 0 0 16 0 1 0 20098746 9445376 1225 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2306 1225 413 48 0 2258 0
[pid=5363] vsize: 9224
Current children cumulated CPU time (s) 569.18
Current children cumulated vsize (Kb) 11352

[startup+910.073 s]
Raw data (loadavg): 1.05 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1292 0 0 0 21525 6051 0 0 15 0 1 0 20098746 9613312 1227 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2347 1227 413 48 0 2299 0
[pid=5363] vsize: 9388
Current children cumulated CPU time (s) 576.44
Current children cumulated vsize (Kb) 11516

[startup+920.073 s]
Raw data (loadavg): 1.04 1.08 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1333 0 0 0 22102 6188 0 0 15 0 1 0 20098746 9560064 1265 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2334 1265 413 48 0 2286 0
[pid=5363] vsize: 9336
Current children cumulated CPU time (s) 583.58
Current children cumulated vsize (Kb) 11464

[startup+930.073 s]
Raw data (loadavg): 1.11 1.10 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 1366 0 0 0 22697 6322 0 0 15 0 1 0 20098746 9924608 1298 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2423 1298 413 48 0 2375 0
[pid=5363] vsize: 9692
Current children cumulated CPU time (s) 590.87
Current children cumulated vsize (Kb) 11820

[startup+940.074 s]
Raw data (loadavg): 1.16 1.11 1.08 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1366 0 0 0 23202 6484 0 0 15 0 1 0 20098746 9924608 1298 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2423 1298 413 48 0 2375 0
[pid=5363] vsize: 9692
Current children cumulated CPU time (s) 597.54
Current children cumulated vsize (Kb) 11820

[startup+950.075 s]
Raw data (loadavg): 1.14 1.10 1.08 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1367 0 0 0 23774 6628 0 0 15 0 1 0 20098746 10092544 1299 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2464 1299 413 48 0 2416 0
[pid=5363] vsize: 9856
Current children cumulated CPU time (s) 604.7
Current children cumulated vsize (Kb) 11984

[startup+960.075 s]
Raw data (loadavg): 1.12 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1379 0 0 0 24371 6765 0 0 15 0 1 0 20098746 9924608 1307 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2423 1307 413 48 0 2375 0
[pid=5363] vsize: 9692
Current children cumulated CPU time (s) 612.04
Current children cumulated vsize (Kb) 11820

[startup+970.076 s]
Raw data (loadavg): 1.10 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1421 0 0 0 24947 6903 0 0 15 0 1 0 20098746 9940992 1346 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2427 1346 413 48 0 2379 0
[pid=5363] vsize: 9708
Current children cumulated CPU time (s) 619.18
Current children cumulated vsize (Kb) 11836

[startup+980.077 s]
Raw data (loadavg): 1.08 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1425 0 0 0 25467 7062 0 0 15 0 1 0 20098746 9940992 1350 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2427 1350 413 48 0 2379 0
[pid=5363] vsize: 9708
Current children cumulated CPU time (s) 625.97
Current children cumulated vsize (Kb) 11836

[startup+990.077 s]
Raw data (loadavg): 1.07 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1426 0 0 0 26021 7212 0 0 16 0 1 0 20098746 10113024 1351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2469 1351 413 48 0 2421 0
[pid=5363] vsize: 9876
Current children cumulated CPU time (s) 633.01
Current children cumulated vsize (Kb) 12004

[startup+1000.08 s]
Raw data (loadavg): 1.06 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1437 0 0 0 26614 7353 0 0 15 0 1 0 20098746 9949184 1359 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2429 1359 413 48 0 2381 0
[pid=5363] vsize: 9716
Current children cumulated CPU time (s) 640.35
Current children cumulated vsize (Kb) 11844

[startup+1010.08 s]
Raw data (loadavg): 1.05 1.08 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1456 0 0 0 27207 7488 0 0 16 0 1 0 20098746 9973760 1375 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2435 1375 413 48 0 2387 0
[pid=5363] vsize: 9740
Current children cumulated CPU time (s) 647.63
Current children cumulated vsize (Kb) 11868

[startup+1020.08 s]
Raw data (loadavg): 1.04 1.08 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1460 0 0 0 27732 7648 0 0 15 0 1 0 20098746 9994240 1378 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2440 1378 413 48 0 2392 0
[pid=5363] vsize: 9760
Current children cumulated CPU time (s) 654.48
Current children cumulated vsize (Kb) 11888

[startup+1030.08 s]
Raw data (loadavg): 1.03 1.08 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1461 0 0 0 28267 7806 0 0 15 0 1 0 20098746 10166272 1379 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2482 1379 413 48 0 2434 0
[pid=5363] vsize: 9928
Current children cumulated CPU time (s) 661.41
Current children cumulated vsize (Kb) 12056

[startup+1040.08 s]
Raw data (loadavg): 1.03 1.07 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1471 0 0 0 28883 7935 0 0 15 0 1 0 20098746 10014720 1386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2445 1386 413 48 0 2397 0
[pid=5363] vsize: 9780
Current children cumulated CPU time (s) 668.86
Current children cumulated vsize (Kb) 11908

[startup+1050.08 s]
Raw data (loadavg): 1.02 1.07 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 1491 0 0 0 29474 8072 0 0 16 0 1 0 20098746 10084352 1405 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2462 1405 413 48 0 2414 0
[pid=5363] vsize: 9848
Current children cumulated CPU time (s) 676.14
Current children cumulated vsize (Kb) 11976

[startup+1060.08 s]
Raw data (loadavg): 1.02 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1496 0 0 0 30058 8212 0 0 15 0 1 0 20098746 10084352 1408 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2462 1408 413 48 0 2414 0
[pid=5363] vsize: 9848
Current children cumulated CPU time (s) 683.38
Current children cumulated vsize (Kb) 11976

[startup+1070.08 s]
Raw data (loadavg): 1.02 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1496 0 0 0 30584 8372 0 0 15 0 1 0 20098746 10084352 1408 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2462 1408 413 48 0 2414 0
[pid=5363] vsize: 9848
Current children cumulated CPU time (s) 690.24
Current children cumulated vsize (Kb) 11976

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1500 0 0 0 31219 8499 0 0 16 0 1 0 20098746 10084352 1411 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2462 1411 413 48 0 2414 0
[pid=5363] vsize: 9848
Current children cumulated CPU time (s) 697.86
Current children cumulated vsize (Kb) 11976

[startup+1090.09 s]
Raw data (loadavg): 1.01 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1503 0 0 0 31804 8638 0 0 15 0 1 0 20098746 10252288 1412 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2503 1412 413 48 0 2455 0
[pid=5363] vsize: 10012
Current children cumulated CPU time (s) 705.1
Current children cumulated vsize (Kb) 12140

[startup+1100.09 s]
Raw data (loadavg): 1.01 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1530 0 0 0 32428 8767 0 0 15 0 1 0 20098746 10149888 1437 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2478 1437 413 48 0 2430 0
[pid=5363] vsize: 9912
Current children cumulated CPU time (s) 712.63
Current children cumulated vsize (Kb) 12040

[startup+1110.09 s]
Raw data (loadavg): 1.01 1.05 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1532 0 0 0 32986 8913 0 0 15 0 1 0 20098746 10149888 1439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2478 1439 413 48 0 2430 0
[pid=5363] vsize: 9912
Current children cumulated CPU time (s) 719.67
Current children cumulated vsize (Kb) 12040

[startup+1120.09 s]
Raw data (loadavg): 1.08 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1534 0 0 0 33541 9063 0 0 16 0 1 0 20098746 10317824 1441 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2519 1441 413 48 0 2471 0
[pid=5363] vsize: 10076
Current children cumulated CPU time (s) 726.72
Current children cumulated vsize (Kb) 12204

[startup+1130.09 s]
Raw data (loadavg): 1.07 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1549 0 0 0 34167 9186 0 0 15 0 1 0 20098746 10293248 1454 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2513 1454 413 48 0 2465 0
[pid=5363] vsize: 10052
Current children cumulated CPU time (s) 734.21
Current children cumulated vsize (Kb) 12180

[startup+1140.09 s]
Raw data (loadavg): 1.06 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 1615 0 0 0 34873 9283 0 0 16 0 1 0 20098746 10379264 1520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2534 1520 413 48 0 2486 0
[pid=5363] vsize: 10136
Current children cumulated CPU time (s) 742.24
Current children cumulated vsize (Kb) 12264

[startup+1150.09 s]
Raw data (loadavg): 1.05 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2048 0 0 0 35671 9351 0 0 16 0 1 0 20098746 11247616 1953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2746 1953 413 48 0 2698 0
[pid=5363] vsize: 10984
Current children cumulated CPU time (s) 750.9
Current children cumulated vsize (Kb) 13112

[startup+1160.09 s]
Raw data (loadavg): 1.04 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2182 0 0 0 36450 9423 0 0 16 0 1 0 20098746 11759616 2087 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2087 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 759.41
Current children cumulated vsize (Kb) 13612

[startup+1170.09 s]
Raw data (loadavg): 1.04 1.06 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2459 0 0 0 37310 9471 0 0 17 0 1 0 20098746 13135872 2364 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 3207 2364 413 48 0 3159 0
[pid=5363] vsize: 12828
Current children cumulated CPU time (s) 768.49
Current children cumulated vsize (Kb) 14956

[startup+1180.09 s]
Raw data (loadavg): 1.03 1.05 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2582 0 0 0 38109 9540 0 0 16 0 1 0 20098746 13602816 2487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 3321 2487 413 48 0 3273 0
[pid=5363] vsize: 13284
Current children cumulated CPU time (s) 777.17
Current children cumulated vsize (Kb) 15412

[startup+1190.09 s]
Raw data (loadavg): 1.02 1.05 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2709 0 0 0 38918 9603 0 0 16 0 1 0 20098746 14065664 2613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 3434 2613 413 48 0 3386 0
[pid=5363] vsize: 13736
Current children cumulated CPU time (s) 785.89
Current children cumulated vsize (Kb) 15864

[startup+1200.09 s]
Raw data (loadavg): 1.02 1.05 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2913 0 0 0 39772 9655 0 0 16 0 1 0 20098746 11812864 2062 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2884 2062 413 48 0 2836 0
[pid=5363] vsize: 11536
Current children cumulated CPU time (s) 794.95
Current children cumulated vsize (Kb) 13664

[startup+1210.1 s]
Raw data (loadavg): 1.02 1.05 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2914 0 0 0 40353 9798 0 0 15 0 1 0 20098746 11812864 2063 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2884 2063 413 48 0 2836 0
[pid=5363] vsize: 11536
Current children cumulated CPU time (s) 802.19
Current children cumulated vsize (Kb) 13664

[startup+1220.1 s]
Raw data (loadavg): 1.09 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2915 0 0 0 40975 9922 0 0 15 0 1 0 20098746 11812864 2064 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2884 2064 413 48 0 2836 0
[pid=5363] vsize: 11536
Current children cumulated CPU time (s) 809.65
Current children cumulated vsize (Kb) 13664

[startup+1230.1 s]
Raw data (loadavg): 1.08 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2921 0 0 0 41770 9994 0 0 16 0 1 0 20098746 11755520 2069 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2870 2069 413 48 0 2822 0
[pid=5363] vsize: 11480
Current children cumulated CPU time (s) 818.32
Current children cumulated vsize (Kb) 13608

[startup+1240.1 s]
Raw data (loadavg): 1.14 1.07 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 2993 0 0 0 42545 10068 0 0 16 0 1 0 20098746 12144640 2140 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2965 2140 413 48 0 2917 0
[pid=5363] vsize: 11860
Current children cumulated CPU time (s) 826.81
Current children cumulated vsize (Kb) 13988

[startup+1250.1 s]
Raw data (loadavg): 1.12 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3139 0 0 0 43329 10142 0 0 16 0 1 0 20098746 12886016 2285 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 3146 2285 413 48 0 3098 0
[pid=5363] vsize: 12584
Current children cumulated CPU time (s) 835.39
Current children cumulated vsize (Kb) 14712

[startup+1260.1 s]
Raw data (loadavg): 1.10 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3267 0 0 0 44141 10208 0 0 17 0 1 0 20098746 13287424 2413 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 3244 2413 413 48 0 3196 0
[pid=5363] vsize: 12976
Current children cumulated CPU time (s) 844.17
Current children cumulated vsize (Kb) 15104

[startup+1270.1 s]
Raw data (loadavg): 1.08 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3379 0 0 0 44947 10277 0 0 16 0 1 0 20098746 13709312 2524 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 3347 2524 413 48 0 3299 0
[pid=5363] vsize: 13388
Current children cumulated CPU time (s) 852.92
Current children cumulated vsize (Kb) 15516

[startup+1280.1 s]
Raw data (loadavg): 1.07 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3545 0 0 0 45842 10318 0 0 17 0 1 0 20098746 14438400 2690 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 3525 2690 413 48 0 3477 0
[pid=5363] vsize: 14100
Current children cumulated CPU time (s) 862.28
Current children cumulated vsize (Kb) 16228

[startup+1290.1 s]
Raw data (loadavg): 1.06 1.06 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3611 0 0 0 46673 10373 0 0 18 0 1 0 20098746 14610432 2756 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 3567 2756 413 48 0 3519 0
[pid=5363] vsize: 14268
Current children cumulated CPU time (s) 871.14
Current children cumulated vsize (Kb) 16396

[startup+1300.1 s]
Raw data (loadavg): 1.05 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3704 0 0 0 47441 10451 0 0 15 0 1 0 20098746 11870208 2060 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2898 2060 413 48 0 2850 0
[pid=5363] vsize: 11592
Current children cumulated CPU time (s) 879.6
Current children cumulated vsize (Kb) 13720

[startup+1310.1 s]
Raw data (loadavg): 1.12 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3704 0 0 0 48013 10595 0 0 15 0 1 0 20098746 11870208 2060 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2898 2060 413 48 0 2850 0
[pid=5363] vsize: 11592
Current children cumulated CPU time (s) 886.76
Current children cumulated vsize (Kb) 13720

[startup+1320.1 s]
Raw data (loadavg): 1.10 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3706 0 0 0 48669 10715 0 0 16 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 894.52
Current children cumulated vsize (Kb) 13612

[startup+1330.1 s]
Raw data (loadavg): 1.08 1.06 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 3707 0 0 0 49443 10791 0 0 16 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 903.02
Current children cumulated vsize (Kb) 13612

[startup+1340.1 s]
Raw data (loadavg): 1.07 1.06 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3708 0 0 0 50216 10871 0 0 16 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 911.55
Current children cumulated vsize (Kb) 13612

[startup+1350.11 s]
Raw data (loadavg): 1.06 1.06 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 3746 0 0 0 51106 10913 0 0 17 0 1 0 20098746 12124160 2099 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2960 2099 413 48 0 2912 0
[pid=5363] vsize: 11840
Current children cumulated CPU time (s) 920.87
Current children cumulated vsize (Kb) 13968

[startup+1360.11 s]
Raw data (loadavg): 1.05 1.06 1.06 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3769 0 0 0 51893 10987 0 0 16 0 1 0 20098746 12124160 2121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2960 2121 413 48 0 2912 0
[pid=5363] vsize: 11840
Current children cumulated CPU time (s) 929.48
Current children cumulated vsize (Kb) 13968

[startup+1370.11 s]
Raw data (loadavg): 1.04 1.05 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3770 0 0 0 52659 11072 0 0 16 0 1 0 20098746 12124160 2121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2960 2121 413 48 0 2912 0
[pid=5363] vsize: 11840
Current children cumulated CPU time (s) 937.99
Current children cumulated vsize (Kb) 13968

[startup+1380.11 s]
Raw data (loadavg): 1.03 1.05 1.05 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 3771 0 0 0 53405 11160 0 0 16 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221185708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 946.33
Current children cumulated vsize (Kb) 13612

[startup+1390.11 s]
Raw data (loadavg): 1.10 1.07 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3771 0 0 0 53957 11308 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 953.33
Current children cumulated vsize (Kb) 13612

[startup+1400.11 s]
Raw data (loadavg): 1.17 1.08 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3772 0 0 0 54557 11444 0 0 15 0 1 0 20098746 11927552 2062 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2912 2062 413 48 0 2864 0
[pid=5363] vsize: 11648
Current children cumulated CPU time (s) 960.69
Current children cumulated vsize (Kb) 13776

[startup+1410.11 s]
Raw data (loadavg): 1.21 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3773 0 0 0 55215 11555 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 968.38
Current children cumulated vsize (Kb) 13612

[startup+1420.11 s]
Raw data (loadavg): 1.18 1.09 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) R 5358 5358 4005 0 -1 0 3774 0 0 0 55879 11665 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 976.12
Current children cumulated vsize (Kb) 13612

[startup+1430.11 s]
Raw data (loadavg): 1.15 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3776 0 0 0 56514 11781 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 983.63
Current children cumulated vsize (Kb) 13612

[startup+1440.11 s]
Raw data (loadavg): 1.13 1.08 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3777 0 0 0 57111 11918 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 990.97
Current children cumulated vsize (Kb) 13612

[startup+1450.11 s]
Raw data (loadavg): 1.11 1.08 1.06 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3777 0 0 0 57644 12073 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 997.85
Current children cumulated vsize (Kb) 13612

[startup+1460.11 s]
Raw data (loadavg): 1.16 1.09 1.07 2/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3778 0 0 0 58261 12203 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 1005.32
Current children cumulated vsize (Kb) 13612

[startup+1470.11 s]
Raw data (loadavg): 1.14 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3779 0 0 0 58920 12317 0 0 15 0 1 0 20098746 11759616 2061 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2871 2061 413 48 0 2823 0
[pid=5363] vsize: 11484
Current children cumulated CPU time (s) 1013.05
Current children cumulated vsize (Kb) 13612

[startup+1480.11 s]
Raw data (loadavg): 1.20 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3786 0 0 0 59614 12423 0 0 15 0 1 0 20098746 11776000 2067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2875 2067 413 48 0 2827 0
[pid=5363] vsize: 11500
Current children cumulated CPU time (s) 1021.05
Current children cumulated vsize (Kb) 13628

[startup+1490.11 s]
Raw data (loadavg): 1.17 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3788 0 0 0 60212 12552 0 0 15 0 1 0 20098746 11776000 2067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5363/statm): 2875 2067 413 48 0 2827 0
[pid=5363] vsize: 11500
Current children cumulated CPU time (s) 1028.32
Current children cumulated vsize (Kb) 13628

[startup+1500.11 s]
Raw data (loadavg): 1.14 1.10 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3789 0 0 0 60824 12682 0 0 15 0 1 0 20098746 11776000 2067 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2875 2067 413 48 0 2827 0
[pid=5363] vsize: 11500
Current children cumulated CPU time (s) 1035.74
Current children cumulated vsize (Kb) 13628

[startup+1510.11 s]
Raw data (loadavg): 1.12 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3789 0 0 0 61342 12841 0 0 15 0 1 0 20098746 11776000 2067 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2875 2067 413 48 0 2827 0
[pid=5363] vsize: 11500
Current children cumulated CPU time (s) 1042.51
Current children cumulated vsize (Kb) 13628

[startup+1520.12 s]
Raw data (loadavg): 1.10 1.09 1.07 1/56 5363
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 378 2196 0 0 2 1 19858 10207 16 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5363/stat): 5363 (vallst) T 5358 5358 4005 0 -1 0 3790 0 0 0 61932 12978 0 0 15 0 1 0 20098746 11943936 2068 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5363/statm): 2916 2068 413 48 0 2868 0
[pid=5363] vsize: 11664
Current children cumulated CPU time (s) 1049.78
Current children cumulated vsize (Kb) 13792
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=5363) exited with status: 2
New process pid=5364
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=5364) exited with status: 0
New process pid=5365
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+1530.12 s]
Raw data (loadavg): 1.08 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 863 0 0 0 492 133 0 0 18 0 1 0 20199756 5140480 834 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 1255 834 413 48 0 1207 0
[pid=5365] vsize: 5020
Current children cumulated CPU time (s) 1056.98
Current children cumulated vsize (Kb) 7148

[startup+1540.12 s]
Raw data (loadavg): 1.07 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 864 0 0 0 1058 282 0 0 19 0 1 0 20199756 5324800 835 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 1300 835 413 48 0 1252 0
[pid=5365] vsize: 5200
Current children cumulated CPU time (s) 1064.13
Current children cumulated vsize (Kb) 7328

[startup+1550.12 s]
Raw data (loadavg): 1.06 1.08 1.06 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 910 0 0 0 1639 422 0 0 17 0 1 0 20199756 8224768 881 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2008 881 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1071.34
Current children cumulated vsize (Kb) 10160

[startup+1560.12 s]
Raw data (loadavg): 1.05 1.08 1.06 2/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) R 5358 5358 4005 0 -1 0 926 0 0 0 2193 574 0 0 17 0 1 0 20199756 8224768 897 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 897 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1078.4
Current children cumulated vsize (Kb) 10160

[startup+1570.12 s]
Raw data (loadavg): 1.04 1.07 1.06 2/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) R 5358 5358 4005 0 -1 0 927 0 0 0 2742 726 0 0 17 0 1 0 20199756 8224768 898 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 898 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1085.41
Current children cumulated vsize (Kb) 10160

[startup+1580.12 s]
Raw data (loadavg): 1.04 1.07 1.06 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 927 0 0 0 3301 872 0 0 18 0 1 0 20199756 8224768 898 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2008 898 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1092.46
Current children cumulated vsize (Kb) 10160

[startup+1590.12 s]
Raw data (loadavg): 1.10 1.08 1.07 2/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 929 0 0 0 3875 1013 0 0 17 0 1 0 20199756 8224768 900 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 900 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1099.61
Current children cumulated vsize (Kb) 10160

[startup+1600.12 s]
Raw data (loadavg): 1.09 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 933 0 0 0 4434 1163 0 0 17 0 1 0 20199756 8224768 904 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 904 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1106.7
Current children cumulated vsize (Kb) 10160

[startup+1610.12 s]
Raw data (loadavg): 1.15 1.09 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 934 0 0 0 4989 1307 0 0 17 0 1 0 20199756 8224768 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2008 905 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1113.69
Current children cumulated vsize (Kb) 10160

[startup+1620.12 s]
Raw data (loadavg): 1.13 1.09 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 934 0 0 0 5549 1456 0 0 18 0 1 0 20199756 8224768 905 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 905 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1120.78
Current children cumulated vsize (Kb) 10160

[startup+1630.12 s]
Raw data (loadavg): 1.11 1.09 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 936 0 0 0 6138 1595 0 0 17 0 1 0 20199756 8224768 907 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2008 907 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1128.06
Current children cumulated vsize (Kb) 10160

[startup+1640.12 s]
Raw data (loadavg): 1.09 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 939 0 0 0 6708 1735 0 0 19 0 1 0 20199756 8224768 910 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2008 910 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1135.16
Current children cumulated vsize (Kb) 10160

[startup+1650.13 s]
Raw data (loadavg): 1.08 1.08 1.07 2/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) R 5358 5358 4005 0 -1 0 940 0 0 0 7270 1878 0 0 17 0 1 0 20199756 8224768 911 4294967295 134512640 134702520 3221223712 3221222912 134617890 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 911 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1142.21
Current children cumulated vsize (Kb) 10160

[startup+1660.13 s]
Raw data (loadavg): 1.06 1.08 1.06 2/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) R 5358 5358 4005 0 -1 0 940 0 0 0 7820 2033 0 0 17 0 1 0 20199756 8224768 911 4294967295 134512640 134702520 3221223712 3221222608 134557196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2008 911 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1149.26
Current children cumulated vsize (Kb) 10160

[startup+1670.13 s]
Raw data (loadavg): 1.05 1.07 1.06 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 994 0 0 0 8434 2165 0 0 17 0 1 0 20199756 8224768 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2008 965 413 48 0 1960 0
[pid=5365] vsize: 8032
Current children cumulated CPU time (s) 1156.72
Current children cumulated vsize (Kb) 10160

[startup+1680.13 s]
Raw data (loadavg): 1.12 1.09 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 999 0 0 0 9010 2311 0 0 18 0 1 0 20199756 8228864 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2009 967 413 48 0 1961 0
[pid=5365] vsize: 8036
Current children cumulated CPU time (s) 1163.94
Current children cumulated vsize (Kb) 10164

[startup+1690.13 s]
Raw data (loadavg): 1.10 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 1004 0 0 0 9595 2448 0 0 17 0 1 0 20199756 8228864 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2009 970 413 48 0 1961 0
[pid=5365] vsize: 8036
Current children cumulated CPU time (s) 1171.16
Current children cumulated vsize (Kb) 10164

[startup+1700.13 s]
Raw data (loadavg): 1.08 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 1004 0 0 0 10139 2604 0 0 17 0 1 0 20199756 8228864 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2009 970 413 48 0 1961 0
[pid=5365] vsize: 8036
Current children cumulated CPU time (s) 1178.16
Current children cumulated vsize (Kb) 10164

[startup+1710.13 s]
Raw data (loadavg): 1.07 1.08 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 1005 0 0 0 10726 2741 0 0 18 0 1 0 20199756 8396800 971 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2050 971 413 48 0 2002 0
[pid=5365] vsize: 8200
Current children cumulated CPU time (s) 1185.4
Current children cumulated vsize (Kb) 10328

[startup+1720.13 s]
Raw data (loadavg): 1.06 1.08 1.06 2/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) R 5358 5358 4005 0 -1 0 1013 0 0 0 11311 2880 0 0 18 0 1 0 20199756 8409088 977 4294967295 134512640 134702520 3221223712 3221222480 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2053 977 413 48 0 2005 0
[pid=5365] vsize: 8212
Current children cumulated CPU time (s) 1192.64
Current children cumulated vsize (Kb) 10340

[startup+1730.13 s]
Raw data (loadavg): 1.05 1.07 1.06 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 1015 0 0 0 11893 3017 0 0 19 0 1 0 20199756 8241152 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5365/statm): 2012 976 413 48 0 1964 0
[pid=5365] vsize: 8048
Current children cumulated CPU time (s) 1199.83
Current children cumulated vsize (Kb) 10176

[startup+1740.13 s]
Raw data (loadavg): 1.12 1.09 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 1021 0 0 0 12476 3157 0 0 17 0 1 0 20199756 8241152 981 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2012 981 413 48 0 1964 0
[pid=5365] vsize: 8048
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 10176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1740.13 s]
Raw data (loadavg): 1.12 1.09 1.07 1/56 5365
Raw data (/proc/5358/stat): 5358 (vallstSAT2005PB) S 5357 5358 4005 0 -1 0 417 6131 0 0 2 1 81871 23199 17 0 1 0 20047606 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5358/statm): 532 248 485 147 0 385 0
[pid=5358] vsize: 2128
Raw data (/proc/5365/stat): 5365 (vallst) T 5358 5358 4005 0 -1 0 1021 0 0 0 12476 3157 0 0 17 0 1 0 20199756 8241152 981 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5365/statm): 2012 981 413 48 0 1964 0
[pid=5365] vsize: 8048
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 10176

Sending SIGTERM to -5358
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5367
New process pid=5368
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5319/stat
open syscall for file /proc/5319/status
open syscall for file /proc/5319/cmdline
open syscall for file /proc/5319/environ
open syscall for file /proc/5357/stat
open syscall for file /proc/5357/status
open syscall for file /proc/5357/cmdline
open syscall for file /proc/5357/environ
open syscall for file /proc/5358/stat
open syscall for file /proc/5358/status
open syscall for file /proc/5358/cmdline
open syscall for file /proc/5358/environ
open syscall for file /proc/5365/stat
open syscall for file /proc/5365/status
open syscall for file /proc/5365/cmdline
open syscall for file /proc/5365/environ
open syscall for file /proc/5367/stat
open syscall for file /proc/5367/status
open syscall for file /proc/5367/cmdline
open syscall for file /proc/5367/environ
open syscall for file /proc/5368/stat
open syscall for file /proc/5368/status
open syscall for file /proc/5368/cmdline
open syscall for file /proc/5368/environ
One traced child (pid=5367) exited with status: 0
One traced child (pid=5368) exited with status: 0
New process pid=5369
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=5365) exited with status: 3
One traced child (pid=5369) exited with status: 0
New process pid=5370
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=5370) exited with status: 0
One traced child (pid=5358) 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): 1740.62
CPU time (s): 1207.35
CPU user time (s): 943.679
CPU system time (s): 263.671
CPU usage (%): 69.3633
Max. virtual memory (cumulated for all children) (Kb): 16396

Verifier Data

ERROR: no interpretation found !