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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
MD5SUM4e03f8e015510f52ff53e17d84030db1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6605302314393600
Optimality of the best value was proved NO
Number of terms in the objective function 42650
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 4779625155602030788608
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 4779727555602030788608
Number of bits of the biggest sum of numbers73
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1229.28
Number of variables42650
Total number of constraints7313
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6111
Number of constraints which are nor clauses,nor cardinality constraints1202
Minimum length of a constraint1
Maximum length of a constraint42650

Trace number 9081

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        941100 kB
Buffers:          9368 kB
Cached:          67132 kB
SwapCached:          0 kB
Active:          48420 kB
Inactive:        30936 kB
HighTotal:      131008 kB
HighFree:        59920 kB
LowTotal:       903652 kB
LowFree:        881180 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8536 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:12:45 (client local time) WITH STATUS 0 IN 381.227 SECONDS
stats: 7782 7 381.227 0

Solver Data

1:
seed: 0
Nr of vars set: 17131  (#equs: 0)
Nr of vars set: 17131  (#equs: 0)
#decisions: 11975;  #end-nodes: 8811;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 2399, #non-axs: 0
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: 17131  (#equs: 0)
Time taken: 13 min, 49 sec

2:

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/4674/stat): 4674 (vallstSAT2005PB) R 4673 4674 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19627913 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4674/statm): 174 3 169 147 0 27 0
[pid=4674] 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=4675
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=4675) exited with status: 0
New process pid=4676
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=4676) exited with status: 0
New process pid=4677
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-biella1.opb

