Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM3be753912a1804561d804d0545fc341d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 13633395
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9232
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint260

Trace number 9432

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        954608 kB
Buffers:          4796 kB
Cached:          55724 kB
SwapCached:          0 kB
Active:          17396 kB
Inactive:        46040 kB
HighTotal:      131008 kB
HighFree:        93212 kB
LowTotal:       903652 kB
LowFree:        861396 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10988 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:57:52 (client local time) WITH STATUS 3 IN 877.199 SECONDS
stats: 8159 7 877.199 3

Solver Data

1:
seed: 0
Nr of vars set: 2429  (#equs: 0)
Nr of vars set: 2816  (#equs: 0)
#decisions: 203119;  #end-nodes: 20099;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 733, #non-axs: 484
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2816  (#equs: 0)
Time taken: 5 min, 29 sec

2:

Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened.
No such file or directory


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: 2816  (#equs: 0)
Nr of vars set: 2816  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2823  (#equs: 0)
Time taken: 14 min, 37 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/7358/stat): 7358 (vallstSAT2005PB) R 7357 7358 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20595001 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7358/statm): 174 3 169 147 0 27 0
[pid=7358] 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=7359
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=7359) exited with status: 0
New process pid=7360
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=7360) exited with status: 0
New process pid=7361
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/wulflinc12/normalized-mps-v2-13-7-bienst1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0037 s]
Raw data (loadavg): 0.94 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 874 0 0 0 957 14 0 0 25 0 1 0 20595008 4816896 788 4294967295 134512640 134702520 3221223952 3221223088 134554441 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1176 788 413 48 0 1128 0
[pid=7361] vsize: 4704
Current children cumulated CPU time (s) 9.73
Current children cumulated vsize (Kb) 6832

[startup+20.0046 s]
Raw data (loadavg): 0.95 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 897 0 0 0 1937 19 0 0 25 0 1 0 20595008 7397376 811 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1806 811 413 48 0 1758 0
[pid=7361] vsize: 7224
Current children cumulated CPU time (s) 19.58
Current children cumulated vsize (Kb) 9352

[startup+30.0054 s]
Raw data (loadavg): 0.96 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 925 0 0 0 2892 32 0 0 25 0 1 0 20595008 7397376 839 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1806 839 413 48 0 1758 0
[pid=7361] vsize: 7224
Current children cumulated CPU time (s) 29.26
Current children cumulated vsize (Kb) 9352

[startup+40.0062 s]
Raw data (loadavg): 0.96 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 935 0 0 0 3875 37 0 0 25 0 1 0 20595008 7434240 849 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 849 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 39.14
Current children cumulated vsize (Kb) 9388

[startup+50.007 s]
Raw data (loadavg): 0.97 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 940 0 0 0 4837 48 0 0 25 0 1 0 20595008 7434240 854 4294967295 134512640 134702520 3221223952 3221223216 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 854 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 48.87
Current children cumulated vsize (Kb) 9388

[startup+60.0079 s]
Raw data (loadavg): 0.97 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 943 0 0 0 5810 56 0 0 25 0 1 0 20595008 7434240 857 4294967295 134512640 134702520 3221223952 3221101468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 857 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 58.68
Current children cumulated vsize (Kb) 9388

