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

Nameweb/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 3565

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-19 01:45:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7341 boxname=wulflinc29 idbench=309 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc29/normalized-cache.inv14.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc29/normalized-cache.inv14.ucl.opb 0
IDLAUNCH: 7341
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        894444 kB
Buffers:         34164 kB
Cached:          76292 kB
SwapCached:        792 kB
Active:          49256 kB
Inactive:        63900 kB
HighTotal:      131008 kB
HighFree:        53648 kB
LowTotal:       903652 kB
LowFree:        840796 kB
SwapTotal:     2097892 kB
SwapFree:      2096664 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            21416 kB
Committed_AS:    64140 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 02:05:28 (client local time) WITH STATUS 3 IN 492.395 SECONDS
stats: 7341 7 492.395 3

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 64  (#equs: 1)
#decisions: 64786;  #end-nodes: 22733;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 1426 (103)
#axs: 187107, #non-axs: 5118
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 8072  (#equs: 1)
Time taken: 11 min, 53 sec

2:

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

seed: 0
Nr of vars set: 8072  (#equs: 0)
Nr of vars set: 8072  (#equs: 0)
Interupt request received.
#decisions: 60311;  #end-nodes: 27104;
#proof improvement attempts: 0;  #restarts: 89
Current batch, end-nodes: 1008 / 1193 (142)
#axs: 156748, #non-axs: 19861
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 49070  (#equs: 1)
Time taken: 8 min, 10 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/26825/stat): 26825 (vallstSAT2005PB) R 26824 26825 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846027257 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26825/statm): 174 3 169 147 0 27 0
[pid=26825] 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=26826
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=26826) exited with status: 0
New process pid=26827
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=26827) exited with status: 0
New process pid=26828
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/wulflinc29/normalized-cache.inv14.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 1.21 1.15 1.10 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5768 0 0 0 954 28 0 0 25 0 1 0 1846027264 26734592 5222 4294967295 134512640 134702520 3221223952 3221109228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 6527 5222 413 48 0 6479 0
[pid=26828] vsize: 26108
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 28236

[startup+20.0048 s]
Raw data (loadavg): 1.18 1.14 1.10 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5768 0 0 0 1953 28 0 0 25 0 1 0 1846027264 26734592 5222 4294967295 134512640 134702520 3221223952 3220616908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 6527 5222 413 48 0 6479 0
[pid=26828] vsize: 26108
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 28236

[startup+30.0056 s]
Raw data (loadavg): 1.15 1.14 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5768 0 0 0 2953 28 0 0 25 0 1 0 1846027264 26734592 5222 4294967295 134512640 134702520 3221223952 3219991628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 6527 5222 413 48 0 6479 0
[pid=26828] vsize: 26108
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 28236

[startup+40.0064 s]
Raw data (loadavg): 1.13 1.14 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 5971 0 0 0 3953 29 0 0 25 0 1 0 1846027264 27566080 5425 4294967295 134512640 134702520 3221223952 3218844428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 6730 5425 413 48 0 6682 0
[pid=26828] vsize: 26920
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 29048

[startup+50.0071 s]
Raw data (loadavg): 1.11 1.13 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6479 0 0 0 4952 30 0 0 25 0 1 0 1846027264 29646848 5933 4294967295 134512640 134702520 3221223952 3220833568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 7238 5933 413 48 0 7190 0
[pid=26828] vsize: 28952
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 31080

[startup+60.0079 s]
Raw data (loadavg): 1.09 1.13 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6492 0 0 0 5951 31 0 0 25 0 1 0 1846027264 58908672 5945 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 5945 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 59656

[startup+70.0087 s]
Raw data (loadavg): 1.08 1.12 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6555 0 0 0 6934 37 0 0 25 0 1 0 1846027264 58908672 6008 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6008 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 59656

[startup+80.0105 s]
Raw data (loadavg): 1.06 1.12 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6593 0 0 0 7917 45 0 0 25 0 1 0 1846027264 58908672 6046 4294967295 134512640 134702520 3221223952 3221223232 134553029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6046 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 79.64
Current children cumulated vsize (Kb) 59656

[startup+90.0113 s]
Raw data (loadavg): 1.05 1.11 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6609 0 0 0 8901 49 0 0 25 0 1 0 1846027264 58908672 6062 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6062 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 89.52
Current children cumulated vsize (Kb) 59656

[startup+100.011 s]
Raw data (loadavg): 1.05 1.11 1.09 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) T 26825 26825 19818 0 -1 0 6627 0 0 0 9881 56 0 0 25 0 1 0 1846027264 58908672 6080 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6080 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (Kb) 59656

