Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb
MD5SUMd176539199497efb0c829821dd5c09ea
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 18598
Biggest coefficient in the objective function 2560000
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 7036117195
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 524288000
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 8002856320
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1234.59
Number of variables21015
Total number of constraints8734
Number of constraints which are clauses712
Number of constraints which are cardinality constraints (but not clauses)3174
Number of constraints which are nor clauses,nor cardinality constraints4848
Minimum length of a constraint1
Maximum length of a constraint18426

Trace number 9413

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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:        905380 kB
Buffers:         15532 kB
Cached:          93880 kB
SwapCached:          0 kB
Active:          46700 kB
Inactive:        65584 kB
HighTotal:      131008 kB
HighFree:        39816 kB
LowTotal:       903652 kB
LowFree:        865564 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11436 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:43:56 (client local time) WITH STATUS 3 IN 71.9711 SECONDS
stats: 8133 7 71.9711 3

Solver Data

1:
seed: 0
Nr of vars set: 4  (#equs: 0)
Nr of vars set: 71  (#equs: 0)
#decisions: 204872;  #end-nodes: 1285;
#proof improvement attempts: 0;  #restarts: 15
Current batch, end-nodes: 55 / 83 (83)
#axs: 5587, #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: model found (1)
Model found with constant:  64910686 (2676239212:>=*);
#decisions: 13936;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5587, #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
Model found with constant:  65069886 (2676080012:>=*);
#decisions: 14279;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5587, #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
Model found with constant:  65709886 (2675440012:>=*);
#decisions: 13936;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 5587, #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
Model found with constant:  66170686 (2674979212:>=*);
#decisions: 14107;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 5587, #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
Model found with constant:  66995386 (2674154512:>=*);
#decisions: 13101;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  67154586 (2673995312:>=*);
#decisions: 13119;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  67635386 (2673514512:>=*);
#decisions: 13104;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  67794586 (2673355312:>=*);
#decisions: 13079;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5587, #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
Model found with constant:  67804586 (2673345312:>=*);
#decisions: 13086;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5587, #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
Model found with constant:  67824586 (2673325312:>=*);
#decisions: 13584;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5587, #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
Model found with constant:  67874336 (2673275562:>=*);
#decisions: 13084;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5587, #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
Model found with constant:  67884286 (2673265612:>=*);
#decisions: 395967;  #end-nodes: 2532;
#proof improvement attempts: 0;  #restarts: 30
Current batch, end-nodes: 20 / 87 (87)
#axs: 5587, #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
Model found with constant:  69600244 (2671549654:>=*);
#decisions: 13290;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  69918324 (2671231574:>=*);
#decisions: 13270;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  69966324 (2671183574:>=*);
#decisions: 13156;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5587, #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
Model found with constant:  70523324 (2670626574:>=*);
#decisions: 13139;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  71198324 (2669951574:>=*);
#decisions: 13115;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  71246324 (2669903574:>=*);
#decisions: 13275;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5587, #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
Model found with constant:  71317524 (2669832374:>=*);
#decisions: 13266;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  71365524 (2669784374:>=*);
#decisions: 13118;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  71477524 (2669672374:>=*);
#decisions: 13114;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5587, #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
Model found with constant:  71525524 (2669624374:>=*);
#decisions: 1226629;  #end-nodes: 8835;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 5587, #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
Model found with constant:
  (pushed:) 71525524 (2669624374:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 71  (#equs: 0)
Time taken: 18 min, 48 sec

2:

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

seed: 0
Nr of vars set: 71  (#equs: 0)
Nr of vars set: 71  (#equs: 0)
Interupt request received.
#decisions: 446491;  #end-nodes: 4226;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 0 / 128 (128)
#axs: 5516, #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: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 20158  (#equs: 0)
Time taken in seconds: 71

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/7835/stat): 7835 (vallstSAT2005PB) R 7834 7835 4070 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20532556 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7835/statm): 174 3 169 147 0 27 0
[pid=7835] 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=7836
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=7836) exited with status: 0
New process pid=7837
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=7837) exited with status: 0
New process pid=7838
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/wulflinc2/normalized-mps-v2-13-7-mkc1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0022 s]
Raw data (loadavg): 0.95 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1659 0 0 0 927 27 0 0 21 0 1 0 20532563 8237056 1563 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 2011 1563 413 48 0 1963 0
[pid=7838] vsize: 8044
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (Kb) 10172

[startup+20.0029 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1659 0 0 0 1590 136 0 0 19 0 1 0 20532563 8237056 1563 4294967295 134512640 134702520 3221223952 3221223088 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 2011 1563 413 48 0 1963 0
[pid=7838] vsize: 8044
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (Kb) 10172

[startup+30.0036 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1692 0 0 0 2147 281 0 0 17 0 1 0 20532563 14274560 1596 4294967295 134512640 134702520 3221223952 3221223172 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1596 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (Kb) 16068

[startup+40.0043 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1719 0 0 0 3083 302 0 0 23 0 1 0 20532563 14274560 1623 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3485 1623 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 33.86
Current children cumulated vsize (Kb) 16068

[startup+50.005 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1739 0 0 0 3986 336 0 0 25 0 1 0 20532563 14274560 1643 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1643 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 43.23
Current children cumulated vsize (Kb) 16068

[startup+60.0057 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 4886 369 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 52.56
Current children cumulated vsize (Kb) 16068

[startup+70.0074 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 5784 402 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 61.87
Current children cumulated vsize (Kb) 16068

[startup+80.0081 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 6681 434 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 71.16
Current children cumulated vsize (Kb) 16068

[startup+90.0088 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 7574 467 0 0 25 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 80.42
Current children cumulated vsize (Kb) 16068

[startup+100.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1768 0 0 0 8468 500 0 0 19 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (Kb) 16068

[startup+110.01 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1768 0 0 0 9383 529 0 0 20 0 1 0 20532563 14274560 1672 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3485 1672 413 48 0 3437 0
[pid=7838] vsize: 13940
Current children cumulated CPU time (s) 99.13
Current children cumulated vsize (Kb) 16068

[startup+120.012 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 10321 551 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 108.73
Current children cumulated vsize (Kb) 16072

[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 11303 557 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 118.61
Current children cumulated vsize (Kb) 16072

[startup+140.014 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 12239 580 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 128.2
Current children cumulated vsize (Kb) 16072

[startup+150.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 13213 589 0 0 24 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 138.03
Current children cumulated vsize (Kb) 16072

[startup+160.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 14161 606 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 147.68
Current children cumulated vsize (Kb) 16072

[startup+170.015 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 15115 621 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 157.37
Current children cumulated vsize (Kb) 16072

[startup+180.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 16094 628 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 167.23
Current children cumulated vsize (Kb) 16072

[startup+190.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 17036 648 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 176.85
Current children cumulated vsize (Kb) 16072

[startup+200.019 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 17999 659 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 186.59
Current children cumulated vsize (Kb) 16072

[startup+210.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 18961 671 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 196.33
Current children cumulated vsize (Kb) 16072

[startup+220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 19911 691 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 206.03
Current children cumulated vsize (Kb) 16072

[startup+230.021 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 20879 703 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 215.83
Current children cumulated vsize (Kb) 16072

[startup+240.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 21841 717 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 225.59
Current children cumulated vsize (Kb) 16072

[startup+250.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 22789 736 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 235.26
Current children cumulated vsize (Kb) 16072

[startup+260.023 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 23756 747 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 245.04
Current children cumulated vsize (Kb) 16072

[startup+270.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 24713 762 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 254.76
Current children cumulated vsize (Kb) 16072

[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 25666 776 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 264.43
Current children cumulated vsize (Kb) 16072

[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1769 0 0 0 26648 783 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 274.32
Current children cumulated vsize (Kb) 16072

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1769 0 0 0 27585 803 0 0 25 0 1 0 20532563 14278656 1673 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1673 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 283.89
Current children cumulated vsize (Kb) 16072

[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1822 0 0 0 28532 820 0 0 25 0 1 0 20532563 14278656 1726 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1726 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 293.53
Current children cumulated vsize (Kb) 16072

[startup+320.027 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1839 0 0 0 29434 855 0 0 25 0 1 0 20532563 14278656 1743 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3486 1743 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 302.9
Current children cumulated vsize (Kb) 16072

[startup+330.028 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1858 0 0 0 30334 890 0 0 20 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 312.25
Current children cumulated vsize (Kb) 16072

[startup+340.028 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1858 0 0 0 31263 913 0 0 21 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 321.77
Current children cumulated vsize (Kb) 16072

[startup+350.029 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1858 0 0 0 32182 940 0 0 25 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 331.23
Current children cumulated vsize (Kb) 16072

[startup+360.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1858 0 0 0 33079 973 0 0 25 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 340.53
Current children cumulated vsize (Kb) 16072

[startup+370.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1858 0 0 0 33984 1007 0 0 25 0 1 0 20532563 14278656 1762 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1762 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 349.92
Current children cumulated vsize (Kb) 16072

[startup+380.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1861 0 0 0 34884 1040 0 0 25 0 1 0 20532563 14278656 1765 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1765 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 359.25
Current children cumulated vsize (Kb) 16072

[startup+390.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1876 0 0 0 35884 1040 0 0 25 0 1 0 20532563 14278656 1780 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1780 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 369.25
Current children cumulated vsize (Kb) 16072

[startup+400.033 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1894 0 0 0 36836 1056 0 0 25 0 1 0 20532563 14278656 1798 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3486 1798 413 48 0 3438 0
[pid=7838] vsize: 13944
Current children cumulated CPU time (s) 378.93
Current children cumulated vsize (Kb) 16072

[startup+410.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 37722 1094 0 0 19 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 388.17
Current children cumulated vsize (Kb) 16112

[startup+420.034 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 38660 1115 0 0 24 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 397.76
Current children cumulated vsize (Kb) 16112

[startup+430.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 39564 1146 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 16112

[startup+440.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 40460 1180 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 416.41
Current children cumulated vsize (Kb) 16112

[startup+450.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 41359 1215 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 425.75
Current children cumulated vsize (Kb) 16112

[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 42255 1249 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 435.05
Current children cumulated vsize (Kb) 16112

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 43154 1282 0 0 19 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 444.37
Current children cumulated vsize (Kb) 16112

[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 44092 1304 0 0 17 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (Kb) 16112

[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 44999 1333 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 463.33
Current children cumulated vsize (Kb) 16112

[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 45932 1355 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 472.88
Current children cumulated vsize (Kb) 16112

[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 46890 1371 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 482.62
Current children cumulated vsize (Kb) 16112

[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 47864 1381 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 492.46
Current children cumulated vsize (Kb) 16112

[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 48807 1399 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 502.07
Current children cumulated vsize (Kb) 16112

[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 49757 1417 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 511.75
Current children cumulated vsize (Kb) 16112

[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 50731 1426 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (Kb) 16112

[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 51664 1449 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 531.14
Current children cumulated vsize (Kb) 16112

[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 52620 1466 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 540.87
Current children cumulated vsize (Kb) 16112

[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 53596 1473 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 550.7
Current children cumulated vsize (Kb) 16112

[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 54539 1492 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223536 134558692 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 560.32
Current children cumulated vsize (Kb) 16112

[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 55497 1508 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 570.06
Current children cumulated vsize (Kb) 16112

[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 56477 1515 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (Kb) 16112

[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 57417 1533 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 589.51
Current children cumulated vsize (Kb) 16112

[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 58373 1549 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 599.23
Current children cumulated vsize (Kb) 16112

[startup+640.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 59352 1556 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 609.09
Current children cumulated vsize (Kb) 16112

[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 1927 0 0 0 60251 1590 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 618.42
Current children cumulated vsize (Kb) 16112

[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 1927 0 0 0 61149 1621 0 0 25 0 1 0 20532563 14319616 1831 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1831 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 627.71
Current children cumulated vsize (Kb) 16112

[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2036 0 0 0 62047 1654 0 0 21 0 1 0 20532563 14319616 1940 4294967295 134512640 134702520 3221223952 3221223352 134607352 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1940 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 637.02
Current children cumulated vsize (Kb) 16112

[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 62973 1678 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 646.52
Current children cumulated vsize (Kb) 16112

[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 63897 1702 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 656
Current children cumulated vsize (Kb) 16112

[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 64794 1735 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 665.3
Current children cumulated vsize (Kb) 16112

[startup+710.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 65689 1769 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 674.59
Current children cumulated vsize (Kb) 16112

[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 66587 1804 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 683.92
Current children cumulated vsize (Kb) 16112

[startup+730.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 67472 1842 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 693.15
Current children cumulated vsize (Kb) 16112

[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 68368 1878 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553097 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 702.47
Current children cumulated vsize (Kb) 16112

[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 69264 1914 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 711.79
Current children cumulated vsize (Kb) 16112

[startup+760.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 70165 1945 0 0 19 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 721.11
Current children cumulated vsize (Kb) 16112

[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 71102 1964 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 730.67
Current children cumulated vsize (Kb) 16112

[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 72014 1996 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 740.11
Current children cumulated vsize (Kb) 16112

[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 72908 2033 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 749.42
Current children cumulated vsize (Kb) 16112

[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 73809 2064 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 758.74
Current children cumulated vsize (Kb) 16112

[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 74706 2100 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553154 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 768.07
Current children cumulated vsize (Kb) 16112

[startup+820.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 75591 2139 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 777.31
Current children cumulated vsize (Kb) 16112

[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 76491 2169 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 786.61
Current children cumulated vsize (Kb) 16112

[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 77389 2201 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 795.91
Current children cumulated vsize (Kb) 16112

[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 78287 2233 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 805.21
Current children cumulated vsize (Kb) 16112

[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 79211 2258 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 814.7
Current children cumulated vsize (Kb) 16112

[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 80132 2284 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 824.17
Current children cumulated vsize (Kb) 16112

[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 81028 2317 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 833.46
Current children cumulated vsize (Kb) 16112

[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 81930 2351 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 842.82
Current children cumulated vsize (Kb) 16112

[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 82831 2387 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 852.19
Current children cumulated vsize (Kb) 16112

[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 83718 2428 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 861.47
Current children cumulated vsize (Kb) 16112

[startup+920.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 84615 2463 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 870.79
Current children cumulated vsize (Kb) 16112

[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 85513 2495 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 880.09
Current children cumulated vsize (Kb) 16112

[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 86411 2530 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 889.42
Current children cumulated vsize (Kb) 16112

[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 87340 2553 0 0 21 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 898.94
Current children cumulated vsize (Kb) 16112

[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 88258 2581 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 908.4
Current children cumulated vsize (Kb) 16112

[startup+970.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 89154 2617 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 917.72
Current children cumulated vsize (Kb) 16112

[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 90051 2649 0 0 23 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 927.01
Current children cumulated vsize (Kb) 16112

[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 90955 2680 0 0 18 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 936.36
Current children cumulated vsize (Kb) 16112

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 91832 2720 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 945.53
Current children cumulated vsize (Kb) 16112

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 92730 2755 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 954.86
Current children cumulated vsize (Kb) 16112

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 93625 2788 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 964.14
Current children cumulated vsize (Kb) 16112

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 94530 2819 0 0 18 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 973.5
Current children cumulated vsize (Kb) 16112

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 95471 2837 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 983.09
Current children cumulated vsize (Kb) 16112

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 96373 2870 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 992.44
Current children cumulated vsize (Kb) 16112

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 97272 2903 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (Kb) 16112

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 98169 2938 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1011.08
Current children cumulated vsize (Kb) 16112

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 99069 2970 0 0 17 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 16112

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 99955 3010 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1029.66
Current children cumulated vsize (Kb) 16112

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 100853 3047 0 0 22 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1039.01
Current children cumulated vsize (Kb) 16112

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 101764 3076 0 0 19 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1048.41
Current children cumulated vsize (Kb) 16112

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 102697 3099 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1057.97
Current children cumulated vsize (Kb) 16112

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 103596 3132 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1067.29
Current children cumulated vsize (Kb) 16112

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 104489 3168 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1076.58
Current children cumulated vsize (Kb) 16112

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 105385 3202 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1085.88
Current children cumulated vsize (Kb) 16112

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 106282 3236 0 0 18 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223172 134550198 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1095.19
Current children cumulated vsize (Kb) 16112

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) R 7835 7835 4070 0 -1 0 2079 0 0 0 107228 3255 0 0 25 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1104.84
Current children cumulated vsize (Kb) 16112

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2079 0 0 0 108137 3285 0 0 20 0 1 0 20532563 14319616 1983 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3496 1983 413 48 0 3448 0
[pid=7838] vsize: 13984
Current children cumulated CPU time (s) 1114.23
Current children cumulated vsize (Kb) 16112

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7838
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20532556 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 242 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7838/stat): 7838 (vallst) T 7835 7835 4070 0 -1 0 2080 0 0 0 108843 3384 0 0 18 0 1 0 20532563 14499840 1984 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7838/statm): 3540 1984 413 48 0 3492 0
[pid=7838] vsize: 14160
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (Kb) 16288
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=7838) exited with status: 2
New process pid=7839
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=7839) exited with status: 0
New process pid=7840
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+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 147 0 0 0 13 1 0 0 19 0 1 0 20652567 1859584 118 4294967295 134512640 134702520 3221223712 3221223320 1074475105 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 454 118 413 48 0 406 0
[pid=7840] vsize: 1816
Current children cumulated CPU time (s) 1129.57
Current children cumulated vsize (Kb) 3944

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 1354 0 0 0 673 122 0 0 17 0 1 0 20652567 7602176 1324 4294967295 134512640 134702520 3221223712 3221222848 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 1856 1324 413 48 0 1808 0
[pid=7840] vsize: 7424
Current children cumulated CPU time (s) 1137.38
Current children cumulated vsize (Kb) 9552

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 1358 0 0 0 1208 270 0 0 20 0 1 0 20652567 7602176 1328 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 1856 1328 413 48 0 1808 0
[pid=7840] vsize: 7424
Current children cumulated CPU time (s) 1144.21
Current children cumulated vsize (Kb) 9552

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 1772 0 0 0 1931 360 0 0 20 0 1 0 20652567 13766656 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3361 1741 413 48 0 3313 0
[pid=7840] vsize: 13444
Current children cumulated CPU time (s) 1152.34
Current children cumulated vsize (Kb) 15572

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 1841 0 0 0 2642 455 0 0 17 0 1 0 20652567 13766656 1810 4294967295 134512640 134702520 3221223712 3221222932 134550192 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 3361 1810 413 48 0 3313 0
[pid=7840] vsize: 13444
Current children cumulated CPU time (s) 1160.4
Current children cumulated vsize (Kb) 15572

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 2090 0 0 0 3368 545 0 0 19 0 1 0 20652567 13770752 2059 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3362 2059 413 48 0 3314 0
[pid=7840] vsize: 13448
Current children cumulated CPU time (s) 1168.56
Current children cumulated vsize (Kb) 15576

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 2102 0 0 0 4064 642 0 0 22 0 1 0 20652567 13807616 2071 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2071 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1176.49
Current children cumulated vsize (Kb) 15612

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) T 7835 7835 4070 0 -1 0 2103 0 0 0 4774 733 0 0 17 0 1 0 20652567 13807616 2072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2072 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1184.5
Current children cumulated vsize (Kb) 15612

[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 2106 0 0 0 5504 818 0 0 17 0 1 0 20652567 13807616 2075 4294967295 134512640 134702520 3221223712 3221223112 134607362 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2075 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1192.65
Current children cumulated vsize (Kb) 15612

[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 2106 0 0 0 6237 905 0 0 21 0 1 0 20652567 13807616 2075 4294967295 134512640 134702520 3221223712 3221222932 134550179 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7840/statm): 3371 2075 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (Kb) 15612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 7840
Raw data (/proc/7835/stat): 7835 (vallstSAT2005PB) S 7834 7835 4070 0 -1 0 378 2455 0 0 1 0 109409 3533 17 0 1 0 20532556 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7835/statm): 532 248 485 147 0 385 0
[pid=7835] vsize: 2128
Raw data (/proc/7840/stat): 7840 (vallst) R 7835 7835 4070 0 -1 0 2106 0 0 0 6237 905 0 0 21 0 1 0 20652567 13807616 2075 4294967295 134512640 134702520 3221223712 3221222932 134550179 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7840/statm): 3371 2075 413 48 0 3323 0
[pid=7840] vsize: 13484
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (Kb) 15612

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

Child status: 3
Real time (s): 1290.66
CPU time (s): 71.9711
CPU user time (s): 62.8664
CPU system time (s): 9.10462
CPU usage (%): 5.57628
Max. virtual memory (cumulated for all children) (Kb): 16288

Verifier Data

ERROR: no interpretation found !