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-siena1.opb
MD5SUM8330cc07523804a723f9a9440606c313
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 51095
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 27564135378019700736
Number of bits of the sum of numbers in the objective function 65
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 27576935378019700736
Number of bits of the biggest sum of numbers65
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables51095
Total number of constraints13995
Number of constraints which are clauses310
Number of constraints which are cardinality constraints (but not clauses)11776
Number of constraints which are nor clauses,nor cardinality constraints1909
Minimum length of a constraint1
Maximum length of a constraint51095

Trace number 9477

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-23 13:50:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8186 boxname=wulflinc24 idbench=1154 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8330cc07523804a723f9a9440606c313  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-siena1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-siena1.opb 0
IDLAUNCH: 8186
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        893592 kB
Buffers:         14144 kB
Cached:         107644 kB
SwapCached:          0 kB
Active:          72980 kB
Inactive:        51656 kB
HighTotal:      131008 kB
HighFree:        21476 kB
LowTotal:       903652 kB
LowFree:        872116 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10808 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:10:33 (client local time) WITH STATUS 0 IN 842.6 SECONDS
stats: 8186 7 842.6 0

Solver Data

1:
seed: 0
Nr of vars set: 11920  (#equs: 0)
Nr of vars set: 11920  (#equs: 0)
#decisions: 17749;  #end-nodes: 8784;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 4027, #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: 11920  (#equs: 0)
Time taken: 6 min, 5 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/6425/stat): 6425 (vallstSAT2005PB) R 6424 6425 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20676192 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6425/statm): 174 3 169 147 0 27 0
[pid=6425] 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=6426
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=6426) exited with status: 0
New process pid=6427
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=6427) exited with status: 0
New process pid=6428
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/wulflinc24/normalized-mps-v2-13-7-siena1.opb

[startup+10.0029 s]
Raw data (loadavg): 1.01 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 2714 0 0 0 970 15 0 0 25 0 1 0 20676199 18485248 2555 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 4513 2555 413 48 0 4465 0
[pid=6428] vsize: 18052
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 20180