[startup+110.012 s]
Raw data (loadavg): 1.04 1.10 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 10880 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3220895708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 109.38
Current children cumulated vsize (Kb) 59656

[startup+120.013 s]
Raw data (loadavg): 1.03 1.10 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 11881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3220536348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 119.39
Current children cumulated vsize (Kb) 59656

[startup+130.013 s]
Raw data (loadavg): 1.03 1.10 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 12881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3220147568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 59656

[startup+140.014 s]
Raw data (loadavg): 1.02 1.09 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 13881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3219713148 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 139.39
Current children cumulated vsize (Kb) 59656

[startup+150.015 s]
Raw data (loadavg): 1.02 1.09 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 14881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3219204208 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 149.39
Current children cumulated vsize (Kb) 59656

[startup+160.016 s]
Raw data (loadavg): 1.02 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 15881 56 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3218509628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 159.39
Current children cumulated vsize (Kb) 59656

[startup+170.017 s]
Raw data (loadavg): 1.01 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6628 0 0 0 16881 57 0 0 25 0 1 0 1846027264 58908672 6081 4294967295 134512640 134702520 3221223952 3217266436 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14382 6081 413 48 0 14334 0
[pid=26828] vsize: 57528
Current children cumulated CPU time (s) 169.4
Current children cumulated vsize (Kb) 59656

[startup+180.017 s]
Raw data (loadavg): 1.01 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6930 0 0 0 17881 58 0 0 25 0 1 0 1846027264 60145664 6383 4294967295 134512640 134702520 3221223952 3220478128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6383 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 179.41
Current children cumulated vsize (Kb) 60864

[startup+190.018 s]
Raw data (loadavg): 1.01 1.08 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6931 0 0 0 18876 59 0 0 25 0 1 0 1846027264 60145664 6383 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6383 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 189.37
Current children cumulated vsize (Kb) 60864

[startup+200.018 s]
Raw data (loadavg): 1.01 1.07 1.08 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6932 0 0 0 19856 65 0 0 25 0 1 0 1846027264 60145664 6384 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6384 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 199.23
Current children cumulated vsize (Kb) 60864