[startup+70.0087 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 943 0 0 0 6786 63 0 0 25 0 1 0 20595008 7434240 857 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 857 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 68.51
Current children cumulated vsize (Kb) 9388

[startup+80.0095 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 948 0 0 0 7752 73 0 0 25 0 1 0 20595008 7434240 862 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 862 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 78.27
Current children cumulated vsize (Kb) 9388

[startup+90.0103 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 949 0 0 0 8737 78 0 0 25 0 1 0 20595008 7434240 863 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 863 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 88.17
Current children cumulated vsize (Kb) 9388

[startup+100.011 s]
Raw data (loadavg): 0.98 1.00 0.99 1/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) T 7358 7358 4060 0 -1 0 950 0 0 0 9705 89 0 0 25 0 1 0 20595008 7434240 864 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 864 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 97.96
Current children cumulated vsize (Kb) 9388

[startup+110.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 958 0 0 0 10695 93 0 0 25 0 1 0 20595008 7434240 872 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 872 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 107.9
Current children cumulated vsize (Kb) 9388

[startup+120.014 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 959 0 0 0 11677 99 0 0 25 0 1 0 20595008 7434240 873 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 873 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 117.78
Current children cumulated vsize (Kb) 9388

[startup+130.015 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 987 0 0 0 12640 110 0 0 25 0 1 0 20595008 7434240 901 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 901 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 127.52
Current children cumulated vsize (Kb) 9388

[startup+140.015 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 988 0 0 0 13608 121 0 0 25 0 1 0 20595008 7434240 902 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 902 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 137.31
Current children cumulated vsize (Kb) 9388

[startup+150.016 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 14569 133 0 0 24 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221220048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 147.04
Current children cumulated vsize (Kb) 9388

[startup+160.017 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 15540 142 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 156.84
Current children cumulated vsize (Kb) 9388

[startup+170.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 16530 146 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 166.78
Current children cumulated vsize (Kb) 9388

[startup+180.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 17512 153 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 176.67
Current children cumulated vsize (Kb) 9388

[startup+190.02 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 18482 163 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 186.47
Current children cumulated vsize (Kb) 9388

[startup+200.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 19457 172 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 196.31
Current children cumulated vsize (Kb) 9388

[startup+210.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 20421 184 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 206.07
Current children cumulated vsize (Kb) 9388

[startup+220.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 21394 193 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3220884688 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 215.89
Current children cumulated vsize (Kb) 9388

[startup+230.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 22367 202 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 225.71
Current children cumulated vsize (Kb) 9388

[startup+240.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 989 0 0 0 23317 217 0 0 25 0 1 0 20595008 7434240 903 4294967295 134512640 134702520 3221223952 3221145488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 903 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 235.36
Current children cumulated vsize (Kb) 9388

[startup+250.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 995 0 0 0 24278 230 0 0 25 0 1 0 20595008 7434240 909 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 909 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 245.1
Current children cumulated vsize (Kb) 9388

[startup+260.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1002 0 0 0 25248 239 0 0 25 0 1 0 20595008 7434240 916 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 916 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 254.89
Current children cumulated vsize (Kb) 9388

[startup+270.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1005 0 0 0 26228 246 0 0 25 0 1 0 20595008 7434240 919 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 919 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 264.76
Current children cumulated vsize (Kb) 9388

[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1006 0 0 0 27210 253 0 0 25 0 1 0 20595008 7434240 920 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 920 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 274.65
Current children cumulated vsize (Kb) 9388

[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1019 0 0 0 28168 267 0 0 25 0 1 0 20595008 7434240 933 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 933 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 284.37
Current children cumulated vsize (Kb) 9388

[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) T 7358 7358 4060 0 -1 0 1021 0 0 0 29151 273 0 0 25 0 1 0 20595008 7434240 935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7361/statm): 1815 935 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 294.26
Current children cumulated vsize (Kb) 9388

[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1021 0 0 0 30129 280 0 0 25 0 1 0 20595008 7434240 935 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 935 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 304.11
Current children cumulated vsize (Kb) 9388

[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1029 0 0 0 31081 297 0 0 24 0 1 0 20595008 7434240 943 4294967295 134512640 134702520 3221223952 3221220528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 943 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 313.8
Current children cumulated vsize (Kb) 9388

[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7361
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20595001 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 242 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7361/stat): 7361 (vallst) R 7358 7358 4060 0 -1 0 1030 0 0 0 32052 308 0 0 25 0 1 0 20595008 7434240 944 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7361/statm): 1815 944 413 48 0 1767 0
[pid=7361] vsize: 7260
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (Kb) 9388
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=7361) exited with status: 2
New process pid=7362
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=7362) exited with status: 0
New process pid=7363
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+340.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 709 0 0 0 334 10 0 0 21 0 1 0 20628644 4468736 679 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1091 679 413 48 0 1043 0
[pid=7363] vsize: 4364
Current children cumulated CPU time (s) 333.38
Current children cumulated vsize (Kb) 6492

[startup+350.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 721 0 0 0 1240 39 0 0 25 0 1 0 20628644 4603904 691 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1124 691 413 48 0 1076 0
[pid=7363] vsize: 4496
Current children cumulated CPU time (s) 342.73
Current children cumulated vsize (Kb) 6624

[startup+360.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 820 0 0 0 2133 76 0 0 24 0 1 0 20628644 6979584 790 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1704 790 413 48 0 1656 0
[pid=7363] vsize: 6816
Current children cumulated CPU time (s) 352.03
Current children cumulated vsize (Kb) 8944

[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 841 0 0 0 2984 127 0 0 21 0 1 0 20628644 6979584 811 4294967295 134512640 134702520 3221223712 3221219168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1704 811 413 48 0 1656 0
[pid=7363] vsize: 6816
Current children cumulated CPU time (s) 361.05
Current children cumulated vsize (Kb) 8944

[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 858 0 0 0 3895 155 0 0 24 0 1 0 20628644 7098368 828 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1733 828 413 48 0 1685 0
[pid=7363] vsize: 6932
Current children cumulated CPU time (s) 370.44
Current children cumulated vsize (Kb) 9060

[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 883 0 0 0 4734 206 0 0 25 0 1 0 20628644 7098368 853 4294967295 134512640 134702520 3221223712 3221178828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1733 853 413 48 0 1685 0
[pid=7363] vsize: 6932
Current children cumulated CPU time (s) 379.34
Current children cumulated vsize (Kb) 9060

[startup+400.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 886 0 0 0 5660 233 0 0 25 0 1 0 20628644 7098368 856 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1733 856 413 48 0 1685 0
[pid=7363] vsize: 6932
Current children cumulated CPU time (s) 388.87
Current children cumulated vsize (Kb) 9060

[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 890 0 0 0 6519 280 0 0 25 0 1 0 20628644 7098368 860 4294967295 134512640 134702520 3221223712 3221171468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1733 860 413 48 0 1685 0
[pid=7363] vsize: 6932
Current children cumulated CPU time (s) 397.93
Current children cumulated vsize (Kb) 9060

[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 895 0 0 0 7423 313 0 0 23 0 1 0 20628644 7098368 865 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1733 865 413 48 0 1685 0
[pid=7363] vsize: 6932
Current children cumulated CPU time (s) 407.3
Current children cumulated vsize (Kb) 9060

[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 917 0 0 0 8250 371 0 0 25 0 1 0 20628644 7098368 887 4294967295 134512640 134702520 3221223712 3221135148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1733 887 413 48 0 1685 0
[pid=7363] vsize: 6932
Current children cumulated CPU time (s) 416.15
Current children cumulated vsize (Kb) 9060

[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 923 0 0 0 9090 425 0 0 19 0 1 0 20628644 7225344 893 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1764 893 413 48 0 1716 0
[pid=7363] vsize: 7056
Current children cumulated CPU time (s) 425.09
Current children cumulated vsize (Kb) 9184

[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 929 0 0 0 10003 453 0 0 25 0 1 0 20628644 7225344 899 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1764 899 413 48 0 1716 0
[pid=7363] vsize: 7056
Current children cumulated CPU time (s) 434.5
Current children cumulated vsize (Kb) 9184

[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 930 0 0 0 10868 497 0 0 21 0 1 0 20628644 7225344 900 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1764 900 413 48 0 1716 0
[pid=7363] vsize: 7056
Current children cumulated CPU time (s) 443.59
Current children cumulated vsize (Kb) 9184

[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 935 0 0 0 11719 542 0 0 25 0 1 0 20628644 7225344 905 4294967295 134512640 134702520 3221223712 3221055148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1764 905 413 48 0 1716 0
[pid=7363] vsize: 7056
Current children cumulated CPU time (s) 452.55
Current children cumulated vsize (Kb) 9184

[startup+480.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 945 0 0 0 12520 606 0 0 19 0 1 0 20628644 7225344 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1764 915 413 48 0 1716 0
[pid=7363] vsize: 7056
Current children cumulated CPU time (s) 461.2
Current children cumulated vsize (Kb) 9184

[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 949 0 0 0 13398 647 0 0 25 0 1 0 20628644 7340032 919 4294967295 134512640 134702520 3221223712 3221053236 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1792 919 413 48 0 1744 0
[pid=7363] vsize: 7168
Current children cumulated CPU time (s) 470.39
Current children cumulated vsize (Kb) 9296

[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 959 0 0 0 14268 689 0 0 22 0 1 0 20628644 7340032 929 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1792 929 413 48 0 1744 0
[pid=7363] vsize: 7168
Current children cumulated CPU time (s) 479.51
Current children cumulated vsize (Kb) 9296

[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 959 0 0 0 15174 723 0 0 25 0 1 0 20628644 7340032 929 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1792 929 413 48 0 1744 0
[pid=7363] vsize: 7168
Current children cumulated CPU time (s) 488.91
Current children cumulated vsize (Kb) 9296

[startup+520.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 963 0 0 0 16015 773 0 0 20 0 1 0 20628644 7340032 933 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1792 933 413 48 0 1744 0
[pid=7363] vsize: 7168
Current children cumulated CPU time (s) 497.82
Current children cumulated vsize (Kb) 9296

[startup+530.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 972 0 0 0 16859 827 0 0 25 0 1 0 20628644 7340032 942 4294967295 134512640 134702520 3221223712 3221112588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1792 942 413 48 0 1744 0
[pid=7363] vsize: 7168
Current children cumulated CPU time (s) 506.8
Current children cumulated vsize (Kb) 9296

[startup+540.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 987 0 0 0 17711 876 0 0 20 0 1 0 20628644 7340032 957 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1792 957 413 48 0 1744 0
[pid=7363] vsize: 7168
Current children cumulated CPU time (s) 515.81
Current children cumulated vsize (Kb) 9296

[startup+550.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 999 0 0 0 18566 924 0 0 25 0 1 0 20628644 7471104 969 4294967295 134512640 134702520 3221223712 3221155488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1824 969 413 48 0 1776 0
[pid=7363] vsize: 7296
Current children cumulated CPU time (s) 524.84
Current children cumulated vsize (Kb) 9424

[startup+560.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1002 0 0 0 19492 947 0 0 25 0 1 0 20628644 7471104 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1824 972 413 48 0 1776 0
[pid=7363] vsize: 7296
Current children cumulated CPU time (s) 534.33
Current children cumulated vsize (Kb) 9424

[startup+570.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1006 0 0 0 20362 989 0 0 25 0 1 0 20628644 7471104 976 4294967295 134512640 134702520 3221223712 3221096748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1824 976 413 48 0 1776 0
[pid=7363] vsize: 7296
Current children cumulated CPU time (s) 543.45
Current children cumulated vsize (Kb) 9424

[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1012 0 0 0 21203 1042 0 0 20 0 1 0 20628644 7471104 982 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1824 982 413 48 0 1776 0
[pid=7363] vsize: 7296
Current children cumulated CPU time (s) 552.39
Current children cumulated vsize (Kb) 9424

[startup+590.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1020 0 0 0 22025 1101 0 0 25 0 1 0 20628644 7471104 990 4294967295 134512640 134702520 3221223712 3221165548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1824 990 413 48 0 1776 0
[pid=7363] vsize: 7296
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (Kb) 9424

[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1045 0 0 0 22919 1134 0 0 25 0 1 0 20628644 7589888 1015 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1853 1015 413 48 0 1805 0
[pid=7363] vsize: 7412
Current children cumulated CPU time (s) 570.47
Current children cumulated vsize (Kb) 9540

[startup+610.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1057 0 0 0 23794 1177 0 0 25 0 1 0 20628644 7589888 1027 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1853 1027 413 48 0 1805 0
[pid=7363] vsize: 7412
Current children cumulated CPU time (s) 579.65
Current children cumulated vsize (Kb) 9540

[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1057 0 0 0 24700 1207 0 0 25 0 1 0 20628644 7589888 1027 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1853 1027 413 48 0 1805 0
[pid=7363] vsize: 7412
Current children cumulated CPU time (s) 589.01
Current children cumulated vsize (Kb) 9540

[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1066 0 0 0 25469 1283 0 0 18 0 1 0 20628644 7589888 1036 4294967295 134512640 134702520 3221223712 3221223112 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1853 1036 413 48 0 1805 0
[pid=7363] vsize: 7412
Current children cumulated CPU time (s) 597.46
Current children cumulated vsize (Kb) 9540

[startup+640.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1081 0 0 0 26335 1327 0 0 25 0 1 0 20628644 7589888 1051 4294967295 134512640 134702520 3221223712 3221118188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1853 1051 413 48 0 1805 0
[pid=7363] vsize: 7412
Current children cumulated CPU time (s) 606.56
Current children cumulated vsize (Kb) 9540

[startup+650.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1101 0 0 0 27192 1375 0 0 22 0 1 0 20628644 7589888 1071 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1853 1071 413 48 0 1805 0
[pid=7363] vsize: 7412
Current children cumulated CPU time (s) 615.61
Current children cumulated vsize (Kb) 9540

[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1131 0 0 0 28007 1436 0 0 21 0 1 0 20628644 7999488 1101 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1953 1101 413 48 0 1905 0
[pid=7363] vsize: 7812
Current children cumulated CPU time (s) 624.37
Current children cumulated vsize (Kb) 9940

[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1139 0 0 0 28939 1459 0 0 25 0 1 0 20628644 7999488 1109 4294967295 134512640 134702520 3221223712 3221222608 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1953 1109 413 48 0 1905 0
[pid=7363] vsize: 7812
Current children cumulated CPU time (s) 633.92
Current children cumulated vsize (Kb) 9940

[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1142 0 0 0 29765 1513 0 0 19 0 1 0 20628644 7999488 1112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1953 1112 413 48 0 1905 0
[pid=7363] vsize: 7812
Current children cumulated CPU time (s) 642.72
Current children cumulated vsize (Kb) 9940

[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1146 0 0 0 30633 1557 0 0 25 0 1 0 20628644 7999488 1116 4294967295 134512640 134702520 3221223712 3220977408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1953 1116 413 48 0 1905 0
[pid=7363] vsize: 7812
Current children cumulated CPU time (s) 651.84
Current children cumulated vsize (Kb) 9940

[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1152 0 0 0 31466 1612 0 0 20 0 1 0 20628644 7999488 1122 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1953 1122 413 48 0 1905 0
[pid=7363] vsize: 7812
Current children cumulated CPU time (s) 660.72
Current children cumulated vsize (Kb) 9940

[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1171 0 0 0 32336 1656 0 0 25 0 1 0 20628644 7999488 1141 4294967295 134512640 134702520 3221223712 3221075008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1953 1141 413 48 0 1905 0
[pid=7363] vsize: 7812
Current children cumulated CPU time (s) 669.86
Current children cumulated vsize (Kb) 9940

[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1179 0 0 0 33206 1699 0 0 25 0 1 0 20628644 8151040 1149 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1990 1149 413 48 0 1942 0
[pid=7363] vsize: 7960
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (Kb) 10088

[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1179 0 0 0 34109 1732 0 0 25 0 1 0 20628644 8151040 1149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1990 1149 413 48 0 1942 0
[pid=7363] vsize: 7960
Current children cumulated CPU time (s) 688.35
Current children cumulated vsize (Kb) 10088

[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1184 0 0 0 34939 1786 0 0 22 0 1 0 20628644 8151040 1154 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1990 1154 413 48 0 1942 0
[pid=7363] vsize: 7960
Current children cumulated CPU time (s) 697.19
Current children cumulated vsize (Kb) 10088

[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1197 0 0 0 35777 1842 0 0 20 0 1 0 20628644 8151040 1167 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1990 1167 413 48 0 1942 0
[pid=7363] vsize: 7960
Current children cumulated CPU time (s) 706.13
Current children cumulated vsize (Kb) 10088

[startup+760.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1202 0 0 0 36664 1879 0 0 25 0 1 0 20628644 8151040 1172 4294967295 134512640 134702520 3221223712 3220980588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 1990 1172 413 48 0 1942 0
[pid=7363] vsize: 7960
Current children cumulated CPU time (s) 715.37
Current children cumulated vsize (Kb) 10088

[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1209 0 0 0 37439 1956 0 0 19 0 1 0 20628644 8151040 1179 4294967295 134512640 134702520 3221223712 3221223112 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 1990 1179 413 48 0 1942 0
[pid=7363] vsize: 7960
Current children cumulated CPU time (s) 723.89
Current children cumulated vsize (Kb) 10088

[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1214 0 0 0 38351 1984 0 0 25 0 1 0 20628644 8298496 1184 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2026 1184 413 48 0 1978 0
[pid=7363] vsize: 8104
Current children cumulated CPU time (s) 733.29
Current children cumulated vsize (Kb) 10232

[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1215 0 0 0 39217 2026 0 0 19 0 1 0 20628644 8245248 1185 4294967295 134512640 134702520 3221223712 3221223112 134607237 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2013 1185 413 48 0 1965 0
[pid=7363] vsize: 8052
Current children cumulated CPU time (s) 742.37
Current children cumulated vsize (Kb) 10180

[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1222 0 0 0 40077 2072 0 0 25 0 1 0 20628644 8245248 1192 4294967295 134512640 134702520 3221223712 3221095968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2013 1192 413 48 0 1965 0
[pid=7363] vsize: 8052
Current children cumulated CPU time (s) 751.43
Current children cumulated vsize (Kb) 10180

[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1227 0 0 0 40909 2125 0 0 22 0 1 0 20628644 8245248 1197 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2013 1197 413 48 0 1965 0
[pid=7363] vsize: 8052
Current children cumulated CPU time (s) 760.28
Current children cumulated vsize (Kb) 10180

[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1234 0 0 0 41695 2198 0 0 17 0 1 0 20628644 8245248 1204 4294967295 134512640 134702520 3221223712 3221217068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2013 1204 413 48 0 1965 0
[pid=7363] vsize: 8052
Current children cumulated CPU time (s) 768.87
Current children cumulated vsize (Kb) 10180

[startup+830.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1241 0 0 0 42547 2246 0 0 25 0 1 0 20628644 8245248 1211 4294967295 134512640 134702520 3221223712 3221029408 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2013 1211 413 48 0 1965 0
[pid=7363] vsize: 8052
Current children cumulated CPU time (s) 777.87
Current children cumulated vsize (Kb) 10180

[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1243 0 0 0 43454 2279 0 0 25 0 1 0 20628644 8384512 1213 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2047 1213 413 48 0 1999 0
[pid=7363] vsize: 8188
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 10316

[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1270 0 0 0 44291 2335 0 0 25 0 1 0 20628644 8355840 1240 4294967295 134512640 134702520 3221223712 3221129088 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2040 1240 413 48 0 1992 0
[pid=7363] vsize: 8160
Current children cumulated CPU time (s) 796.2
Current children cumulated vsize (Kb) 10288

[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1273 0 0 0 45143 2384 0 0 22 0 1 0 20628644 8355840 1243 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2040 1243 413 48 0 1992 0
[pid=7363] vsize: 8160
Current children cumulated CPU time (s) 805.21
Current children cumulated vsize (Kb) 10288

[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1280 0 0 0 45922 2453 0 0 18 0 1 0 20628644 8355840 1250 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2040 1250 413 48 0 1992 0
[pid=7363] vsize: 8160
Current children cumulated CPU time (s) 813.69
Current children cumulated vsize (Kb) 10288

[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1287 0 0 0 46782 2500 0 0 25 0 1 0 20628644 8355840 1257 4294967295 134512640 134702520 3221223712 3221065728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2040 1257 413 48 0 1992 0
[pid=7363] vsize: 8160
Current children cumulated CPU time (s) 822.76
Current children cumulated vsize (Kb) 10288

[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1295 0 0 0 47648 2544 0 0 25 0 1 0 20628644 8499200 1265 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2075 1265 413 48 0 2027 0
[pid=7363] vsize: 8300
Current children cumulated CPU time (s) 831.86
Current children cumulated vsize (Kb) 10428

[startup+900.077 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1295 0 0 0 48555 2575 0 0 25 0 1 0 20628644 8499200 1265 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2075 1265 413 48 0 2027 0
[pid=7363] vsize: 8300
Current children cumulated CPU time (s) 841.24
Current children cumulated vsize (Kb) 10428

[startup+910.079 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1303 0 0 0 49377 2635 0 0 20 0 1 0 20628644 8474624 1273 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2069 1273 413 48 0 2021 0
[pid=7363] vsize: 8276
Current children cumulated CPU time (s) 850.06
Current children cumulated vsize (Kb) 10404

[startup+920.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1309 0 0 0 50221 2687 0 0 25 0 1 0 20628644 8474624 1279 4294967295 134512640 134702520 3221223712 3221161888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2069 1279 413 48 0 2021 0
[pid=7363] vsize: 8276
Current children cumulated CPU time (s) 859.02
Current children cumulated vsize (Kb) 10404

[startup+930.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1325 0 0 0 51104 2727 0 0 24 0 1 0 20628644 8474624 1295 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2069 1295 413 48 0 2021 0
[pid=7363] vsize: 8276
Current children cumulated CPU time (s) 868.25
Current children cumulated vsize (Kb) 10404

[startup+940.081 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1347 0 0 0 51886 2800 0 0 17 0 1 0 20628644 8474624 1317 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2069 1317 413 48 0 2021 0
[pid=7363] vsize: 8276
Current children cumulated CPU time (s) 876.8
Current children cumulated vsize (Kb) 10404

[startup+950.081 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1351 0 0 0 52802 2828 0 0 25 0 1 0 20628644 8622080 1321 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2105 1321 413 48 0 2057 0
[pid=7363] vsize: 8420
Current children cumulated CPU time (s) 886.24
Current children cumulated vsize (Kb) 10548

[startup+960.082 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1355 0 0 0 53652 2879 0 0 20 0 1 0 20628644 8597504 1325 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2099 1325 413 48 0 2051 0
[pid=7363] vsize: 8396
Current children cumulated CPU time (s) 895.25
Current children cumulated vsize (Kb) 10524

[startup+970.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1361 0 0 0 54511 2924 0 0 25 0 1 0 20628644 8597504 1331 4294967295 134512640 134702520 3221223712 3221100448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2099 1331 413 48 0 2051 0
[pid=7363] vsize: 8396
Current children cumulated CPU time (s) 904.29
Current children cumulated vsize (Kb) 10524

[startup+980.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1367 0 0 0 55384 2964 0 0 21 0 1 0 20628644 8597504 1337 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2099 1337 413 48 0 2051 0
[pid=7363] vsize: 8396
Current children cumulated CPU time (s) 913.42
Current children cumulated vsize (Kb) 10524

[startup+990.085 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1373 0 0 0 56190 3029 0 0 20 0 1 0 20628644 8597504 1343 4294967295 134512640 134702520 3221223712 3221222832 134573865 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2099 1343 413 48 0 2051 0
[pid=7363] vsize: 8396
Current children cumulated CPU time (s) 922.13
Current children cumulated vsize (Kb) 10524

[startup+1000.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1379 0 0 0 57022 3083 0 0 25 0 1 0 20628644 8597504 1349 4294967295 134512640 134702520 3221223712 3221171636 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2099 1349 413 48 0 2051 0
[pid=7363] vsize: 8396
Current children cumulated CPU time (s) 930.99
Current children cumulated vsize (Kb) 10524

[startup+1010.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1382 0 0 0 57946 3109 0 0 25 0 1 0 20628644 8740864 1352 4294967295 134512640 134702520 3221223712 3221222608 134553140 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2134 1352 413 48 0 2086 0
[pid=7363] vsize: 8536
Current children cumulated CPU time (s) 940.49
Current children cumulated vsize (Kb) 10664

[startup+1020.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1408 0 0 0 58774 3167 0 0 20 0 1 0 20628644 8716288 1378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2128 1378 413 48 0 2080 0
[pid=7363] vsize: 8512
Current children cumulated CPU time (s) 949.35
Current children cumulated vsize (Kb) 10640

[startup+1030.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1410 0 0 0 59651 3206 0 0 25 0 1 0 20628644 8716288 1380 4294967295 134512640 134702520 3221223712 3220982828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2128 1380 413 48 0 2080 0
[pid=7363] vsize: 8512
Current children cumulated CPU time (s) 958.51
Current children cumulated vsize (Kb) 10640

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1416 0 0 0 60454 3269 0 0 18 0 1 0 20628644 8716288 1386 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2128 1386 413 48 0 2080 0
[pid=7363] vsize: 8512
Current children cumulated CPU time (s) 967.17
Current children cumulated vsize (Kb) 10640

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1421 0 0 0 61265 3330 0 0 20 0 1 0 20628644 8716288 1391 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2128 1391 413 48 0 2080 0
[pid=7363] vsize: 8512
Current children cumulated CPU time (s) 975.89
Current children cumulated vsize (Kb) 10640

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1425 0 0 0 62122 3379 0 0 25 0 1 0 20628644 8716288 1395 4294967295 134512640 134702520 3221223712 3221043008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2128 1395 413 48 0 2080 0
[pid=7363] vsize: 8512
Current children cumulated CPU time (s) 984.95
Current children cumulated vsize (Kb) 10640

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1427 0 0 0 63030 3407 0 0 25 0 1 0 20628644 8863744 1397 4294967295 134512640 134702520 3221223712 3221222608 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2164 1397 413 48 0 2116 0
[pid=7363] vsize: 8656
Current children cumulated CPU time (s) 994.31
Current children cumulated vsize (Kb) 10784

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1431 0 0 0 63837 3473 0 0 25 0 1 0 20628644 8814592 1401 4294967295 134512640 134702520 3221223712 3221161548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2152 1401 413 48 0 2104 0
[pid=7363] vsize: 8608
Current children cumulated CPU time (s) 1003.04
Current children cumulated vsize (Kb) 10736

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1434 0 0 0 64669 3531 0 0 25 0 1 0 20628644 8814592 1404 4294967295 134512640 134702520 3221223712 3221067968 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2152 1404 413 48 0 2104 0
[pid=7363] vsize: 8608
Current children cumulated CPU time (s) 1011.94
Current children cumulated vsize (Kb) 10736

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1444 0 0 0 65467 3596 0 0 23 0 1 0 20628644 8814592 1414 4294967295 134512640 134702520 3221223712 3221223112 134607196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2152 1414 413 48 0 2104 0
[pid=7363] vsize: 8608
Current children cumulated CPU time (s) 1020.57
Current children cumulated vsize (Kb) 10736

[startup+1110.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1451 0 0 0 66203 3679 0 0 19 0 1 0 20628644 8814592 1421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2152 1421 413 48 0 2104 0
[pid=7363] vsize: 8608
Current children cumulated CPU time (s) 1028.76
Current children cumulated vsize (Kb) 10736

[startup+1120.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1457 0 0 0 67027 3737 0 0 25 0 1 0 20628644 8921088 1427 4294967295 134512640 134702520 3221223712 3221158348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2178 1427 413 48 0 2130 0
[pid=7363] vsize: 8712
Current children cumulated CPU time (s) 1037.58
Current children cumulated vsize (Kb) 10840

[startup+1130.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1461 0 0 0 67951 3764 0 0 25 0 1 0 20628644 8921088 1431 4294967295 134512640 134702520 3221223712 3221222608 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2178 1431 413 48 0 2130 0
[pid=7363] vsize: 8712
Current children cumulated CPU time (s) 1047.09
Current children cumulated vsize (Kb) 10840

[startup+1140.1 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1464 0 0 0 68779 3822 0 0 17 0 1 0 20628644 8921088 1434 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2178 1434 413 48 0 2130 0
[pid=7363] vsize: 8712
Current children cumulated CPU time (s) 1055.95
Current children cumulated vsize (Kb) 10840

[startup+1150.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1467 0 0 0 69614 3877 0 0 25 0 1 0 20628644 8921088 1437 4294967295 134512640 134702520 3221223712 3221104608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2178 1437 413 48 0 2130 0
[pid=7363] vsize: 8712
Current children cumulated CPU time (s) 1064.85
Current children cumulated vsize (Kb) 10840

[startup+1160.1 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1474 0 0 0 70467 3928 0 0 20 0 1 0 20628644 8921088 1444 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2178 1444 413 48 0 2130 0
[pid=7363] vsize: 8712
Current children cumulated CPU time (s) 1073.89
Current children cumulated vsize (Kb) 10840

[startup+1170.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1478 0 0 0 71310 3978 0 0 22 0 1 0 20628644 8921088 1448 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2178 1448 413 48 0 2130 0
[pid=7363] vsize: 8712
Current children cumulated CPU time (s) 1082.82
Current children cumulated vsize (Kb) 10840

[startup+1180.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1483 0 0 0 72157 4027 0 0 25 0 1 0 20628644 9035776 1453 4294967295 134512640 134702520 3221223712 3221114348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2206 1453 413 48 0 2158 0
[pid=7363] vsize: 8824
Current children cumulated CPU time (s) 1091.78
Current children cumulated vsize (Kb) 10952

[startup+1190.1 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1486 0 0 0 73076 4055 0 0 25 0 1 0 20628644 9035776 1456 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2206 1456 413 48 0 2158 0
[pid=7363] vsize: 8824
Current children cumulated CPU time (s) 1101.25
Current children cumulated vsize (Kb) 10952

[startup+1200.11 s]
Raw data (loadavg): 1.09 1.02 1.01 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1489 0 0 0 73841 4128 0 0 19 0 1 0 20628644 9035776 1459 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2206 1459 413 48 0 2158 0
[pid=7363] vsize: 8824
Current children cumulated CPU time (s) 1109.63
Current children cumulated vsize (Kb) 10952

[startup+1210.11 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1492 0 0 0 74707 4173 0 0 25 0 1 0 20628644 9035776 1462 4294967295 134512640 134702520 3221223712 3221061248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2206 1462 413 48 0 2158 0
[pid=7363] vsize: 8824
Current children cumulated CPU time (s) 1118.74
Current children cumulated vsize (Kb) 10952

[startup+1220.11 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1531 0 0 0 75556 4223 0 0 25 0 1 0 20628644 9035776 1501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2206 1501 413 48 0 2158 0
[pid=7363] vsize: 8824
Current children cumulated CPU time (s) 1127.73
Current children cumulated vsize (Kb) 10952

[startup+1230.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1540 0 0 0 76354 4288 0 0 20 0 1 0 20628644 9035776 1510 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2206 1510 413 48 0 2158 0
[pid=7363] vsize: 8824
Current children cumulated CPU time (s) 1136.36
Current children cumulated vsize (Kb) 10952

[startup+1240.11 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1547 0 0 0 77159 4350 0 0 20 0 1 0 20628644 9154560 1517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2235 1517 413 48 0 2187 0
[pid=7363] vsize: 8940
Current children cumulated CPU time (s) 1145.03
Current children cumulated vsize (Kb) 11068

[startup+1250.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1551 0 0 0 78063 4379 0 0 25 0 1 0 20628644 9154560 1521 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2235 1521 413 48 0 2187 0
[pid=7363] vsize: 8940
Current children cumulated CPU time (s) 1154.36
Current children cumulated vsize (Kb) 11068

[startup+1260.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1554 0 0 0 78902 4435 0 0 18 0 1 0 20628644 9154560 1524 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2235 1524 413 48 0 2187 0
[pid=7363] vsize: 8940
Current children cumulated CPU time (s) 1163.31
Current children cumulated vsize (Kb) 11068

[startup+1270.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1562 0 0 0 79656 4513 0 0 21 0 1 0 20628644 9154560 1532 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2235 1532 413 48 0 2187 0
[pid=7363] vsize: 8940
Current children cumulated CPU time (s) 1171.63
Current children cumulated vsize (Kb) 11068

[startup+1280.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1566 0 0 0 80438 4583 0 0 17 0 1 0 20628644 9154560 1536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2235 1536 413 48 0 2187 0
[pid=7363] vsize: 8940
Current children cumulated CPU time (s) 1180.15
Current children cumulated vsize (Kb) 11068

[startup+1290.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) T 7358 7358 4060 0 -1 0 1575 0 0 0 81249 4643 0 0 20 0 1 0 20628644 9289728 1545 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2268 1545 413 48 0 2220 0
[pid=7363] vsize: 9072
Current children cumulated CPU time (s) 1188.86
Current children cumulated vsize (Kb) 11200

[startup+1300.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1585 0 0 0 82028 4714 0 0 23 0 1 0 20628644 9289728 1555 4294967295 134512640 134702520 3221223712 3221196608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7363/statm): 2268 1555 413 48 0 2220 0
[pid=7363] vsize: 9072
Current children cumulated CPU time (s) 1197.36
Current children cumulated vsize (Kb) 11200

[startup+1310.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1594 0 0 0 82902 4755 0 0 25 0 1 0 20628644 9289728 1564 4294967295 134512640 134702520 3221223712 3220988596 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2268 1564 413 48 0 2220 0
[pid=7363] vsize: 9072
Current children cumulated CPU time (s) 1206.51
Current children cumulated vsize (Kb) 11200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7363
Raw data (/proc/7358/stat): 7358 (vallstSAT2005PB) S 7357 7358 4060 0 -1 0 378 1405 0 0 1 1 32680 312 19 0 1 0 20595001 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7358/statm): 532 248 485 147 0 385 0
[pid=7358] vsize: 2128
Raw data (/proc/7363/stat): 7363 (vallst) R 7358 7358 4060 0 -1 0 1594 0 0 0 82902 4755 0 0 25 0 1 0 20628644 9289728 1564 4294967295 134512640 134702520 3221223712 3220988596 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7363/statm): 2268 1564 413 48 0 2220 0
[pid=7363] vsize: 9072
Current children cumulated CPU time (s) 1206.51
Current children cumulated vsize (Kb) 11200

Sending SIGTERM to -7358
Sleeping 2 seconds
New process pid=7365
New process pid=7366
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/7319/stat
open syscall for file /proc/7319/status
open syscall for file /proc/7319/cmdline
open syscall for file /proc/7319/environ
open syscall for file /proc/7357/stat
open syscall for file /proc/7357/status
open syscall for file /proc/7357/cmdline
open syscall for file /proc/7357/environ
open syscall for file /proc/7358/stat
open syscall for file /proc/7358/status
open syscall for file /proc/7358/cmdline
open syscall for file /proc/7358/environ
open syscall for file /proc/7363/stat
open syscall for file /proc/7363/status
open syscall for file /proc/7363/cmdline
open syscall for file /proc/7363/environ
open syscall for file /proc/7365/stat
open syscall for file /proc/7365/status
open syscall for file /proc/7365/cmdline
open syscall for file /proc/7365/environ
open syscall for file /proc/7366/stat
open syscall for file /proc/7366/status
open syscall for file /proc/7366/cmdline
open syscall for file /proc/7366/environ
One traced child (pid=7366) exited with status: 0
One traced child (pid=7365) exited with status: 0
New process pid=7367
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=7367) exited with status: 0
New process pid=7368
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=7368) exited with status: 0
One traced child (pid=7358) ended because it received signal 15 (SIGTERM)
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=7363) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1310.74
CPU time (s): 877.199
CPU user time (s): 829.641
CPU system time (s): 47.5578
CPU usage (%): 66.9239
Max. virtual memory (cumulated for all children) (Kb): 11200

Verifier Data

ERROR: no interpretation found !