[startup+20.0036 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3393 0 0 0 1963 19 0 0 25 0 1 0 20676199 19161088 3234 4294967295 134512640 134702520 3221223952 3221223364 134550206 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4678 3234 413 48 0 4630 0
[pid=6428] vsize: 18712
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 20840
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+30.0043 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3881 0 0 0 2954 25 0 0 25 0 1 0 20676199 19283968 3605 4294967295 134512640 134702520 3221223952 3221098668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4708 3605 413 48 0 4660 0
[pid=6428] vsize: 18832
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 20960

[startup+40.005 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3924 0 0 0 3954 25 0 0 25 0 1 0 20676199 19460096 3648 4294967295 134512640 134702520 3221223952 3220925868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4751 3648 413 48 0 4703 0
[pid=6428] vsize: 19004
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 21132

[startup+50.0067 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 3981 0 0 0 4954 25 0 0 25 0 1 0 20676199 19693568 3705 4294967295 134512640 134702520 3221223952 3220691008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4808 3705 413 48 0 4760 0
[pid=6428] vsize: 19232
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (Kb) 21360

[startup+60.0074 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4058 0 0 0 5954 26 0 0 25 0 1 0 20676199 20008960 3782 4294967295 134512640 134702520 3221223952 3220374048 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 4885 3782 413 48 0 4837 0
[pid=6428] vsize: 19540
Current children cumulated CPU time (s) 59.82
Current children cumulated vsize (Kb) 21668

[startup+70.0071 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4173 0 0 0 6954 26 0 0 25 0 1 0 20676199 20480000 3897 4294967295 134512640 134702520 3221223952 3219906368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6428/statm): 5000 3897 413 48 0 4952 0
[pid=6428] vsize: 20000
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 22128

[startup+80.0079 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 7942 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3221152348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 42400

[startup+90.0086 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 8942 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220926108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 42400

[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 9942 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220662272 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 42400

[startup+110.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 10943 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220332348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 42400

[startup+120.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 11943 31 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3219819888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 119.76
Current children cumulated vsize (Kb) 42400

[startup+130.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 12929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3221128188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 129.66
Current children cumulated vsize (Kb) 42400

[startup+140.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 13929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220898448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 139.66
Current children cumulated vsize (Kb) 42400

[startup+150.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 14929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220629308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 42400

[startup+160.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 15929 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220288208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (Kb) 42400

[startup+170.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 16930 35 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3219723408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 169.67
Current children cumulated vsize (Kb) 42400

[startup+180.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 17919 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3221098128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 179.6
Current children cumulated vsize (Kb) 42400

[startup+190.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 18920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220864048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 189.61
Current children cumulated vsize (Kb) 42400

[startup+200.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 19920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220587388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 199.61
Current children cumulated vsize (Kb) 42400

[startup+210.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 20920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3220230928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 42400

[startup+220.016 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4378 0 0 0 21920 39 0 0 25 0 1 0 20676199 41238528 4102 4294967295 134512640 134702520 3221223952 3219556848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4102 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 219.61
Current children cumulated vsize (Kb) 42400

[startup+230.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 22906 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3221057948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 229.53
Current children cumulated vsize (Kb) 42400

[startup+240.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 23906 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3220817488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 239.53
Current children cumulated vsize (Kb) 42400

[startup+250.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 24907 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3220530428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 249.54
Current children cumulated vsize (Kb) 42400

[startup+260.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4383 0 0 0 25907 45 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3220149968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 259.54
Current children cumulated vsize (Kb) 42400

[startup+270.019 s]
Raw data (loadavg): 1.00 0.97 0.99 1/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) T 6425 6425 4059 0 -1 0 4383 0 0 0 26899 48 0 0 25 0 1 0 20676199 41238528 4107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4107 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 269.49
Current children cumulated vsize (Kb) 42400

[startup+280.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 27893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3221025328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 279.45
Current children cumulated vsize (Kb) 42400

[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 28893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220779568 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 289.45
Current children cumulated vsize (Kb) 42400

[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 29893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220483248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 299.45
Current children cumulated vsize (Kb) 42400

[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 30893 50 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220079728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 309.45
Current children cumulated vsize (Kb) 42400

[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 31882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3221213628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 319.38
Current children cumulated vsize (Kb) 42400

[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 32882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220995728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 329.38
Current children cumulated vsize (Kb) 42400

[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 33882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220745008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (Kb) 42400

[startup+350.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 34882 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220439548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 42400

[startup+360.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/56 6428
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20676192 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 242 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6428/stat): 6428 (vallst) R 6425 6425 4059 0 -1 0 4389 0 0 0 35883 54 0 0 25 0 1 0 20676199 41238528 4113 4294967295 134512640 134702520 3221223952 3220011088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6428/statm): 10068 4113 413 48 0 10020 0
[pid=6428] vsize: 40272
Current children cumulated CPU time (s) 359.39
Current children cumulated vsize (Kb) 42400
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=6428) exited with status: 2
New process pid=6429
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=6429) exited with status: 0
New process pid=6430
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+370.023 s]
Raw data (loadavg): 1.08 0.99 0.99 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 2525 0 0 0 204 13 0 0 25 0 1 0 20712973 15691776 2496 4294967295 134512640 134702520 3221223712 3221222976 1073964843 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 3831 2496 413 48 0 3783 0
[pid=6430] vsize: 15324
Current children cumulated CPU time (s) 369.24
Current children cumulated vsize (Kb) 17452

[startup+380.023 s]
Raw data (loadavg): 1.14 1.01 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3082 0 0 0 1200 17 0 0 25 0 1 0 20712973 16199680 3052 4294967295 134512640 134702520 3221223712 3221116348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 3955 3052 413 48 0 3907 0
[pid=6430] vsize: 15820
Current children cumulated CPU time (s) 379.24
Current children cumulated vsize (Kb) 17948

[startup+390.024 s]
Raw data (loadavg): 1.12 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3116 0 0 0 2200 17 0 0 25 0 1 0 20712973 16338944 3086 4294967295 134512640 134702520 3221223712 3220976848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 3989 3086 413 48 0 3941 0
[pid=6430] vsize: 15956
Current children cumulated CPU time (s) 389.24
Current children cumulated vsize (Kb) 18084

[startup+400.025 s]
Raw data (loadavg): 1.10 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3155 0 0 0 3200 17 0 0 25 0 1 0 20712973 16498688 3125 4294967295 134512640 134702520 3221223712 3220819548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4028 3125 413 48 0 3980 0
[pid=6430] vsize: 16112
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (Kb) 18240

[startup+410.026 s]
Raw data (loadavg): 1.08 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3210 0 0 0 4200 17 0 0 25 0 1 0 20712973 16723968 3180 4294967295 134512640 134702520 3221223712 3220594608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4083 3180 413 48 0 4035 0
[pid=6430] vsize: 16332
Current children cumulated CPU time (s) 409.24
Current children cumulated vsize (Kb) 18460

[startup+420.026 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3295 0 0 0 5200 17 0 0 25 0 1 0 20712973 17072128 3265 4294967295 134512640 134702520 3221223712 3220245148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4168 3265 413 48 0 4120 0
[pid=6430] vsize: 16672
Current children cumulated CPU time (s) 419.24
Current children cumulated vsize (Kb) 18800

[startup+430.027 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3448 0 0 0 6200 17 0 0 25 0 1 0 20712973 17698816 3418 4294967295 134512640 134702520 3221223712 3219619088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 4321 3418 413 48 0 4273 0
[pid=6430] vsize: 17284
Current children cumulated CPU time (s) 429.24
Current children cumulated vsize (Kb) 19412

[startup+440.028 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 7182 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3221089868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 439.12
Current children cumulated vsize (Kb) 36316

[startup+450.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 8183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3220854348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 449.13
Current children cumulated vsize (Kb) 36316

[startup+460.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 9183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3220575648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 459.13
Current children cumulated vsize (Kb) 36316

[startup+470.029 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 10183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3220214528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 469.13
Current children cumulated vsize (Kb) 36316

[startup+480.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3615 0 0 0 11183 23 0 0 25 0 1 0 20712973 35008512 3584 4294967295 134512640 134702520 3221223712 3219482028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3584 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 479.13
Current children cumulated vsize (Kb) 36316

[startup+490.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 12168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3221076268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 489.02
Current children cumulated vsize (Kb) 36316

[startup+500.03 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 13168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3220838668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 499.02
Current children cumulated vsize (Kb) 36316

[startup+510.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 14168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3220556428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 509.02
Current children cumulated vsize (Kb) 36316

[startup+520.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3619 0 0 0 15168 27 0 0 25 0 1 0 20712973 35008512 3587 4294967295 134512640 134702520 3221223712 3220187308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3587 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 519.02
Current children cumulated vsize (Kb) 36316

[startup+530.032 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) T 6425 6425 4059 0 -1 0 3621 0 0 0 16166 28 0 0 25 0 1 0 20712973 35008512 3588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3588 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 529.01
Current children cumulated vsize (Kb) 36316

[startup+540.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 17154 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3221056608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 538.94
Current children cumulated vsize (Kb) 36316

[startup+550.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 18155 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3220815968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 548.95
Current children cumulated vsize (Kb) 36316

[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 19155 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3220528428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 558.95
Current children cumulated vsize (Kb) 36316

[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3630 0 0 0 20155 33 0 0 25 0 1 0 20712973 35008512 3597 4294967295 134512640 134702520 3221223712 3220146988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8547 3597 413 48 0 8499 0
[pid=6430] vsize: 34188
Current children cumulated CPU time (s) 568.95
Current children cumulated vsize (Kb) 36316

[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6430
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) T 6425 6425 4059 0 -1 0 3632 0 0 0 21147 36 0 0 25 0 1 0 20712973 35143680 3598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3598 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 578.9
Current children cumulated vsize (Kb) 36448

[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 22142 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3221030348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 588.86
Current children cumulated vsize (Kb) 36448

[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 23143 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3220785388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 598.87
Current children cumulated vsize (Kb) 36448

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 24143 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3220490368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 608.87
Current children cumulated vsize (Kb) 36448

[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3633 0 0 0 25143 37 0 0 25 0 1 0 20712973 35143680 3599 4294967295 134512640 134702520 3221223712 3220090368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3599 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 618.87
Current children cumulated vsize (Kb) 36448

[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6485
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 26127 42 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3221170356 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 628.76
Current children cumulated vsize (Kb) 36448

[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 6487
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 27127 43 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3221014688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 638.77
Current children cumulated vsize (Kb) 36448

[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6489
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 28126 44 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3220770348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 648.77
Current children cumulated vsize (Kb) 36448

[startup+660.038 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 29126 44 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3220473868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 658.77
Current children cumulated vsize (Kb) 36448

[startup+670.038 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3636 0 0 0 30126 44 0 0 25 0 1 0 20712973 35143680 3601 4294967295 134512640 134702520 3221223712 3220065088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3601 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 668.77
Current children cumulated vsize (Kb) 36448

[startup+680.038 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 31111 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220848908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 678.67
Current children cumulated vsize (Kb) 36448

[startup+690.038 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 32111 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3221006688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 688.67
Current children cumulated vsize (Kb) 36448

[startup+700.039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 33112 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220757728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 698.68
Current children cumulated vsize (Kb) 36448

[startup+710.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 34112 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220455648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 708.68
Current children cumulated vsize (Kb) 36448

[startup+720.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3638 0 0 0 35112 49 0 0 25 0 1 0 20712973 35143680 3602 4294967295 134512640 134702520 3221223712 3220036748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3602 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 718.68
Current children cumulated vsize (Kb) 36448

[startup+730.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 36098 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3221207968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 728.6
Current children cumulated vsize (Kb) 36448

[startup+740.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 37098 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3220989228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 738.6
Current children cumulated vsize (Kb) 36448

[startup+750.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 38098 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3220737248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 748.6
Current children cumulated vsize (Kb) 36448

[startup+760.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 39099 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3220429568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 758.61
Current children cumulated vsize (Kb) 36448

[startup+770.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3646 0 0 0 40099 55 0 0 25 0 1 0 20712973 35143680 3609 4294967295 134512640 134702520 3221223712 3219994668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3609 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 768.61
Current children cumulated vsize (Kb) 36448

[startup+780.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 41082 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3221189568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 778.5
Current children cumulated vsize (Kb) 36448

[startup+790.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 42082 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3220968448 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 788.5
Current children cumulated vsize (Kb) 36448

[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 43083 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3220712588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (Kb) 36448

[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 44083 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3220398048 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 808.51
Current children cumulated vsize (Kb) 36448

[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3652 0 0 0 45083 61 0 0 25 0 1 0 20712973 35143680 3614 4294967295 134512640 134702520 3221223712 3219941548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3614 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 818.51
Current children cumulated vsize (Kb) 36448

[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 46066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3221180268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 828.4
Current children cumulated vsize (Kb) 36448

[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 47066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3220958668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 838.4
Current children cumulated vsize (Kb) 36448

[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 48066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3220704108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 848.4
Current children cumulated vsize (Kb) 36448

[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 49066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3220390828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 858.4
Current children cumulated vsize (Kb) 36448

[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3655 0 0 0 50066 67 0 0 25 0 1 0 20712973 35143680 3616 4294967295 134512640 134702520 3221223712 3219935808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6430/statm): 8580 3616 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 868.4
Current children cumulated vsize (Kb) 36448

[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 51044 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3221177708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 878.26
Current children cumulated vsize (Kb) 36448

[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 52045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3220954848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 888.27
Current children cumulated vsize (Kb) 36448

[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 53045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3220696428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 898.27
Current children cumulated vsize (Kb) 36448

[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 54045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3220377248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 908.27
Current children cumulated vsize (Kb) 36448

[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6491
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3662 0 0 0 55045 75 0 0 25 0 1 0 20712973 35143680 3622 4294967295 134512640 134702520 3221223712 3219904608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3622 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 918.27
Current children cumulated vsize (Kb) 36448

[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 56031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3221179808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 928.19
Current children cumulated vsize (Kb) 36448

[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 57031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3220957248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 938.19
Current children cumulated vsize (Kb) 36448

[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 58031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3220699308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 948.19
Current children cumulated vsize (Kb) 36448

[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 59031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3220380908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 958.19
Current children cumulated vsize (Kb) 36448

[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3664 0 0 0 60031 81 0 0 25 0 1 0 20712973 35143680 3623 4294967295 134512640 134702520 3221223712 3219911328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3623 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 968.19
Current children cumulated vsize (Kb) 36448

[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 61012 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3221163488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 978.07
Current children cumulated vsize (Kb) 36448

[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 62012 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3220938668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 988.07
Current children cumulated vsize (Kb) 36448

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 63013 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3220677408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 998.08
Current children cumulated vsize (Kb) 36448

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 64013 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3220352268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1008.08
Current children cumulated vsize (Kb) 36448

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3671 0 0 0 65013 88 0 0 25 0 1 0 20712973 35143680 3629 4294967295 134512640 134702520 3221223712 3219858348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3629 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1018.08
Current children cumulated vsize (Kb) 36448

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 65996 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3221154528 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1027.97
Current children cumulated vsize (Kb) 36448

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 66997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3220928608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1037.98
Current children cumulated vsize (Kb) 36448

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 67997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3220665228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1047.98
Current children cumulated vsize (Kb) 36448

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 68997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3220336128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1057.98
Current children cumulated vsize (Kb) 36448

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3674 0 0 0 69997 94 0 0 25 0 1 0 20712973 35143680 3631 4294967295 134512640 134702520 3221223712 3219826688 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3631 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1067.98
Current children cumulated vsize (Kb) 36448

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 70978 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3221148608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1077.86
Current children cumulated vsize (Kb) 36448

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 71978 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3220921888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1087.86
Current children cumulated vsize (Kb) 36448

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 72979 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3220657248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1097.87
Current children cumulated vsize (Kb) 36448

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 73979 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3220325548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1107.87
Current children cumulated vsize (Kb) 36448

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3679 0 0 0 74979 101 0 0 25 0 1 0 20712973 35143680 3635 4294967295 134512640 134702520 3221223712 3219805228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3635 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1117.87
Current children cumulated vsize (Kb) 36448

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 75961 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3221158508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1127.75
Current children cumulated vsize (Kb) 36448

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 76961 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3220933068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1137.75
Current children cumulated vsize (Kb) 36448

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 77961 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3220670528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1147.75
Current children cumulated vsize (Kb) 36448

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 78962 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3220343308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1157.76
Current children cumulated vsize (Kb) 36448

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3683 0 0 0 79962 107 0 0 25 0 1 0 20712973 35143680 3638 4294967295 134512640 134702520 3221223712 3219840908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3638 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1167.76
Current children cumulated vsize (Kb) 36448

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 80943 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3221145708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1177.64
Current children cumulated vsize (Kb) 36448

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 81943 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220918368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1187.64
Current children cumulated vsize (Kb) 36448

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 82944 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220653068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1197.65
Current children cumulated vsize (Kb) 36448

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 83944 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220319948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1207.65
Current children cumulated vsize (Kb) 36448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6493
Raw data (/proc/6425/stat): 6425 (vallstSAT2005PB) S 6424 6425 4059 0 -1 0 378 4764 0 0 1 1 36636 69 19 0 1 0 20676192 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6425/statm): 532 248 485 147 0 385 0
[pid=6425] vsize: 2128
Raw data (/proc/6430/stat): 6430 (vallst) R 6425 6425 4059 0 -1 0 3691 0 0 0 83944 114 0 0 25 0 1 0 20712973 35143680 3645 4294967295 134512640 134702520 3221223712 3220319968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6430/statm): 8580 3645 413 48 0 8532 0
[pid=6430] vsize: 34320
Current children cumulated CPU time (s) 1207.65
Current children cumulated vsize (Kb) 36448

Sending SIGTERM to -6425
Sleeping 2 seconds
New process pid=6495
New process pid=6496
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/6386/stat
open syscall for file /proc/6386/status
open syscall for file /proc/6386/cmdline
open syscall for file /proc/6386/environ
open syscall for file /proc/6424/stat
open syscall for file /proc/6424/status
open syscall for file /proc/6424/cmdline
open syscall for file /proc/6424/environ
open syscall for file /proc/6425/stat
open syscall for file /proc/6425/status
open syscall for file /proc/6425/cmdline
open syscall for file /proc/6425/environ
open syscall for file /proc/6430/stat
open syscall for file /proc/6430/status
open syscall for file /proc/6430/cmdline
open syscall for file /proc/6430/environ
open syscall for file /proc/6495/stat
open syscall for file /proc/6495/status
open syscall for file /proc/6495/cmdline
open syscall for file /proc/6495/environ
open syscall for file /proc/6496/stat
open syscall for file /proc/6496/status
open syscall for file /proc/6496/cmdline
open syscall for file /proc/6496/environ
One traced child (pid=6495) exited with status: 0
One traced child (pid=6496) exited with status: 0
New process pid=6497
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=6497) exited with status: 0
New process pid=6498
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=6498) exited with status: 0
One traced child (pid=6425) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -6425
One traced child (pid=6430) 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.08
CPU time (s): 842.6
CPU user time (s): 841.448
CPU system time (s): 1.15182
CPU usage (%): 69.5171
Max. virtual memory (cumulated for all children) (Kb): 42400

Verifier Data

ERROR: no interpretation found !