[startup+210.019 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6939 0 0 0 20840 72 0 0 25 0 1 0 1846027264 60145664 6391 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6391 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 209.14
Current children cumulated vsize (Kb) 60864

[startup+220.019 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6944 0 0 0 21832 74 0 0 25 0 1 0 1846027264 60145664 6396 4294967295 134512640 134702520 3221223952 3221190608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6396 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 219.08
Current children cumulated vsize (Kb) 60864

[startup+230.02 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6944 0 0 0 22832 75 0 0 25 0 1 0 1846027264 60145664 6396 4294967295 134512640 134702520 3221223952 3221134768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6396 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 229.09
Current children cumulated vsize (Kb) 60864

[startup+240.021 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6944 0 0 0 23832 75 0 0 25 0 1 0 1846027264 60145664 6396 4294967295 134512640 134702520 3221223952 3220959868 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6396 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 239.09
Current children cumulated vsize (Kb) 60864

[startup+250.021 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6946 0 0 0 24828 76 0 0 25 0 1 0 1846027264 60145664 6397 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6397 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 249.06
Current children cumulated vsize (Kb) 60864

[startup+260.022 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6949 0 0 0 25810 82 0 0 25 0 1 0 1846027264 60145664 6400 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6400 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 60864

[startup+270.022 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6961 0 0 0 26791 88 0 0 25 0 1 0 1846027264 60145664 6412 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6412 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 268.81
Current children cumulated vsize (Kb) 60864

[startup+280.023 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 27786 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221190448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 278.78
Current children cumulated vsize (Kb) 60864

[startup+290.024 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 28786 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221134908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 288.78
Current children cumulated vsize (Kb) 60864

[startup+300.024 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 29787 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221074128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 298.79
Current children cumulated vsize (Kb) 60864

[startup+310.025 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 30787 90 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3221012348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 308.79
Current children cumulated vsize (Kb) 60864

[startup+320.025 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 31787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220949168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 318.8
Current children cumulated vsize (Kb) 60864

[startup+330.026 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 32787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220885628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 328.8
Current children cumulated vsize (Kb) 60864

[startup+340.027 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 33787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220814588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 338.8
Current children cumulated vsize (Kb) 60864

[startup+350.027 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 34787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220740676 134612020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 348.8
Current children cumulated vsize (Kb) 60864

[startup+360.027 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 35787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220664348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 358.8
Current children cumulated vsize (Kb) 60864

[startup+370.028 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 36787 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3220483708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 368.8
Current children cumulated vsize (Kb) 60864

[startup+380.029 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 37788 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3219800988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 378.81
Current children cumulated vsize (Kb) 60864

[startup+390.03 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 38788 91 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3218120528 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 388.81
Current children cumulated vsize (Kb) 60864

[startup+400.03 s]
Raw data (loadavg): 1.07 1.05 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 6968 0 0 0 39788 92 0 0 25 0 1 0 1846027264 60145664 6419 4294967295 134512640 134702520 3221223952 3219388988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14684 6419 413 48 0 14636 0
[pid=26828] vsize: 58736
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (Kb) 60864

[startup+410.03 s]
Raw data (loadavg): 1.06 1.04 1.06 1/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) T 26825 26825 19818 0 -1 0 6985 0 0 0 40775 97 0 0 25 0 1 0 1846027264 60280832 6435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6435 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (Kb) 60996

[startup+420.031 s]
Raw data (loadavg): 1.05 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7009 0 0 0 41758 102 0 0 25 0 1 0 1846027264 60280832 6459 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6459 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 418.62
Current children cumulated vsize (Kb) 60996

[startup+430.033 s]
Raw data (loadavg): 1.04 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7030 0 0 0 42740 109 0 0 25 0 1 0 1846027264 60280832 6480 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6480 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 428.51
Current children cumulated vsize (Kb) 60996

[startup+440.034 s]
Raw data (loadavg): 1.04 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 43728 113 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221206928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 438.43
Current children cumulated vsize (Kb) 60996

[startup+450.034 s]
Raw data (loadavg): 1.03 1.04 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 44728 113 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221149328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 448.43
Current children cumulated vsize (Kb) 60996

[startup+460.034 s]
Raw data (loadavg): 1.02 1.03 1.06 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 45728 114 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221090128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 458.44
Current children cumulated vsize (Kb) 60996

[startup+470.035 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 46728 114 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221029808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 468.44
Current children cumulated vsize (Kb) 60996

[startup+480.036 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 47728 114 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220965788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 478.44
Current children cumulated vsize (Kb) 60996

[startup+490.037 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 48728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220895888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 488.45
Current children cumulated vsize (Kb) 60996

[startup+500.036 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 49728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220824688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 498.45
Current children cumulated vsize (Kb) 60996

[startup+510.037 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 50727 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220751408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 508.44
Current children cumulated vsize (Kb) 60996

[startup+520.038 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 51728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220278588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 518.45
Current children cumulated vsize (Kb) 60996

[startup+530.04 s]
Raw data (loadavg): 1.01 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 52728 115 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220645808 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 528.45
Current children cumulated vsize (Kb) 60996

[startup+540.041 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 53728 116 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220486428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 538.46
Current children cumulated vsize (Kb) 60996

[startup+550.041 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7045 0 0 0 54728 116 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3220308508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 548.46
Current children cumulated vsize (Kb) 60996

[startup+560.042 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7046 0 0 0 55726 116 0 0 25 0 1 0 1846027264 60280832 6495 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26828/statm): 14717 6495 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 558.44
Current children cumulated vsize (Kb) 60996

[startup+570.043 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7066 0 0 0 56710 123 0 0 25 0 1 0 1846027264 60280832 6515 4294967295 134512640 134702520 3221223952 3221223212 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14717 6515 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 568.35
Current children cumulated vsize (Kb) 60996

[startup+580.043 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7103 0 0 0 57694 129 0 0 20 0 1 0 1846027264 60280832 6552 4294967295 134512640 134702520 3221223952 3221223216 134553213 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14717 6552 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 578.25
Current children cumulated vsize (Kb) 60996

[startup+590.044 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7140 0 0 0 58682 133 0 0 25 0 1 0 1846027264 60280832 6589 4294967295 134512640 134702520 3221223952 3221223232 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14717 6589 413 48 0 14669 0
[pid=26828] vsize: 58868
Current children cumulated CPU time (s) 588.17
Current children cumulated vsize (Kb) 60996

[startup+600.044 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 59669 137 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3221073328 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 598.08
Current children cumulated vsize (Kb) 61128

[startup+610.046 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 60669 137 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3219243072 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 608.08
Current children cumulated vsize (Kb) 61128

[startup+620.047 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 61668 138 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3221089472 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 618.08
Current children cumulated vsize (Kb) 61128

[startup+630.048 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7159 0 0 0 62668 138 0 0 25 0 1 0 1846027264 60416000 6608 4294967295 134512640 134702520 3221223952 3220692368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6608 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 628.08
Current children cumulated vsize (Kb) 61128

[startup+640.048 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7161 0 0 0 63666 139 0 0 25 0 1 0 1846027264 60416000 6609 4294967295 134512640 134702520 3221223952 3221223200 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6609 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 638.07
Current children cumulated vsize (Kb) 61128

[startup+650.049 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7174 0 0 0 64653 144 0 0 25 0 1 0 1846027264 60416000 6622 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6622 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 647.99
Current children cumulated vsize (Kb) 61128

[startup+660.05 s]
Raw data (loadavg): 1.00 1.01 1.04 1/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) T 26825 26825 19818 0 -1 0 7195 0 0 0 65639 148 0 0 25 0 1 0 1846027264 60416000 6643 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6643 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 657.89
Current children cumulated vsize (Kb) 61128

[startup+670.052 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7223 0 0 0 66624 155 0 0 25 0 1 0 1846027264 60416000 6671 4294967295 134512640 134702520 3221223952 3221223232 134553904 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6671 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 667.81
Current children cumulated vsize (Kb) 61128

[startup+680.052 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7245 0 0 0 67609 160 0 0 25 0 1 0 1846027264 60416000 6693 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6693 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 677.71
Current children cumulated vsize (Kb) 61128

[startup+690.052 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7265 0 0 0 68606 162 0 0 25 0 1 0 1846027264 60416000 6713 4294967295 134512640 134702520 3221223952 3219705468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6713 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 687.7
Current children cumulated vsize (Kb) 61128

[startup+700.053 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7265 0 0 0 69606 162 0 0 25 0 1 0 1846027264 60416000 6713 4294967295 134512640 134702520 3221223952 3221030268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6713 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 697.7
Current children cumulated vsize (Kb) 61128

[startup+710.054 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26828
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1846027257 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26825/statm): 532 242 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26828/stat): 26828 (vallst) R 26825 26825 19818 0 -1 0 7265 0 0 0 70606 162 0 0 25 0 1 0 1846027264 60416000 6713 4294967295 134512640 134702520 3221223952 3220589148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26828/statm): 14750 6713 413 48 0 14702 0
[pid=26828] vsize: 59000
Current children cumulated CPU time (s) 707.7
Current children cumulated vsize (Kb) 61128
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=26828) exited with status: 2
New process pid=26829
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=26829) exited with status: 0
New process pid=26830
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+720.055 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 3643 0 0 0 242 16 0 0 25 0 1 0 1846099003 22949888 3614 4294967295 134512640 134702520 3221223712 3221223336 1074475096 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 5603 3614 413 48 0 5555 0
[pid=26830] vsize: 22412
Current children cumulated CPU time (s) 717.53
Current children cumulated vsize (Kb) 24540

[startup+730.056 s]
Raw data (loadavg): 1.07 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4435 0 0 0 1237 20 0 0 25 0 1 0 1846099003 24555520 4405 4294967295 134512640 134702520 3221223712 3220742908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 5995 4405 413 48 0 5947 0
[pid=26830] vsize: 23980
Current children cumulated CPU time (s) 727.52
Current children cumulated vsize (Kb) 26108

[startup+740.056 s]
Raw data (loadavg): 1.06 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4793 0 0 0 2236 21 0 0 25 0 1 0 1846099003 26021888 4763 4294967295 134512640 134702520 3221223712 3221162608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 6353 4763 413 48 0 6305 0
[pid=26830] vsize: 25412
Current children cumulated CPU time (s) 737.52
Current children cumulated vsize (Kb) 27540

[startup+750.056 s]
Raw data (loadavg): 1.05 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4793 0 0 0 3236 21 0 0 25 0 1 0 1846099003 26021888 4763 4294967295 134512640 134702520 3221223712 3220787388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 6353 4763 413 48 0 6305 0
[pid=26830] vsize: 25412
Current children cumulated CPU time (s) 747.52
Current children cumulated vsize (Kb) 27540

[startup+760.057 s]
Raw data (loadavg): 1.04 1.02 1.03 1/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) T 26825 26825 19818 0 -1 0 4917 0 0 0 4236 21 0 0 25 0 1 0 1846099003 55463936 4886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13541 4886 413 48 0 13493 0
[pid=26830] vsize: 54164
Current children cumulated CPU time (s) 757.52
Current children cumulated vsize (Kb) 56292

[startup+770.058 s]
Raw data (loadavg): 1.04 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4977 0 0 0 5220 27 0 0 25 0 1 0 1846099003 55463936 4946 4294967295 134512640 134702520 3221223712 3221222992 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13541 4946 413 48 0 13493 0
[pid=26830] vsize: 54164
Current children cumulated CPU time (s) 767.42
Current children cumulated vsize (Kb) 56292

[startup+780.057 s]
Raw data (loadavg): 1.03 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 4998 0 0 0 6206 32 0 0 25 0 1 0 1846099003 55463936 4967 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13541 4967 413 48 0 13493 0
[pid=26830] vsize: 54164
Current children cumulated CPU time (s) 777.33
Current children cumulated vsize (Kb) 56292

[startup+790.058 s]
Raw data (loadavg): 1.02 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5024 0 0 0 7195 37 0 0 25 0 1 0 1846099003 55599104 4993 4294967295 134512640 134702520 3221223712 3221218348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 4993 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 56424

[startup+800.059 s]
Raw data (loadavg): 1.02 1.02 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5024 0 0 0 8195 37 0 0 25 0 1 0 1846099003 55599104 4993 4294967295 134512640 134702520 3221223712 3220953708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 4993 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 797.27
Current children cumulated vsize (Kb) 56424

[startup+810.06 s]
Raw data (loadavg): 1.02 1.01 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5024 0 0 0 9195 37 0 0 25 0 1 0 1846099003 55599104 4993 4294967295 134512640 134702520 3221223712 3220466048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 4993 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 807.27
Current children cumulated vsize (Kb) 56424

[startup+820.061 s]
Raw data (loadavg): 1.01 1.01 1.03 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5034 0 0 0 10186 40 0 0 25 0 1 0 1846099003 55599104 5002 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5002 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 817.21
Current children cumulated vsize (Kb) 56424

[startup+830.06 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5050 0 0 0 11169 46 0 0 25 0 1 0 1846099003 55599104 5018 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5018 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 827.1
Current children cumulated vsize (Kb) 56424

[startup+840.061 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5066 0 0 0 12155 51 0 0 25 0 1 0 1846099003 55599104 5034 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 13574 5034 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 837.01
Current children cumulated vsize (Kb) 56424

[startup+850.062 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 13140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3221175008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 846.92
Current children cumulated vsize (Kb) 56424

[startup+860.063 s]
Raw data (loadavg): 1.01 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 14140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3221142828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 856.92
Current children cumulated vsize (Kb) 56424

[startup+870.063 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 15140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3220837568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 866.92
Current children cumulated vsize (Kb) 56424

[startup+880.063 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5121 0 0 0 16140 57 0 0 25 0 1 0 1846099003 55599104 5089 4294967295 134512640 134702520 3221223712 3220218848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5089 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 876.92
Current children cumulated vsize (Kb) 56424

[startup+890.064 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5124 0 0 0 17129 62 0 0 25 0 1 0 1846099003 55599104 5091 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13574 5091 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 886.86
Current children cumulated vsize (Kb) 56424

[startup+900.064 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5139 0 0 0 18110 67 0 0 25 0 1 0 1846099003 55599104 5106 4294967295 134512640 134702520 3221223712 3221222992 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 13574 5106 413 48 0 13526 0
[pid=26830] vsize: 54296
Current children cumulated CPU time (s) 896.72
Current children cumulated vsize (Kb) 56424

[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5153 0 0 0 19098 72 0 0 25 0 1 0 1846099003 55734272 5120 4294967295 134512640 134702520 3221223712 3221222992 134552354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5120 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 906.65
Current children cumulated vsize (Kb) 56556

[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5159 0 0 0 20091 75 0 0 25 0 1 0 1846099003 55734272 5126 4294967295 134512640 134702520 3221223712 3221019148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5126 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 916.61
Current children cumulated vsize (Kb) 56556

[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5159 0 0 0 21091 75 0 0 25 0 1 0 1846099003 55734272 5126 4294967295 134512640 134702520 3221223712 3220407788 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5126 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 926.61
Current children cumulated vsize (Kb) 56556

[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5159 0 0 0 22091 75 0 0 25 0 1 0 1846099003 55734272 5126 4294967295 134512640 134702520 3221223712 3219397548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13607 5126 413 48 0 13559 0
[pid=26830] vsize: 54428
Current children cumulated CPU time (s) 936.61
Current children cumulated vsize (Kb) 56556

[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5458 0 0 0 23090 77 0 0 25 0 1 0 1846099003 56958976 5425 4294967295 134512640 134702520 3221223712 3221159488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5425 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 946.62
Current children cumulated vsize (Kb) 57752

[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5458 0 0 0 24090 77 0 0 25 0 1 0 1846099003 56958976 5425 4294967295 134512640 134702520 3221223712 3220912128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5425 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 956.62
Current children cumulated vsize (Kb) 57752

[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5458 0 0 0 25091 77 0 0 25 0 1 0 1846099003 56958976 5425 4294967295 134512640 134702520 3221223712 3220396128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5425 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 966.63
Current children cumulated vsize (Kb) 57752

[startup+980.068 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5461 0 0 0 26078 81 0 0 25 0 1 0 1846099003 56958976 5427 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5427 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 976.54
Current children cumulated vsize (Kb) 57752

[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5472 0 0 0 27062 86 0 0 25 0 1 0 1846099003 56958976 5438 4294967295 134512640 134702520 3221223712 3221222980 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5438 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 986.43
Current children cumulated vsize (Kb) 57752

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5489 0 0 0 28045 93 0 0 25 0 1 0 1846099003 56958976 5455 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5455 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 996.33
Current children cumulated vsize (Kb) 57752

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5582 0 0 0 29025 102 0 0 25 0 1 0 1846099003 56958976 5548 4294967295 134512640 134702520 3221223712 3221222992 134550654 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5548 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1006.22
Current children cumulated vsize (Kb) 57752

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 30021 103 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3220578188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1016.19
Current children cumulated vsize (Kb) 57752

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 31019 105 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3221135648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1026.19
Current children cumulated vsize (Kb) 57752

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 32018 106 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3221016128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1036.19
Current children cumulated vsize (Kb) 57752

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 33018 106 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3220882028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1046.19
Current children cumulated vsize (Kb) 57752

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5597 0 0 0 34018 107 0 0 25 0 1 0 1846099003 56958976 5563 4294967295 134512640 134702520 3221223712 3220421408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5563 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1056.2
Current children cumulated vsize (Kb) 57752

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5615 0 0 0 35009 110 0 0 25 0 1 0 1846099003 56958976 5580 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5580 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1066.14
Current children cumulated vsize (Kb) 57752

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5632 0 0 0 36000 114 0 0 25 0 1 0 1846099003 56958976 5597 4294967295 134512640 134702520 3221223712 3221222992 134552108 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5597 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1076.09
Current children cumulated vsize (Kb) 57752

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5665 0 0 0 36980 121 0 0 25 0 1 0 1846099003 56958976 5630 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13906 5630 413 48 0 13858 0
[pid=26830] vsize: 55624
Current children cumulated CPU time (s) 1085.96
Current children cumulated vsize (Kb) 57752

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5694 0 0 0 37967 126 0 0 25 0 1 0 1846099003 57094144 5659 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5659 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1095.88
Current children cumulated vsize (Kb) 57884

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5717 0 0 0 38957 129 0 0 25 0 1 0 1846099003 57094144 5682 4294967295 134512640 134702520 3221223712 3221222992 134552539 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5682 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1105.81
Current children cumulated vsize (Kb) 57884

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 39944 135 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3221220748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1115.74
Current children cumulated vsize (Kb) 57884

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 40944 135 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3220661708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1125.74
Current children cumulated vsize (Kb) 57884

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 41943 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3219867632 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1135.74
Current children cumulated vsize (Kb) 57884

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 42943 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3220788432 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1145.74
Current children cumulated vsize (Kb) 57884

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 43944 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3221029888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1155.75
Current children cumulated vsize (Kb) 57884

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 44944 136 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3220737228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1165.75
Current children cumulated vsize (Kb) 57884

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5829 0 0 0 45944 137 0 0 25 0 1 0 1846099003 57094144 5794 4294967295 134512640 134702520 3221223712 3219993888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5794 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1175.76
Current children cumulated vsize (Kb) 57884

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5846 0 0 0 46931 141 0 0 25 0 1 0 1846099003 57094144 5810 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5810 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1185.67
Current children cumulated vsize (Kb) 57884

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5874 0 0 0 47915 147 0 0 25 0 1 0 1846099003 57094144 5838 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13939 5838 413 48 0 13891 0
[pid=26830] vsize: 55756
Current children cumulated CPU time (s) 1195.57
Current children cumulated vsize (Kb) 57884

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5898 0 0 0 48901 152 0 0 25 0 1 0 1846099003 57229312 5862 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13972 5862 413 48 0 13924 0
[pid=26830] vsize: 55888
Current children cumulated CPU time (s) 1205.48
Current children cumulated vsize (Kb) 58016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 26830
Raw data (/proc/26825/stat): 26825 (vallstSAT2005PB) S 26824 26825 19818 0 -1 0 378 7641 0 0 1 1 71317 176 19 0 1 0 1846027257 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26825/statm): 532 248 485 147 0 385 0
[pid=26825] vsize: 2128
Raw data (/proc/26830/stat): 26830 (vallst) R 26825 26825 19818 0 -1 0 5898 0 0 0 48901 152 0 0 25 0 1 0 1846099003 57229312 5862 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26830/statm): 13972 5862 413 48 0 13924 0
[pid=26830] vsize: 55888
Current children cumulated CPU time (s) 1205.48
Current children cumulated vsize (Kb) 58016

Sending SIGTERM to -26825
Sleeping 2 seconds
New process pid=26832
New process pid=26833
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18334/stat
open syscall for file /proc/18334/status
open syscall for file /proc/18334/cmdline
open syscall for file /proc/18334/environ
open syscall for file /proc/17268/stat
open syscall for file /proc/17268/status
open syscall for file /proc/17268/cmdline
open syscall for file /proc/17268/environ
open syscall for file /proc/17295/stat
open syscall for file /proc/17295/status
open syscall for file /proc/17295/cmdline
open syscall for file /proc/17295/environ
open syscall for file /proc/17319/stat
open syscall for file /proc/17319/status
open syscall for file /proc/17319/cmdline
open syscall for file /proc/17319/environ
open syscall for file /proc/23252/stat
open syscall for file /proc/23252/status
open syscall for file /proc/23252/cmdline
open syscall for file /proc/23252/environ
open syscall for file /proc/24296/stat
open syscall for file /proc/24296/status
open syscall for file /proc/24296/cmdline
open syscall for file /proc/24296/environ
open syscall for file /proc/1116/stat
open syscall for file /proc/1116/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/1116/cmdline
open syscall for file /proc/1116/environ
open syscall for file /proc/1151/stat
open syscall for file /proc/1151/status
open syscall for file /proc/1151/cmdline
open syscall for file /proc/1151/environ
open syscall for file /proc/19818/stat
open syscall for file /proc/19818/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19818/cmdline
open syscall for file /proc/19818/environ
open syscall for file /proc/19819/stat
open syscall for file /proc/19819/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19819/cmdline
open syscall for file /proc/19819/environ
open syscall for file /proc/19828/stat
open syscall for file /proc/19828/status
open syscall for file /proc/19828/cmdline
open syscall for file /proc/19828/environ
open syscall for file /proc/26788/stat
open syscall for file /proc/26788/status
open syscall for file /proc/26788/cmdline
open syscall for file /proc/26788/environ
open syscall for file /proc/26824/stat
open syscall for file /proc/26824/status
open syscall for file /proc/26824/cmdline
open syscall for file /proc/26824/environ
open syscall for file /proc/26825/stat
open syscall for file /proc/26825/status
open syscall for file /proc/26825/cmdline
open syscall for file /proc/26825/environ
open syscall for file /proc/26830/stat
open syscall for file /proc/26830/status
open syscall for file /proc/26830/cmdline
open syscall for file /proc/26830/environ
open syscall for file /proc/26832/stat
open syscall for file /proc/26832/status
open syscall for file /proc/26832/cmdline
open syscall for file /proc/26832/environ
open syscall for file /proc/26833/stat
open syscall for file /proc/26833/status
open syscall for file /proc/26833/cmdline
open syscall for file /proc/26833/environ
One traced child (pid=26832) exited with status: 0
One traced child (pid=26833) exited with status: 0
New process pid=26834
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=26834) exited with status: 0
New process pid=26835
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=26835) exited with status: 0
One traced child (pid=26825) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=26830) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1212.01
CPU time (s): 492.395
CPU user time (s): 490.687
CPU system time (s): 1.70774
CPU usage (%): 40.6264
Max. virtual memory (cumulated for all children) (Kb): 61128

Verifier Data

ERROR: no interpretation found !