[startup+10.0034 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2314 0 0 0 974 12 0 0 25 0 1 0 19627921 13365248 2155 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3263 2155 413 48 0 3215 0
[pid=4677] vsize: 13052
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 15180
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.004 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 1967 18 0 0 25 0 1 0 19627921 13451264 2509 4294967295 134512640 134702520 3221223952 3221137228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3284 2509 413 48 0 3236 0
[pid=4677] vsize: 13136
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 15264

[startup+30.0036 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2812 0 0 0 2967 18 0 0 25 0 1 0 19627921 13594624 2544 4294967295 134512640 134702520 3221223952 3220992288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3319 2544 413 48 0 3271 0
[pid=4677] vsize: 13276
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 15404

[startup+40.0043 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2851 0 0 0 3966 18 0 0 25 0 1 0 19627921 13754368 2583 4294967295 134512640 134702520 3221223952 3220834368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3358 2583 413 48 0 3310 0
[pid=4677] vsize: 13432
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 15560

[startup+50.0049 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2893 0 0 0 4966 18 0 0 25 0 1 0 19627921 13926400 2625 4294967295 134512640 134702520 3221223952 3220663788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3400 2625 413 48 0 3352 0
[pid=4677] vsize: 13600
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 15728

[startup+60.0065 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2938 0 0 0 5967 18 0 0 25 0 1 0 19627921 14110720 2670 4294967295 134512640 134702520 3221223952 3220477088 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3445 2670 413 48 0 3397 0
[pid=4677] vsize: 13780
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 15908

[startup+70.0072 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 2989 0 0 0 6967 18 0 0 25 0 1 0 19627921 14319616 2721 4294967295 134512640 134702520 3221223952 3220270208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 3496 2721 413 48 0 3448 0
[pid=4677] vsize: 13984
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 16112

[startup+80.0078 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3046 0 0 0 7966 18 0 0 25 0 1 0 19627921 14553088 2778 4294967295 134512640 134702520 3221223952 3220036588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 3553 2778 413 48 0 3505 0
[pid=4677] vsize: 14212
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 16340

[startup+90.0084 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3113 0 0 0 8967 19 0 0 25 0 1 0 19627921 14827520 2845 4294967295 134512640 134702520 3221223952 3219762988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 3620 2845 413 48 0 3572 0
[pid=4677] vsize: 14480
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (Kb) 16608

[startup+100.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3198 0 0 0 9967 19 0 0 25 0 1 0 19627921 15175680 2930 4294967295 134512640 134702520 3221223952 3219412288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 3705 2930 413 48 0 3657 0
[pid=4677] vsize: 14820
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (Kb) 16948

[startup+110.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3352 0 0 0 10966 19 0 0 25 0 1 0 19627921 15806464 3084 4294967295 134512640 134702520 3221223952 3218781728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 3859 3084 413 48 0 3811 0
[pid=4677] vsize: 15436
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (Kb) 17564

[startup+120.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 11959 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3221118608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 119.82
Current children cumulated vsize (Kb) 28960

[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 12959 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220991228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 129.82
Current children cumulated vsize (Kb) 28960

[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 13959 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220857648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 139.82
Current children cumulated vsize (Kb) 28960

[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 14959 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220716528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 149.82
Current children cumulated vsize (Kb) 28960

[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 15959 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220566748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 159.82
Current children cumulated vsize (Kb) 28960

[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 16960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220406588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 28960

[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 17960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220234448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 179.83
Current children cumulated vsize (Kb) 28960

[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 18960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3220046928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 189.83
Current children cumulated vsize (Kb) 28960

[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 19960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3219839408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (Kb) 28960

[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 20960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3219602908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 209.83
Current children cumulated vsize (Kb) 28960

[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 21960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3219322288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 219.83
Current children cumulated vsize (Kb) 28960

[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3452 0 0 0 22960 21 0 0 25 0 1 0 19627921 27475968 3184 4294967295 134512640 134702520 3221223952 3218737648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3184 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 229.83
Current children cumulated vsize (Kb) 28960

[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 23951 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3221114288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 239.78
Current children cumulated vsize (Kb) 28960

[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 24952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220986768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 249.79
Current children cumulated vsize (Kb) 28960

[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 25952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220852848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 259.79
Current children cumulated vsize (Kb) 28960

[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 26952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220711568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (Kb) 28960

[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 27952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220561488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (Kb) 28960

[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 28952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220401008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 289.79
Current children cumulated vsize (Kb) 28960

[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 29952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220228528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 28960

[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 30952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220040368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 309.79
Current children cumulated vsize (Kb) 28960

[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 31952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3219832028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 319.79
Current children cumulated vsize (Kb) 28960

[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 32952 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3219594288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 329.79
Current children cumulated vsize (Kb) 28960

[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 33953 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3219311888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (Kb) 28960

[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 34953 25 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3218679888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 349.8
Current children cumulated vsize (Kb) 28960

[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 35945 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3221110268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 359.74
Current children cumulated vsize (Kb) 28960

[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 36945 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220982448 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 369.74
Current children cumulated vsize (Kb) 28960

[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 37946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220848348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 379.75
Current children cumulated vsize (Kb) 28960

[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 38946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220706928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 389.75
Current children cumulated vsize (Kb) 28960

[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 39946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220556368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 399.75
Current children cumulated vsize (Kb) 28960

[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 40946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220395568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 409.75
Current children cumulated vsize (Kb) 28960

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 41946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220222588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 419.75
Current children cumulated vsize (Kb) 28960

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 42946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3220033968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 429.75
Current children cumulated vsize (Kb) 28960

[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 43946 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3219824688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 439.75
Current children cumulated vsize (Kb) 28960

[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 44953 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3219584048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 449.82
Current children cumulated vsize (Kb) 28960

[startup+460.1 s]
Raw data (loadavg): 1.08 1.02 0.94 2/59 4731
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 45953 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3219302128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 459.82
Current children cumulated vsize (Kb) 28960

[startup+470.101 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 4732
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3453 0 0 0 46953 27 0 0 25 0 1 0 19627921 27475968 3185 4294967295 134512640 134702520 3221223952 3218631088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 6708 3185 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 469.82
Current children cumulated vsize (Kb) 28960

[startup+480.101 s]
Raw data (loadavg): 1.06 1.01 0.94 2/56 4732
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 47944 31 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3221109168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 479.77
Current children cumulated vsize (Kb) 28960

[startup+490.102 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 4732
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 48944 31 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220982608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 489.77
Current children cumulated vsize (Kb) 28960

[startup+500.102 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 4732
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 49945 31 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220849808 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 499.78
Current children cumulated vsize (Kb) 28960

[startup+510.103 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 4734
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 50944 31 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220709488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 509.77
Current children cumulated vsize (Kb) 28960

[startup+520.104 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 4736
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 51944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220559072 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (Kb) 28960

[startup+530.104 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 52944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220398588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 529.78
Current children cumulated vsize (Kb) 28960

[startup+540.105 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 53944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220225788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 539.78
Current children cumulated vsize (Kb) 28960

[startup+550.106 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 54944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3220037488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 549.78
Current children cumulated vsize (Kb) 28960

[startup+560.106 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 55944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3219828668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 559.78
Current children cumulated vsize (Kb) 28960

[startup+570.107 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 56944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3219590608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 569.78
Current children cumulated vsize (Kb) 28960

[startup+580.106 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 57944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3219307228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 579.78
Current children cumulated vsize (Kb) 28960

[startup+590.107 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3454 0 0 0 58944 32 0 0 25 0 1 0 19627921 27475968 3186 4294967295 134512640 134702520 3221223952 3218647888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3186 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 589.78
Current children cumulated vsize (Kb) 28960

[startup+600.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 59935 35 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3221109168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 599.72
Current children cumulated vsize (Kb) 28960

[startup+610.108 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 60936 35 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220981328 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 609.73
Current children cumulated vsize (Kb) 28960

[startup+620.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 61936 35 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220847248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 619.73
Current children cumulated vsize (Kb) 28960

[startup+630.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 62936 35 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220705648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 629.73
Current children cumulated vsize (Kb) 28960

[startup+640.109 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 63936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220555088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 639.74
Current children cumulated vsize (Kb) 28960

[startup+650.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 64936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220394108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 649.74
Current children cumulated vsize (Kb) 28960

[startup+660.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 65936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220220828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 659.74
Current children cumulated vsize (Kb) 28960

[startup+670.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 66936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3220032048 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 669.74
Current children cumulated vsize (Kb) 28960

[startup+680.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 67936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3219822748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 679.74
Current children cumulated vsize (Kb) 28960

[startup+690.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 68936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3219583548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 689.74
Current children cumulated vsize (Kb) 28960

[startup+700.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 69936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3219298588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 699.74
Current children cumulated vsize (Kb) 28960

[startup+710.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3471 0 0 0 70936 36 0 0 25 0 1 0 19627921 27475968 3203 4294967295 134512640 134702520 3221223952 3218559396 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3203 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 709.74
Current children cumulated vsize (Kb) 28960

[startup+720.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 71926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3221106428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 719.67
Current children cumulated vsize (Kb) 28960

[startup+730.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 72926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220978588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 729.67
Current children cumulated vsize (Kb) 28960

[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 73926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220844368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 739.67
Current children cumulated vsize (Kb) 28960

[startup+750.116 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 74926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220702608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 749.67
Current children cumulated vsize (Kb) 28960

[startup+760.117 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 75926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220551728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 759.67
Current children cumulated vsize (Kb) 28960

[startup+770.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 76926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220390608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 769.67
Current children cumulated vsize (Kb) 28960

[startup+780.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 77926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220217168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 779.67
Current children cumulated vsize (Kb) 28960

[startup+790.119 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 78926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3220028048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 789.67
Current children cumulated vsize (Kb) 28960

[startup+800.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 79926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3219818128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 799.67
Current children cumulated vsize (Kb) 28960

[startup+810.121 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4738
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 80926 39 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3219578276 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 809.67
Current children cumulated vsize (Kb) 28960

[startup+820.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4740
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3512 0 0 0 81926 40 0 0 25 0 1 0 19627921 27475968 3244 4294967295 134512640 134702520 3221223952 3219292208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6708 3244 413 48 0 6660 0
[pid=4677] vsize: 26832
Current children cumulated CPU time (s) 819.68
Current children cumulated vsize (Kb) 28960
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+830.122 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4740
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19627913 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4059 0 -1 0 3514 0 0 0 82924 42 0 0 25 0 1 0 19627921 27480064 3246 4294967295 134512640 134702520 3221223952 3221222040 1074339253 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 6709 3246 413 48 0 6661 0
[pid=4677] vsize: 26836
Current children cumulated CPU time (s) 829.68
Current children cumulated vsize (Kb) 28964
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4677) exited with status: 2
New process pid=4741
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=4741) exited with status: 0
New process pid=4742
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+840.123 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2088 0 0 0 928 11 0 0 25 0 1 0 19710994 10940416 2058 4294967295 134512640 134702520 3221223712 3221139248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 2671 2058 413 48 0 2623 0
[pid=4742] vsize: 10684
Current children cumulated CPU time (s) 839.59
Current children cumulated vsize (Kb) 12812

[startup+850.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2124 0 0 0 1928 11 0 0 25 0 1 0 19710994 11087872 2094 4294967295 134512640 134702520 3221223712 3220991248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 2707 2094 413 48 0 2659 0
[pid=4742] vsize: 10828
Current children cumulated CPU time (s) 849.59
Current children cumulated vsize (Kb) 12956

[startup+860.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2162 0 0 0 2928 11 0 0 25 0 1 0 19710994 11243520 2132 4294967295 134512640 134702520 3221223712 3220832988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 2745 2132 413 48 0 2697 0
[pid=4742] vsize: 10980
Current children cumulated CPU time (s) 859.59
Current children cumulated vsize (Kb) 13108

[startup+870.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2204 0 0 0 3928 11 0 0 25 0 1 0 19710994 11415552 2174 4294967295 134512640 134702520 3221223712 3220663088 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 2787 2174 413 48 0 2739 0
[pid=4742] vsize: 11148
Current children cumulated CPU time (s) 869.59
Current children cumulated vsize (Kb) 13276

[startup+880.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2249 0 0 0 4928 11 0 0 25 0 1 0 19710994 11599872 2219 4294967295 134512640 134702520 3221223712 3220478128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 2832 2219 413 48 0 2784 0
[pid=4742] vsize: 11328
Current children cumulated CPU time (s) 879.59
Current children cumulated vsize (Kb) 13456

[startup+890.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2299 0 0 0 5928 11 0 0 25 0 1 0 19710994 11804672 2269 4294967295 134512640 134702520 3221223712 3220273488 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 2882 2269 413 48 0 2834 0
[pid=4742] vsize: 11528
Current children cumulated CPU time (s) 889.59
Current children cumulated vsize (Kb) 13656

[startup+900.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2355 0 0 0 6928 11 0 0 25 0 1 0 19710994 12034048 2325 4294967295 134512640 134702520 3221223712 3220042288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 2938 2325 413 48 0 2890 0
[pid=4742] vsize: 11752
Current children cumulated CPU time (s) 899.59
Current children cumulated vsize (Kb) 13880

[startup+910.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2422 0 0 0 7928 12 0 0 25 0 1 0 19710994 12308480 2392 4294967295 134512640 134702520 3221223712 3219770288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 3005 2392 413 48 0 2957 0
[pid=4742] vsize: 12020
Current children cumulated CPU time (s) 909.6
Current children cumulated vsize (Kb) 14148

[startup+920.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2507 0 0 0 8928 12 0 0 25 0 1 0 19710994 12656640 2477 4294967295 134512640 134702520 3221223712 3219422108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 3090 2477 413 48 0 3042 0
[pid=4742] vsize: 12360
Current children cumulated CPU time (s) 919.6
Current children cumulated vsize (Kb) 14488

[startup+930.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2656 0 0 0 9928 12 0 0 25 0 1 0 19710994 13266944 2626 4294967295 134512640 134702520 3221223712 3218811548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 3239 2626 413 48 0 3191 0
[pid=4742] vsize: 12956
Current children cumulated CPU time (s) 929.6
Current children cumulated vsize (Kb) 15084

[startup+940.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 10918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3221121728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 939.54
Current children cumulated vsize (Kb) 23772

[startup+950.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 11918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220994048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 949.54
Current children cumulated vsize (Kb) 23772

[startup+960.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 12918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220859948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 959.54
Current children cumulated vsize (Kb) 23772

[startup+970.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 13918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220718348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 969.54
Current children cumulated vsize (Kb) 23772

[startup+980.131 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 14918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220567808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 979.54
Current children cumulated vsize (Kb) 23772

[startup+990.132 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 15918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220407008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 989.54
Current children cumulated vsize (Kb) 23772

[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 16918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220233868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 999.54
Current children cumulated vsize (Kb) 23772

[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 17918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3220045228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 1009.54
Current children cumulated vsize (Kb) 23772

[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 18918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3219837088 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 1019.54
Current children cumulated vsize (Kb) 23772

[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 19918 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3219601248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 1029.54
Current children cumulated vsize (Kb) 23772

[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 20919 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3219321088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 1039.55
Current children cumulated vsize (Kb) 23772

[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2777 0 0 0 21919 16 0 0 25 0 1 0 19710994 22163456 2747 4294967295 134512640 134702520 3221223712 3218765708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4742/statm): 5411 2747 413 48 0 5363 0
[pid=4742] vsize: 21644
Current children cumulated CPU time (s) 1049.55
Current children cumulated vsize (Kb) 23772

[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 22907 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3221117088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1059.47
Current children cumulated vsize (Kb) 23804

[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 23907 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220989228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1069.47
Current children cumulated vsize (Kb) 23804

[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 24908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220854848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1079.48
Current children cumulated vsize (Kb) 23804

[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 25908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220713088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1089.48
Current children cumulated vsize (Kb) 23804

[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 26908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220562188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1099.48
Current children cumulated vsize (Kb) 23804

[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 27908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220400908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1109.48
Current children cumulated vsize (Kb) 23804

[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 28908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220227328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1119.48
Current children cumulated vsize (Kb) 23804

[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 29908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3220038028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1129.48
Current children cumulated vsize (Kb) 23804

[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 30908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3219827948 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1139.48
Current children cumulated vsize (Kb) 23804

[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 31908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3219588128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1149.48
Current children cumulated vsize (Kb) 23804

[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 32908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3219301888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1159.48
Current children cumulated vsize (Kb) 23804

[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2780 0 0 0 33908 20 0 0 25 0 1 0 19710994 22196224 2750 4294967295 134512640 134702520 3221223712 3218642508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2750 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1169.48
Current children cumulated vsize (Kb) 23804

[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2784 0 0 0 34897 23 0 0 25 0 1 0 19710994 22196224 2754 4294967295 134512640 134702520 3221223712 3221108268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2754 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1179.4
Current children cumulated vsize (Kb) 23804

[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2784 0 0 0 35898 23 0 0 25 0 1 0 19710994 22196224 2754 4294967295 134512640 134702520 3221223712 3220979948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2754 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1189.41
Current children cumulated vsize (Kb) 23804

[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2784 0 0 0 36898 23 0 0 25 0 1 0 19710994 22196224 2754 4294967295 134512640 134702520 3221223712 3220845228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2754 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1199.41
Current children cumulated vsize (Kb) 23804

[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2784 0 0 0 37898 23 0 0 25 0 1 0 19710994 22196224 2754 4294967295 134512640 134702520 3221223712 3220702688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2754 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1209.41
Current children cumulated vsize (Kb) 23804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4742
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4059 0 -1 0 378 3887 0 0 1 1 82971 47 19 0 1 0 19627913 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4742/stat): 4742 (vallst) R 4674 4674 4059 0 -1 0 2784 0 0 0 37898 23 0 0 25 0 1 0 19710994 22196224 2754 4294967295 134512640 134702520 3221223712 3220702688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4742/statm): 5419 2754 413 48 0 5371 0
[pid=4742] vsize: 21676
Current children cumulated CPU time (s) 1209.41
Current children cumulated vsize (Kb) 23804

Sending SIGTERM to -4674
Sleeping 2 seconds
New process pid=4744
New process pid=4745
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/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/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4635/stat
open syscall for file /proc/4635/status
open syscall for file /proc/4635/cmdline
open syscall for file /proc/4635/environ
open syscall for file /proc/4673/stat
open syscall for file /proc/4673/status
open syscall for file /proc/4673/cmdline
open syscall for file /proc/4673/environ
open syscall for file /proc/4674/stat
open syscall for file /proc/4674/status
open syscall for file /proc/4674/cmdline
open syscall for file /proc/4674/environ
open syscall for file /proc/4742/stat
open syscall for file /proc/4742/status
open syscall for file /proc/4742/cmdline
open syscall for file /proc/4742/environ
open syscall for file /proc/4744/stat
open syscall for file /proc/4744/status
open syscall for file /proc/4744/cmdline
open syscall for file /proc/4744/environ
open syscall for file /proc/4745/stat
open syscall for file /proc/4745/status
open syscall for file /proc/4745/cmdline
open syscall for file /proc/4745/environ
One traced child (pid=4744) exited with status: 0
One traced child (pid=4745) exited with status: 0
New process pid=4746
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=4746) exited with status: 0
New process pid=4747
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=4747) exited with status: 0
One traced child (pid=4674) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4674
One traced child (pid=4742) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.16
CPU time (s): 381.227
CPU user time (s): 380.982
CPU system time (s): 0.244962
CPU usage (%): 31.4503
Max. virtual memory (cumulated for all children) (Kb): 28964

Verifier Data

ERROR: no interpretation found !