Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
MD5SUM5b92932a8bc350218da666e6f064f13f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 57964723104641792
Optimality of the best value was proved NO
Number of terms in the objective function 68818
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 6652856940207324781
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 6652856940207324781
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1205.91
Number of variables68678
Total number of constraints37291
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)35639
Number of constraints which are nor clauses,nor cardinality constraints1652
Minimum length of a constraint1
Maximum length of a constraint35119

Trace number 9452

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918540 kB
Buffers:         16268 kB
Cached:          80088 kB
SwapCached:          0 kB
Active:          55696 kB
Inactive:        43548 kB
HighTotal:      131008 kB
HighFree:        46984 kB
LowTotal:       903652 kB
LowFree:        871556 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11200 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:02:45 (client local time) WITH STATUS 0 IN 821.824 SECONDS
stats: 8177 7 821.824 0

Solver Data

1:
seed: 0
Nr of vars set: 8411  (#equs: 0)
Nr of vars set: 8411  (#equs: 0)
#decisions: 37111;  #end-nodes: 19879;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 3287, #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: 8411  (#equs: 0)
Time taken: 6 min, 22 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/6261/stat): 6261 (vallstSAT2005PB) R 6260 6261 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20598253 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6261/statm): 174 3 169 147 0 27 0
[pid=6261] 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=6262
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=6262) exited with status: 0
New process pid=6263
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=6263) exited with status: 0
New process pid=6264
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/wulflinc25/normalized-mps-v2-13-7-dc1l.opb

[startup+10.0025 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 3782 0 0 0 957 25 0 0 25 0 1 0 20598260 27181056 3429 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 6636 3429 413 48 0 6588 0
[pid=6264] vsize: 26544
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 28672

[startup+20.0031 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 3782 0 0 0 1957 25 0 0 25 0 1 0 20598260 27181056 3429 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 6636 3429 413 48 0 6588 0
[pid=6264] vsize: 26544
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 28672

[startup+30.0037 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 3782 0 0 0 2957 25 0 0 25 0 1 0 20598260 27181056 3429 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 6636 3429 413 48 0 6588 0
[pid=6264] vsize: 26544
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 28672

[startup+40.0043 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 3782 0 0 0 3956 25 0 0 25 0 1 0 20598260 27181056 3429 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 6636 3429 413 48 0 6588 0
[pid=6264] vsize: 26544
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 28672

[startup+50.0059 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 5078 0 0 0 4943 34 0 0 25 0 1 0 20598260 28430336 4725 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 6941 4725 413 48 0 6893 0
[pid=6264] vsize: 27764
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 29892
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+60.0065 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6040 0 0 0 5932 41 0 0 25 0 1 0 20598260 28983296 5488 4294967295 134512640 134702520 3221223952 3221084748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 7076 5488 413 48 0 7028 0
[pid=6264] vsize: 28304
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 30432

[startup+70.0061 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6133 0 0 0 6932 41 0 0 25 0 1 0 20598260 29364224 5581 4294967295 134512640 134702520 3221223952 3220701868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 7169 5581 413 48 0 7121 0
[pid=6264] vsize: 28676
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 30804

[startup+80.0077 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6392 0 0 0 7922 45 0 0 25 0 1 0 20598260 63594496 5840 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5840 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 79.69
Current children cumulated vsize (Kb) 64232

[startup+90.0083 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6392 0 0 0 8920 45 0 0 25 0 1 0 20598260 63594496 5840 4294967295 134512640 134702520 3221223952 3220910928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5840 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 89.67
Current children cumulated vsize (Kb) 64232

[startup+100.009 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6392 0 0 0 9920 45 0 0 25 0 1 0 20598260 63594496 5840 4294967295 134512640 134702520 3221223952 3220429308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5840 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 99.67
Current children cumulated vsize (Kb) 64232

[startup+110.01 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6395 0 0 0 10908 49 0 0 25 0 1 0 20598260 63594496 5843 4294967295 134512640 134702520 3221223952 3221088368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5843 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 109.59
Current children cumulated vsize (Kb) 64232

[startup+120.011 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6395 0 0 0 11908 49 0 0 25 0 1 0 20598260 63594496 5843 4294967295 134512640 134702520 3221223952 3220716188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5843 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 119.59
Current children cumulated vsize (Kb) 64232

[startup+130.012 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) T 6261 6261 4004 0 -1 0 6395 0 0 0 12904 50 0 0 25 0 1 0 20598260 63594496 5843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5843 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 129.56
Current children cumulated vsize (Kb) 64232

[startup+140.011 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6398 0 0 0 13896 52 0 0 25 0 1 0 20598260 63594496 5846 4294967295 134512640 134702520 3221223952 3220927248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5846 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 139.5
Current children cumulated vsize (Kb) 64232

[startup+150.013 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6398 0 0 0 14896 52 0 0 25 0 1 0 20598260 63594496 5846 4294967295 134512640 134702520 3221223952 3220458908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5846 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 149.5
Current children cumulated vsize (Kb) 64232

[startup+160.013 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6399 0 0 0 15886 55 0 0 25 0 1 0 20598260 63594496 5847 4294967295 134512640 134702520 3221223952 3221100368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5847 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 159.43
Current children cumulated vsize (Kb) 64232

[startup+170.014 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6399 0 0 0 16886 55 0 0 25 0 1 0 20598260 63594496 5847 4294967295 134512640 134702520 3221223952 3220730448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5847 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (Kb) 64232

[startup+180.015 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6399 0 0 0 17883 56 0 0 25 0 1 0 20598260 63594496 5847 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5847 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 179.41
Current children cumulated vsize (Kb) 64232

[startup+190.015 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6403 0 0 0 18873 59 0 0 25 0 1 0 20598260 63594496 5851 4294967295 134512640 134702520 3221223952 3220948508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5851 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 189.34
Current children cumulated vsize (Kb) 64232

[startup+200.016 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6403 0 0 0 19873 59 0 0 25 0 1 0 20598260 63594496 5851 4294967295 134512640 134702520 3221223952 3220495888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5851 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 199.34
Current children cumulated vsize (Kb) 64232

[startup+210.016 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6403 0 0 0 20858 64 0 0 25 0 1 0 20598260 63594496 5851 4294967295 134512640 134702520 3221223952 3221120668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5851 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 64232

[startup+220.017 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6403 0 0 0 21858 64 0 0 25 0 1 0 20598260 63594496 5851 4294967295 134512640 134702520 3221223952 3220759228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5851 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 219.24
Current children cumulated vsize (Kb) 64232

[startup+230.018 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6403 0 0 0 22858 64 0 0 25 0 1 0 20598260 63594496 5851 4294967295 134512640 134702520 3221223952 3220030428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5851 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 229.24
Current children cumulated vsize (Kb) 64232

[startup+240.018 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6405 0 0 0 23846 68 0 0 25 0 1 0 20598260 63594496 5853 4294967295 134512640 134702520 3221223952 3220961788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5853 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 239.16
Current children cumulated vsize (Kb) 64232

[startup+250.019 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6405 0 0 0 24846 68 0 0 25 0 1 0 20598260 63594496 5853 4294967295 134512640 134702520 3221223952 3220522108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5853 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 249.16
Current children cumulated vsize (Kb) 64232

[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6407 0 0 0 25832 74 0 0 25 0 1 0 20598260 63594496 5855 4294967295 134512640 134702520 3221223952 3221142928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5855 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 259.08
Current children cumulated vsize (Kb) 64232

[startup+270.019 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6407 0 0 0 26833 74 0 0 25 0 1 0 20598260 63594496 5855 4294967295 134512640 134702520 3221223952 3220792828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5855 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 269.09
Current children cumulated vsize (Kb) 64232

[startup+280.02 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6407 0 0 0 27833 74 0 0 25 0 1 0 20598260 63594496 5855 4294967295 134512640 134702520 3221223952 3220168048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5855 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 279.09
Current children cumulated vsize (Kb) 64232

[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6409 0 0 0 28819 79 0 0 25 0 1 0 20598260 63594496 5857 4294967295 134512640 134702520 3221223952 3220996528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5857 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 289
Current children cumulated vsize (Kb) 64232

[startup+300.021 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6409 0 0 0 29819 79 0 0 25 0 1 0 20598260 63594496 5857 4294967295 134512640 134702520 3221223952 3220574908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5857 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 299
Current children cumulated vsize (Kb) 64232

[startup+310.021 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6411 0 0 0 30806 84 0 0 25 0 1 0 20598260 63594496 5859 4294967295 134512640 134702520 3221223952 3221172528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5859 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 308.92
Current children cumulated vsize (Kb) 64232

[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6411 0 0 0 31806 84 0 0 25 0 1 0 20598260 63594496 5859 4294967295 134512640 134702520 3221223952 3220832848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5859 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 318.92
Current children cumulated vsize (Kb) 64232

[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6411 0 0 0 32806 84 0 0 25 0 1 0 20598260 63594496 5859 4294967295 134512640 134702520 3221223952 3220273788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5859 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 328.92
Current children cumulated vsize (Kb) 64232

[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6411 0 0 0 33792 89 0 0 25 0 1 0 20598260 63594496 5859 4294967295 134512640 134702520 3221223952 3221042768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5859 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 338.83
Current children cumulated vsize (Kb) 64232

[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6411 0 0 0 34793 89 0 0 25 0 1 0 20598260 63594496 5859 4294967295 134512640 134702520 3221223952 3220649488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6264/statm): 15526 5859 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 348.84
Current children cumulated vsize (Kb) 64232

[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6417 0 0 0 35776 95 0 0 25 0 1 0 20598260 63594496 5865 4294967295 134512640 134702520 3221223952 3221208668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5865 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 358.73
Current children cumulated vsize (Kb) 64232

[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6417 0 0 0 36777 95 0 0 25 0 1 0 20598260 63594496 5865 4294967295 134512640 134702520 3221223952 3220878768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5865 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 368.74
Current children cumulated vsize (Kb) 64232

[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6264
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20598253 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 242 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6264/stat): 6264 (vallst) R 6261 6261 4004 0 -1 0 6417 0 0 0 37777 95 0 0 25 0 1 0 20598260 63594496 5865 4294967295 134512640 134702520 3221223952 3220367548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6264/statm): 15526 5865 413 48 0 15478 0
[pid=6264] vsize: 62104
Current children cumulated CPU time (s) 378.74
Current children cumulated vsize (Kb) 64232
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6264) exited with status: 2
New process pid=6265
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=6265) exited with status: 0
New process pid=6266
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+390.024 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 3454 0 0 0 353 23 0 0 25 0 1 0 20636871 23556096 3425 4294967295 134512640 134702520 3221223712 3221223336 1074475152 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 5751 3425 413 48 0 5703 0
[pid=6266] vsize: 23004
Current children cumulated CPU time (s) 388.49
Current children cumulated vsize (Kb) 25132

[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 4745 0 0 0 1340 33 0 0 25 0 1 0 20636871 24846336 4715 4294967295 134512640 134702520 3221223712 3221151408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 6066 4715 413 48 0 6018 0
[pid=6266] vsize: 24264
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (Kb) 26392

[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 4831 0 0 0 2341 33 0 0 25 0 1 0 20636871 25198592 4801 4294967295 134512640 134702520 3221223712 3220797648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 6152 4801 413 48 0 6104 0
[pid=6266] vsize: 24608
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (Kb) 26736

[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 4992 0 0 0 3340 33 0 0 25 0 1 0 20636871 25858048 4962 4294967295 134512640 134702520 3221223712 3220138268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 6313 4962 413 48 0 6265 0
[pid=6266] vsize: 25252
Current children cumulated CPU time (s) 418.46
Current children cumulated vsize (Kb) 27380

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5145 0 0 0 4325 38 0 0 25 0 1 0 20636871 55803904 5114 4294967295 134512640 134702520 3221223712 3220986188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5114 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 428.36
Current children cumulated vsize (Kb) 56624

[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5145 0 0 0 5325 38 0 0 25 0 1 0 20636871 55803904 5114 4294967295 134512640 134702520 3221223712 3220547328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5114 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 438.36
Current children cumulated vsize (Kb) 56624

[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5149 0 0 0 6310 44 0 0 25 0 1 0 20636871 55803904 5117 4294967295 134512640 134702520 3221223712 3221144268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5117 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 448.27
Current children cumulated vsize (Kb) 56624

[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5149 0 0 0 7310 44 0 0 25 0 1 0 20636871 55803904 5117 4294967295 134512640 134702520 3221223712 3220788128 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5117 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 458.27
Current children cumulated vsize (Kb) 56624

[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5149 0 0 0 8311 44 0 0 25 0 1 0 20636871 55803904 5117 4294967295 134512640 134702520 3221223712 3220108108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5117 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 468.28
Current children cumulated vsize (Kb) 56624

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5158 0 0 0 9294 50 0 0 25 0 1 0 20636871 55803904 5125 4294967295 134512640 134702520 3221223712 3220972108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5125 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 478.17
Current children cumulated vsize (Kb) 56624

[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5158 0 0 0 10295 50 0 0 25 0 1 0 20636871 55803904 5125 4294967295 134512640 134702520 3221223712 3220523648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5125 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 488.18
Current children cumulated vsize (Kb) 56624

[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5165 0 0 0 11278 57 0 0 25 0 1 0 20636871 55803904 5131 4294967295 134512640 134702520 3221223712 3221126668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5131 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 498.08
Current children cumulated vsize (Kb) 56624

[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5165 0 0 0 12278 57 0 0 25 0 1 0 20636871 55803904 5131 4294967295 134512640 134702520 3221223712 3220760748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5131 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 508.08
Current children cumulated vsize (Kb) 56624

[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5166 0 0 0 13278 57 0 0 25 0 1 0 20636871 55803904 5131 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5131 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 518.08
Current children cumulated vsize (Kb) 56624

[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5168 0 0 0 14263 62 0 0 25 0 1 0 20636871 55803904 5133 4294967295 134512640 134702520 3221223712 3220970688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5133 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 527.98
Current children cumulated vsize (Kb) 56624

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5168 0 0 0 15263 62 0 0 25 0 1 0 20636871 55803904 5133 4294967295 134512640 134702520 3221223712 3220521248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5133 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 537.98
Current children cumulated vsize (Kb) 56624

[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5170 0 0 0 16248 67 0 0 25 0 1 0 20636871 55803904 5134 4294967295 134512640 134702520 3221223712 3221148288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5134 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 547.88
Current children cumulated vsize (Kb) 56624

[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5170 0 0 0 17248 67 0 0 25 0 1 0 20636871 55803904 5134 4294967295 134512640 134702520 3221223712 3220790988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5134 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 557.88
Current children cumulated vsize (Kb) 56624

[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5170 0 0 0 18248 67 0 0 25 0 1 0 20636871 55803904 5134 4294967295 134512640 134702520 3221223712 3220109228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5134 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 567.88
Current children cumulated vsize (Kb) 56624

[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5181 0 0 0 19233 73 0 0 25 0 1 0 20636871 55803904 5144 4294967295 134512640 134702520 3221223712 3220987488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5144 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 577.79
Current children cumulated vsize (Kb) 56624

[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5181 0 0 0 20233 73 0 0 25 0 1 0 20636871 55803904 5144 4294967295 134512640 134702520 3221223712 3220549388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5144 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 587.79
Current children cumulated vsize (Kb) 56624

[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5183 0 0 0 21216 78 0 0 25 0 1 0 20636871 55803904 5145 4294967295 134512640 134702520 3221223712 3221148748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5145 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 597.67
Current children cumulated vsize (Kb) 56624

[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5183 0 0 0 22217 78 0 0 25 0 1 0 20636871 55803904 5145 4294967295 134512640 134702520 3221223712 3220794348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5145 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 607.68
Current children cumulated vsize (Kb) 56624

[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5183 0 0 0 23217 78 0 0 25 0 1 0 20636871 55803904 5145 4294967295 134512640 134702520 3221223712 3220131328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5145 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 617.68
Current children cumulated vsize (Kb) 56624

[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5186 0 0 0 24200 85 0 0 25 0 1 0 20636871 55803904 5147 4294967295 134512640 134702520 3221223712 3221004268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5147 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 627.58
Current children cumulated vsize (Kb) 56624

[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5186 0 0 0 25200 85 0 0 25 0 1 0 20636871 55803904 5147 4294967295 134512640 134702520 3221223712 3220576748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5147 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 637.58
Current children cumulated vsize (Kb) 56624

[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5194 0 0 0 26183 91 0 0 25 0 1 0 20636871 55803904 5154 4294967295 134512640 134702520 3221223712 3221162688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5154 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 647.47
Current children cumulated vsize (Kb) 56624

[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5194 0 0 0 27183 91 0 0 25 0 1 0 20636871 55803904 5154 4294967295 134512640 134702520 3221223712 3220811008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5154 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 657.47
Current children cumulated vsize (Kb) 56624

[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5194 0 0 0 28183 91 0 0 25 0 1 0 20636871 55803904 5154 4294967295 134512640 134702520 3221223712 3220178368 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5154 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 667.47
Current children cumulated vsize (Kb) 56624

[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5197 0 0 0 29165 98 0 0 25 0 1 0 20636871 55803904 5156 4294967295 134512640 134702520 3221223712 3221001088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5156 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 677.36
Current children cumulated vsize (Kb) 56624

[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5197 0 0 0 30166 98 0 0 25 0 1 0 20636871 55803904 5156 4294967295 134512640 134702520 3221223712 3220571628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5156 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 687.37
Current children cumulated vsize (Kb) 56624

[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5203 0 0 0 31150 103 0 0 25 0 1 0 20636871 55803904 5161 4294967295 134512640 134702520 3221223712 3221171808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5161 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 697.26
Current children cumulated vsize (Kb) 56624

[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5203 0 0 0 32150 103 0 0 25 0 1 0 20636871 55803904 5161 4294967295 134512640 134702520 3221223712 3220826048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5161 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 707.26
Current children cumulated vsize (Kb) 56624

[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5203 0 0 0 33150 103 0 0 25 0 1 0 20636871 55803904 5161 4294967295 134512640 134702520 3221223712 3220229228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5161 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 717.26
Current children cumulated vsize (Kb) 56624

[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5232 0 0 0 34132 110 0 0 25 0 1 0 20636871 55803904 5189 4294967295 134512640 134702520 3221223712 3221031328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5189 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 727.15
Current children cumulated vsize (Kb) 56624

[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5232 0 0 0 35132 110 0 0 25 0 1 0 20636871 55803904 5189 4294967295 134512640 134702520 3221223712 3220622848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13624 5189 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 737.15
Current children cumulated vsize (Kb) 56624

[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5234 0 0 0 36115 116 0 0 25 0 1 0 20636871 55803904 5190 4294967295 134512640 134702520 3221223712 3221200268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5190 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 747.04
Current children cumulated vsize (Kb) 56624

[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5234 0 0 0 37115 116 0 0 25 0 1 0 20636871 55803904 5190 4294967295 134512640 134702520 3221223712 3220862028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5190 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 757.04
Current children cumulated vsize (Kb) 56624

[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5234 0 0 0 38115 116 0 0 25 0 1 0 20636871 55803904 5190 4294967295 134512640 134702520 3221223712 3220311648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5190 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 767.04
Current children cumulated vsize (Kb) 56624

[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5236 0 0 0 39096 121 0 0 25 0 1 0 20636871 55803904 5191 4294967295 134512640 134702520 3221223712 3221047968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5191 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 776.9
Current children cumulated vsize (Kb) 56624

[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5236 0 0 0 40096 121 0 0 25 0 1 0 20636871 55803904 5191 4294967295 134512640 134702520 3221223712 3220645248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5191 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 786.9
Current children cumulated vsize (Kb) 56624

[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5238 0 0 0 41075 128 0 0 25 0 1 0 20636871 55803904 5192 4294967295 134512640 134702520 3221223712 3221201888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5192 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 796.76
Current children cumulated vsize (Kb) 56624

[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5238 0 0 0 42075 128 0 0 25 0 1 0 20636871 55803904 5192 4294967295 134512640 134702520 3221223712 3220864288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5192 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 806.76
Current children cumulated vsize (Kb) 56624

[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5238 0 0 0 43075 128 0 0 25 0 1 0 20636871 55803904 5192 4294967295 134512640 134702520 3221223712 3220316748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13624 5192 413 48 0 13576 0
[pid=6266] vsize: 54496
Current children cumulated CPU time (s) 816.76
Current children cumulated vsize (Kb) 56624

[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5241 0 0 0 44054 134 0 0 25 0 1 0 20636871 55939072 5194 4294967295 134512640 134702520 3221223712 3221054368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5194 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 826.61
Current children cumulated vsize (Kb) 56756

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5241 0 0 0 45055 134 0 0 25 0 1 0 20636871 55939072 5194 4294967295 134512640 134702520 3221223712 3220657888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5194 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 836.62
Current children cumulated vsize (Kb) 56756

[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5242 0 0 0 46038 140 0 0 25 0 1 0 20636871 55939072 5194 4294967295 134512640 134702520 3221223712 3221221408 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5194 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 846.51
Current children cumulated vsize (Kb) 56756

[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5242 0 0 0 47038 140 0 0 25 0 1 0 20636871 55939072 5194 4294967295 134512640 134702520 3221223712 3220890348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5194 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 856.51
Current children cumulated vsize (Kb) 56756

[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5242 0 0 0 48038 140 0 0 25 0 1 0 20636871 55939072 5194 4294967295 134512640 134702520 3221223712 3220372768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5194 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 866.51
Current children cumulated vsize (Kb) 56756

[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5244 0 0 0 49019 146 0 0 25 0 1 0 20636871 55939072 5195 4294967295 134512640 134702520 3221223712 3221075008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5195 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 876.38
Current children cumulated vsize (Kb) 56756

[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5244 0 0 0 50019 146 0 0 25 0 1 0 20636871 55939072 5195 4294967295 134512640 134702520 3221223712 3220686048 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5195 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 886.38
Current children cumulated vsize (Kb) 56756

[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5246 0 0 0 51003 151 0 0 25 0 1 0 20636871 55939072 5196 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5196 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 896.27
Current children cumulated vsize (Kb) 56756

[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5246 0 0 0 52001 152 0 0 25 0 1 0 20636871 55939072 5196 4294967295 134512640 134702520 3221223712 3220907968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5196 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 906.26
Current children cumulated vsize (Kb) 56756

[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5246 0 0 0 53001 152 0 0 25 0 1 0 20636871 55939072 5196 4294967295 134512640 134702520 3221223712 3220412288 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5196 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 916.26
Current children cumulated vsize (Kb) 56756

[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5248 0 0 0 53981 160 0 0 25 0 1 0 20636871 55939072 5197 4294967295 134512640 134702520 3221223712 3221105408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5197 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 926.14
Current children cumulated vsize (Kb) 56756

[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5248 0 0 0 54981 160 0 0 25 0 1 0 20636871 55939072 5197 4294967295 134512640 134702520 3221223712 3220733088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5197 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 936.14
Current children cumulated vsize (Kb) 56756

[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5249 0 0 0 55973 163 0 0 25 0 1 0 20636871 55939072 5197 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5197 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 946.09
Current children cumulated vsize (Kb) 56756

[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5251 0 0 0 56958 169 0 0 25 0 1 0 20636871 55939072 5199 4294967295 134512640 134702520 3221223712 3220952768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5199 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 956
Current children cumulated vsize (Kb) 56756

[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5251 0 0 0 57958 169 0 0 25 0 1 0 20636871 55939072 5199 4294967295 134512640 134702520 3221223712 3220494032 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5199 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 966
Current children cumulated vsize (Kb) 56756

[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5253 0 0 0 58936 177 0 0 25 0 1 0 20636871 55939072 5200 4294967295 134512640 134702520 3221223712 3221138348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5200 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 975.86
Current children cumulated vsize (Kb) 56756

[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5253 0 0 0 59936 177 0 0 25 0 1 0 20636871 55939072 5200 4294967295 134512640 134702520 3221223712 3220777728 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5200 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 985.86
Current children cumulated vsize (Kb) 56756

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5253 0 0 0 60937 177 0 0 25 0 1 0 20636871 55939072 5200 4294967295 134512640 134702520 3221223712 3220063008 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5200 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 995.87
Current children cumulated vsize (Kb) 56756

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5255 0 0 0 61914 186 0 0 25 0 1 0 20636871 55939072 5201 4294967295 134512640 134702520 3221223712 3220994508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5201 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1005.73
Current children cumulated vsize (Kb) 56756

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5255 0 0 0 62914 186 0 0 25 0 1 0 20636871 55939072 5201 4294967295 134512640 134702520 3221223712 3220560908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5201 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (Kb) 56756

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5256 0 0 0 63895 192 0 0 25 0 1 0 20636871 55939072 5201 4294967295 134512640 134702520 3221223712 3221168428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5201 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1025.6
Current children cumulated vsize (Kb) 56756

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5256 0 0 0 64895 192 0 0 25 0 1 0 20636871 55939072 5201 4294967295 134512640 134702520 3221223712 3220821388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5201 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1035.6
Current children cumulated vsize (Kb) 56756

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6266
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5256 0 0 0 65895 192 0 0 25 0 1 0 20636871 55939072 5201 4294967295 134512640 134702520 3221223712 3220216608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5201 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1045.6
Current children cumulated vsize (Kb) 56756

[startup+1060.06 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6321
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5259 0 0 0 66867 201 0 0 25 0 1 0 20636871 55939072 5203 4294967295 134512640 134702520 3221223712 3221031948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5203 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1055.41
Current children cumulated vsize (Kb) 56756

[startup+1070.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6321
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5259 0 0 0 67868 201 0 0 25 0 1 0 20636871 55939072 5203 4294967295 134512640 134702520 3221223712 3220623808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5203 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1065.42
Current children cumulated vsize (Kb) 56756

[startup+1080.06 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6321
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5262 0 0 0 68843 210 0 0 25 0 1 0 20636871 55939072 5205 4294967295 134512640 134702520 3221223712 3221206988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5205 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1075.26
Current children cumulated vsize (Kb) 56756

[startup+1090.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6321
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5262 0 0 0 69843 210 0 0 25 0 1 0 20636871 55939072 5205 4294967295 134512640 134702520 3221223712 3220870988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5205 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1085.26
Current children cumulated vsize (Kb) 56756

[startup+1100.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6321
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5262 0 0 0 70843 210 0 0 25 0 1 0 20636871 55939072 5205 4294967295 134512640 134702520 3221223712 3220331808 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5205 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1095.26
Current children cumulated vsize (Kb) 56756

[startup+1110.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6323
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5265 0 0 0 71821 218 0 0 25 0 1 0 20636871 55939072 5207 4294967295 134512640 134702520 3221223712 3221084128 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5207 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1105.12
Current children cumulated vsize (Kb) 56756

[startup+1120.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6325
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5265 0 0 0 72821 218 0 0 25 0 1 0 20636871 55939072 5207 4294967295 134512640 134702520 3221223712 3220699648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5207 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1115.12
Current children cumulated vsize (Kb) 56756

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) T 6261 6261 4004 0 -1 0 5275 0 0 0 73807 223 0 0 25 0 1 0 20636871 55939072 5216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5216 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1125.03
Current children cumulated vsize (Kb) 56756

[startup+1140.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5276 0 0 0 74799 225 0 0 25 0 1 0 20636871 55939072 5217 4294967295 134512640 134702520 3221223712 3220931488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5217 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1134.97
Current children cumulated vsize (Kb) 56756

[startup+1150.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5276 0 0 0 75799 225 0 0 25 0 1 0 20636871 55939072 5217 4294967295 134512640 134702520 3221223712 3220452288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5217 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1144.97
Current children cumulated vsize (Kb) 56756

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5278 0 0 0 76776 233 0 0 25 0 1 0 20636871 55939072 5218 4294967295 134512640 134702520 3221223712 3221122828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5218 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1154.82
Current children cumulated vsize (Kb) 56756

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5278 0 0 0 77776 234 0 0 25 0 1 0 20636871 55939072 5218 4294967295 134512640 134702520 3221223712 3220755148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5218 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1164.83
Current children cumulated vsize (Kb) 56756

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5279 0 0 0 78775 234 0 0 25 0 1 0 20636871 55939072 5218 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5218 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1174.82
Current children cumulated vsize (Kb) 56756

[startup+1190.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5282 0 0 0 79752 242 0 0 25 0 1 0 20636871 55939072 5221 4294967295 134512640 134702520 3221223712 3220976108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5221 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1184.67
Current children cumulated vsize (Kb) 56756

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5282 0 0 0 80752 242 0 0 25 0 1 0 20636871 55939072 5221 4294967295 134512640 134702520 3221223712 3220530348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6266/statm): 13657 5221 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1194.67
Current children cumulated vsize (Kb) 56756

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5284 0 0 0 81729 251 0 0 25 0 1 0 20636871 55939072 5222 4294967295 134512640 134702520 3221223712 3221170848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5222 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1204.53
Current children cumulated vsize (Kb) 56756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6327
Raw data (/proc/6261/stat): 6261 (vallstSAT2005PB) S 6260 6261 4004 0 -1 0 378 6792 0 0 2 1 38349 121 19 0 1 0 20598253 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6261/statm): 532 248 485 147 0 385 0
[pid=6261] vsize: 2128
Raw data (/proc/6266/stat): 6266 (vallst) R 6261 6261 4004 0 -1 0 5284 0 0 0 81729 251 0 0 25 0 1 0 20636871 55939072 5222 4294967295 134512640 134702520 3221223712 3221170848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6266/statm): 13657 5222 413 48 0 13609 0
[pid=6266] vsize: 54628
Current children cumulated CPU time (s) 1204.53
Current children cumulated vsize (Kb) 56756

Sending SIGTERM to -6261
Sleeping 2 seconds
New process pid=6329
New process pid=6330
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/3986/stat
open syscall for file /proc/3986/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/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/6222/stat
open syscall for file /proc/6222/status
open syscall for file /proc/6222/cmdline
open syscall for file /proc/6222/environ
open syscall for file /proc/6260/stat
open syscall for file /proc/6260/status
open syscall for file /proc/6260/cmdline
open syscall for file /proc/6260/environ
open syscall for file /proc/6261/stat
open syscall for file /proc/6261/status
open syscall for file /proc/6261/cmdline
open syscall for file /proc/6261/environ
open syscall for file /proc/6266/stat
open syscall for file /proc/6266/status
open syscall for file /proc/6266/cmdline
open syscall for file /proc/6266/environ
open syscall for file /proc/6329/stat
open syscall for file /proc/6329/status
open syscall for file /proc/6329/cmdline
open syscall for file /proc/6329/environ
open syscall for file /proc/6330/stat
open syscall for file /proc/6330/status
open syscall for file /proc/6330/cmdline
open syscall for file /proc/6330/environ
One traced child (pid=6330) exited with status: 0
One traced child (pid=6329) exited with status: 0
New process pid=6331
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=6331) exited with status: 0
New process pid=6332
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=6332) exited with status: 0
One traced child (pid=6261) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -6261
One traced child (pid=6266) 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.09
CPU time (s): 821.824
CPU user time (s): 819.295
CPU system time (s): 2.52861
CPU usage (%): 67.8024
Max. virtual memory (cumulated for all children) (Kb): 64232

Verifier Data

ERROR: no interpretation found !