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/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb
MD5SUMa3dd3cd7dd293e24bffaff8bb73da54c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 9264

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:       1002888 kB
Buffers:           164 kB
Cached:          13640 kB
SwapCached:          0 kB
Active:          13712 kB
Inactive:         2992 kB
HighTotal:      131008 kB
HighFree:       113036 kB
LowTotal:       903652 kB
LowFree:        889852 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9112 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:20:30 (client local time) WITH STATUS 0 IN 1204.46 SECONDS
stats: 7992 7 1204.46 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 22  (#equs: 0)
#decisions: 571;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 230 (80)
#axs: 248, #non-axs: 35
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:  425342 (1671808:>=*);
#decisions: 43;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 248, #non-axs: 35
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:  434942 (1662208:>=*);
#decisions: 57;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 35
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:  444542 (1652608:>=*);
#decisions: 47;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 248, #non-axs: 35
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:  454142 (1643008:>=*);
#decisions: 49;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 248, #non-axs: 35
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:  466302 (1630848:>=*);
#decisions: 115;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 248, #non-axs: 35
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:  475902 (1621248:>=*);
#decisions: 50;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 35
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:  485502 (1611648:>=*);
#decisions: 49;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 35
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:  495102 (1602048:>=*);
#decisions: 47;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 248, #non-axs: 35
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:  504702 (1592448:>=*);
#decisions: 61;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 248, #non-axs: 35
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:  514302 (1582848:>=*);
#decisions: 95;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 248, #non-axs: 35
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:  523902 (1573248:>=*);
#decisions: 77;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 248, #non-axs: 36
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:  533502 (1563648:>=*);
#decisions: 59;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 248, #non-axs: 40
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:  534782 (1562368:>=*);
#decisions: 97;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 248, #non-axs: 41
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:  544382 (1552768:>=*);
#decisions: 78;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 248, #non-axs: 42
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:  553982 (1543168:>=*);
#decisions: 54;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 248, #non-axs: 43
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:  592382 (1504768:>=*);
#decisions: 75;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 248, #non-axs: 52
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:  595582 (1501568:>=*);
#decisions: 105;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 248, #non-axs: 59
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:  601342 (1495808:>=*);
#decisions: 40;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 248, #non-axs: 59
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:  639742 (1457408:>=*);
#decisions: 232;  #end-nodes: 142;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 62 / 104 (80)
#axs: 248, #non-axs: 96
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:  653182 (1443968:>=*);
#decisions: 1335;  #end-nodes: 765;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 594 / 663 (80)
#axs: 248, #non-axs: 490
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:  670462 (1426688:>=*);
#decisions: 21024;  #end-nodes: 11237;
#proof improvement attempts: 0;  #restarts: 61
Current batch, end-nodes: 350 / 363 (95)
#axs: 248, #non-axs: 4045
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 16
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  672382 (1424768:>=*);
#decisions: 14766;  #end-nodes: 8734;
#proof improvement attempts: 0;  #restarts: 22
Current batch, end-nodes: 114 / 231 (85)
#axs: 248, #non-axs: 5918
tight: meta-meta: start: 6, end: 9;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  673662 (1423488:>=*);
#decisions: 12200;  #end-nodes: 6930;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 310 / 569 (88)
#axs: 248, #non-axs: 5982
tight: meta-meta: start: 6, end: 9;  meta: start: 6, end (keep): 10
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  689022 (1408128:>=*);
#decisions: 3274668;  #end-nodes: 2434420;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 18194 (343)
#axs: 248, #non-axs: 3881
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
Model found with constant:
  (pushed:) 689022 (1408128:>=*)

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: 25  (#equs: 0)
Time taken: 16 min, 5 sec

2:
seed: 0
Nr of vars set: 25  (#equs: 0)
Nr of vars set: 25  (#equs: 0)
Interupt request received.
#decisions: 706440;  #end-nodes: 522288;
#proof improvement attempts: 0;  #restarts: 397
Current batch, end-nodes: 1019 / 1134 (219)
#axs: 248, #non-axs: 4174
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
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: 239  (#equs: 0)
Time taken: 3 min, 58 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) R 5616 5617 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20000376 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5617/statm): 174 9 169 147 0 27 0
[pid=5617] 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=5618
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=5618) exited with status: 0
New process pid=5619
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=5619) exited with status: 0
New process pid=5620
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/wulflinc14/normalized-mps-v2-13-7-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.97 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 308 0 0 0 568 134 0 0 18 0 1 0 20000385 2764800 278 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 675 278 413 48 0 627 0
[pid=5620] vsize: 2700
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (Kb) 4828

[startup+20.0044 s]
Raw data (loadavg): 0.98 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 493 0 0 0 1233 249 0 0 19 0 1 0 20000385 3129344 463 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 463 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 14.83
Current children cumulated vsize (Kb) 5184

[startup+30.0051 s]
Raw data (loadavg): 0.98 1.03 1.05 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 500 0 0 0 1910 354 0 0 16 0 1 0 20000385 3129344 470 4294967295 134512640 134702520 3221223952 3221223232 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 470 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 22.65
Current children cumulated vsize (Kb) 5184

[startup+40.0048 s]
Raw data (loadavg): 0.98 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 509 0 0 0 2608 456 0 0 16 0 1 0 20000385 3129344 479 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 479 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 30.65
Current children cumulated vsize (Kb) 5184

[startup+50.0065 s]
Raw data (loadavg): 0.98 1.03 1.05 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 510 0 0 0 3287 564 0 0 16 0 1 0 20000385 3129344 480 4294967295 134512640 134702520 3221223952 3221222720 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 480 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 38.52
Current children cumulated vsize (Kb) 5184

[startup+60.0061 s]
Raw data (loadavg): 0.99 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 510 0 0 0 3911 683 0 0 16 0 1 0 20000385 3129344 480 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 480 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 45.95
Current children cumulated vsize (Kb) 5184

[startup+70.0078 s]
Raw data (loadavg): 0.99 1.02 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 510 0 0 0 4625 780 0 0 16 0 1 0 20000385 3129344 480 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 764 480 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 54.06
Current children cumulated vsize (Kb) 5184

[startup+80.0085 s]
Raw data (loadavg): 0.99 1.02 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 521 0 0 0 5357 871 0 0 16 0 1 0 20000385 3129344 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 491 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 62.29
Current children cumulated vsize (Kb) 5184

[startup+90.0092 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 521 0 0 0 5970 998 0 0 16 0 1 0 20000385 3129344 491 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 764 491 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 69.69
Current children cumulated vsize (Kb) 5184

[startup+100.01 s]
Raw data (loadavg): 1.06 1.04 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 524 0 0 0 6693 1089 0 0 16 0 1 0 20000385 3129344 494 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 764 494 413 48 0 716 0
[pid=5620] vsize: 3056
Current children cumulated CPU time (s) 77.83
Current children cumulated vsize (Kb) 5184

[startup+110.011 s]
Raw data (loadavg): 1.05 1.04 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 538 0 0 0 7456 1175 0 0 16 0 1 0 20000385 3264512 508 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 797 508 413 48 0 749 0
[pid=5620] vsize: 3188
Current children cumulated CPU time (s) 86.32
Current children cumulated vsize (Kb) 5316

[startup+120.012 s]
Raw data (loadavg): 1.04 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 545 0 0 0 8218 1255 0 0 16 0 1 0 20000385 3264512 515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 797 515 413 48 0 749 0
[pid=5620] vsize: 3188
Current children cumulated CPU time (s) 94.74
Current children cumulated vsize (Kb) 5316

[startup+130.013 s]
Raw data (loadavg): 1.03 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 555 0 0 0 8981 1337 0 0 16 0 1 0 20000385 3264512 525 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 797 525 413 48 0 749 0
[pid=5620] vsize: 3188
Current children cumulated CPU time (s) 103.19
Current children cumulated vsize (Kb) 5316

[startup+140.013 s]
Raw data (loadavg): 1.03 1.03 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 556 0 0 0 9589 1462 0 0 15 0 1 0 20000385 3264512 526 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 797 526 413 48 0 749 0
[pid=5620] vsize: 3188
Current children cumulated CPU time (s) 110.52
Current children cumulated vsize (Kb) 5316

[startup+150.014 s]
Raw data (loadavg): 1.10 1.04 1.05 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 562 0 0 0 10345 1546 0 0 16 0 1 0 20000385 3399680 532 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 830 532 413 48 0 782 0
[pid=5620] vsize: 3320
Current children cumulated CPU time (s) 118.92
Current children cumulated vsize (Kb) 5448

[startup+160.015 s]
Raw data (loadavg): 1.08 1.04 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 567 0 0 0 11123 1620 0 0 16 0 1 0 20000385 3399680 537 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 830 537 413 48 0 782 0
[pid=5620] vsize: 3320
Current children cumulated CPU time (s) 127.44
Current children cumulated vsize (Kb) 5448

[startup+170.016 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 577 0 0 0 11874 1702 0 0 16 0 1 0 20000385 3399680 547 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 830 547 413 48 0 782 0
[pid=5620] vsize: 3320
Current children cumulated CPU time (s) 135.77
Current children cumulated vsize (Kb) 5448

[startup+180.016 s]
Raw data (loadavg): 1.06 1.04 1.05 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 583 0 0 0 12644 1779 0 0 16 0 1 0 20000385 3399680 553 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 830 553 413 48 0 782 0
[pid=5620] vsize: 3320
Current children cumulated CPU time (s) 144.24
Current children cumulated vsize (Kb) 5448

[startup+190.017 s]
Raw data (loadavg): 1.05 1.04 1.05 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 595 0 0 0 13411 1860 0 0 16 0 1 0 20000385 3534848 565 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 863 565 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 152.72
Current children cumulated vsize (Kb) 5580

[startup+200.018 s]
Raw data (loadavg): 1.04 1.03 1.04 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 595 0 0 0 14074 1974 0 0 16 0 1 0 20000385 3534848 565 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 863 565 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 160.49
Current children cumulated vsize (Kb) 5580

[startup+210.018 s]
Raw data (loadavg): 1.03 1.03 1.04 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 601 0 0 0 14805 2061 0 0 16 0 1 0 20000385 3534848 571 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 863 571 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 168.67
Current children cumulated vsize (Kb) 5580

[startup+220.02 s]
Raw data (loadavg): 1.03 1.03 1.04 2/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 607 0 0 0 15572 2141 0 0 16 0 1 0 20000385 3534848 577 4294967295 134512640 134702520 3221223952 3221223072 134591722 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 863 577 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 177.14
Current children cumulated vsize (Kb) 5580

[startup+230.021 s]
Raw data (loadavg): 1.02 1.03 1.04 1/56 5620
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 609 0 0 0 16307 2229 0 0 16 0 1 0 20000385 3534848 579 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 863 579 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 185.37
Current children cumulated vsize (Kb) 5580

[startup+240.02 s]
Raw data (loadavg): 1.09 1.04 1.05 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 615 0 0 0 17064 2312 0 0 16 0 1 0 20000385 3534848 585 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 863 585 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 193.77
Current children cumulated vsize (Kb) 5580

[startup+250.021 s]
Raw data (loadavg): 1.08 1.04 1.05 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 619 0 0 0 17827 2392 0 0 16 0 1 0 20000385 3534848 589 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 863 589 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 202.2
Current children cumulated vsize (Kb) 5580

[startup+260.022 s]
Raw data (loadavg): 1.07 1.04 1.04 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 624 0 0 0 18606 2467 0 0 16 0 1 0 20000385 3534848 594 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 863 594 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 210.74
Current children cumulated vsize (Kb) 5580

[startup+270.022 s]
Raw data (loadavg): 1.06 1.04 1.04 2/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 625 0 0 0 19242 2588 0 0 16 0 1 0 20000385 3534848 595 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 863 595 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 218.31
Current children cumulated vsize (Kb) 5580

[startup+280.023 s]
Raw data (loadavg): 1.05 1.04 1.04 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 627 0 0 0 20010 2667 0 0 16 0 1 0 20000385 3534848 597 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 863 597 413 48 0 815 0
[pid=5620] vsize: 3452
Current children cumulated CPU time (s) 226.78
Current children cumulated vsize (Kb) 5580

[startup+290.024 s]
Raw data (loadavg): 1.04 1.03 1.04 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 629 0 0 0 20781 2745 0 0 16 0 1 0 20000385 3670016 599 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 599 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 235.27
Current children cumulated vsize (Kb) 5712

[startup+300.024 s]
Raw data (loadavg): 1.03 1.03 1.04 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 632 0 0 0 21547 2823 0 0 16 0 1 0 20000385 3670016 602 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 602 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 243.71
Current children cumulated vsize (Kb) 5712

[startup+310.025 s]
Raw data (loadavg): 1.03 1.03 1.04 1/56 5622
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 632 0 0 0 22332 2894 0 0 16 0 1 0 20000385 3670016 602 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 602 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 252.27
Current children cumulated vsize (Kb) 5712

[startup+320.026 s]
Raw data (loadavg): 1.10 1.05 1.04 2/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 636 0 0 0 23089 2979 0 0 16 0 1 0 20000385 3670016 606 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 896 606 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 260.69
Current children cumulated vsize (Kb) 5712

[startup+330.026 s]
Raw data (loadavg): 1.09 1.04 1.04 2/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 636 0 0 0 23756 3088 0 0 16 0 1 0 20000385 3670016 606 4294967295 134512640 134702520 3221223952 3221222720 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 896 606 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 268.45
Current children cumulated vsize (Kb) 5712

[startup+340.026 s]
Raw data (loadavg): 1.15 1.06 1.05 1/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 642 0 0 0 24496 3179 0 0 16 0 1 0 20000385 3670016 612 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 612 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 276.76
Current children cumulated vsize (Kb) 5712

[startup+350.027 s]
Raw data (loadavg): 1.12 1.06 1.05 2/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 645 0 0 0 25275 3259 0 0 16 0 1 0 20000385 3670016 615 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 615 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 285.35
Current children cumulated vsize (Kb) 5712

[startup+360.027 s]
Raw data (loadavg): 1.10 1.05 1.05 1/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 648 0 0 0 26051 3335 0 0 16 0 1 0 20000385 3670016 618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 618 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 293.87
Current children cumulated vsize (Kb) 5712

[startup+370.029 s]
Raw data (loadavg): 1.09 1.05 1.04 1/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 650 0 0 0 26828 3411 0 0 16 0 1 0 20000385 3670016 620 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 620 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 302.4
Current children cumulated vsize (Kb) 5712

[startup+380.03 s]
Raw data (loadavg): 1.07 1.05 1.04 2/56 5677
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 653 0 0 0 27590 3490 0 0 16 0 1 0 20000385 3670016 623 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 896 623 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 310.81
Current children cumulated vsize (Kb) 5712

[startup+390.029 s]
Raw data (loadavg): 1.06 1.05 1.04 2/56 5679
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 657 0 0 0 28394 3557 0 0 16 0 1 0 20000385 3670016 627 4294967295 134512640 134702520 3221223952 3221223232 134551072 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 896 627 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 319.52
Current children cumulated vsize (Kb) 5712

[startup+400.03 s]
Raw data (loadavg): 1.05 1.05 1.04 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 660 0 0 0 29175 3631 0 0 16 0 1 0 20000385 3670016 630 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 896 630 413 48 0 848 0
[pid=5620] vsize: 3584
Current children cumulated CPU time (s) 328.07
Current children cumulated vsize (Kb) 5712

[startup+410.031 s]
Raw data (loadavg): 1.04 1.04 1.04 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 662 0 0 0 29969 3701 0 0 16 0 1 0 20000385 3805184 632 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 929 632 413 48 0 881 0
[pid=5620] vsize: 3716
Current children cumulated CPU time (s) 336.71
Current children cumulated vsize (Kb) 5844

[startup+420.031 s]
Raw data (loadavg): 1.04 1.04 1.04 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 662 0 0 0 30583 3830 0 0 16 0 1 0 20000385 3805184 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 929 632 413 48 0 881 0
[pid=5620] vsize: 3716
Current children cumulated CPU time (s) 344.14
Current children cumulated vsize (Kb) 5844

[startup+430.033 s]
Raw data (loadavg): 1.03 1.04 1.04 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 664 0 0 0 31394 3896 0 0 16 0 1 0 20000385 3805184 634 4294967295 134512640 134702520 3221223952 3221222848 134550704 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 929 634 413 48 0 881 0
[pid=5620] vsize: 3716
Current children cumulated CPU time (s) 352.91
Current children cumulated vsize (Kb) 5844

[startup+440.033 s]
Raw data (loadavg): 1.02 1.04 1.04 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 667 0 0 0 32197 3960 0 0 16 0 1 0 20000385 3805184 637 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 929 637 413 48 0 881 0
[pid=5620] vsize: 3716
Current children cumulated CPU time (s) 361.58
Current children cumulated vsize (Kb) 5844

[startup+450.034 s]
Raw data (loadavg): 1.02 1.04 1.04 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 669 0 0 0 32977 4032 0 0 16 0 1 0 20000385 3805184 639 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 929 639 413 48 0 881 0
[pid=5620] vsize: 3716
Current children cumulated CPU time (s) 370.1
Current children cumulated vsize (Kb) 5844

[startup+460.034 s]
Raw data (loadavg): 1.02 1.03 1.04 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 675 0 0 0 33782 4104 0 0 16 0 1 0 20000385 3805184 645 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 929 645 413 48 0 881 0
[pid=5620] vsize: 3716
Current children cumulated CPU time (s) 378.87
Current children cumulated vsize (Kb) 5844

[startup+470.036 s]
Raw data (loadavg): 1.01 1.03 1.03 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 1012 0 0 0 34561 4181 0 0 16 0 1 0 20000385 5169152 982 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1262 982 413 48 0 1214 0
[pid=5620] vsize: 5048
Current children cumulated CPU time (s) 387.43
Current children cumulated vsize (Kb) 7176

[startup+480.036 s]
Raw data (loadavg): 1.01 1.03 1.03 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 1384 0 0 0 35408 4232 0 0 17 0 1 0 20000385 6668288 1354 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1628 1354 413 48 0 1580 0
[pid=5620] vsize: 6512
Current children cumulated CPU time (s) 396.41
Current children cumulated vsize (Kb) 8640

[startup+490.037 s]
Raw data (loadavg): 1.01 1.03 1.03 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 1692 0 0 0 36289 4277 0 0 16 0 1 0 20000385 8040448 1662 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1963 1662 413 48 0 1915 0
[pid=5620] vsize: 7852
Current children cumulated CPU time (s) 405.67
Current children cumulated vsize (Kb) 9980

[startup+500.038 s]
Raw data (loadavg): 1.01 1.03 1.03 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 1728 0 0 0 37156 4323 0 0 17 0 1 0 20000385 7987200 1682 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1950 1682 413 48 0 1902 0
[pid=5620] vsize: 7800
Current children cumulated CPU time (s) 414.8
Current children cumulated vsize (Kb) 9928

[startup+510.039 s]
Raw data (loadavg): 1.01 1.03 1.03 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 1960 0 0 0 38049 4361 0 0 17 0 1 0 20000385 9003008 1914 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2198 1914 413 48 0 2150 0
[pid=5620] vsize: 8792
Current children cumulated CPU time (s) 424.11
Current children cumulated vsize (Kb) 10920

[startup+520.039 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 2211 0 0 0 38948 4398 0 0 17 0 1 0 20000385 9981952 2165 4294967295 134512640 134702520 3221223952 3221223216 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2437 2165 413 48 0 2389 0
[pid=5620] vsize: 9748
Current children cumulated CPU time (s) 433.47
Current children cumulated vsize (Kb) 11876

[startup+530.04 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 2418 0 0 0 39857 4428 0 0 17 0 1 0 20000385 10960896 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2676 2372 413 48 0 2628 0
[pid=5620] vsize: 10704
Current children cumulated CPU time (s) 442.86
Current children cumulated vsize (Kb) 12832

[startup+540.04 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 2578 0 0 0 40781 4454 0 0 17 0 1 0 20000385 11583488 2532 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2828 2532 413 48 0 2780 0
[pid=5620] vsize: 11312
Current children cumulated CPU time (s) 452.36
Current children cumulated vsize (Kb) 13440

[startup+550.04 s]
Raw data (loadavg): 1.00 1.02 1.03 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 2652 0 0 0 41685 4486 0 0 17 0 1 0 20000385 11898880 2606 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2905 2606 413 48 0 2857 0
[pid=5620] vsize: 11620
Current children cumulated CPU time (s) 461.72
Current children cumulated vsize (Kb) 13748

[startup+560.041 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 2652 0 0 0 42606 4514 0 0 18 0 1 0 20000385 11898880 2606 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2905 2606 413 48 0 2857 0
[pid=5620] vsize: 11620
Current children cumulated CPU time (s) 471.21
Current children cumulated vsize (Kb) 13748

[startup+570.043 s]
Raw data (loadavg): 1.00 1.02 1.02 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 2747 0 0 0 43522 4542 0 0 18 0 1 0 20000385 12234752 2701 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2987 2701 413 48 0 2939 0
[pid=5620] vsize: 11948
Current children cumulated CPU time (s) 480.65
Current children cumulated vsize (Kb) 14076

[startup+580.043 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 2932 0 0 0 44444 4570 0 0 18 0 1 0 20000385 13062144 2886 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 3189 2886 413 48 0 3141 0
[pid=5620] vsize: 12756
Current children cumulated CPU time (s) 490.15
Current children cumulated vsize (Kb) 14884

[startup+590.044 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 3075 0 0 0 45369 4598 0 0 19 0 1 0 20000385 13545472 3029 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 3307 3029 413 48 0 3259 0
[pid=5620] vsize: 13228
Current children cumulated CPU time (s) 499.68
Current children cumulated vsize (Kb) 15356

[startup+600.045 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 3251 0 0 0 46291 4625 0 0 19 0 1 0 20000385 14344192 3205 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 3502 3205 413 48 0 3454 0
[pid=5620] vsize: 14008
Current children cumulated CPU time (s) 509.17
Current children cumulated vsize (Kb) 16136

[startup+610.045 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 3439 0 0 0 47215 4655 0 0 17 0 1 0 20000385 15106048 3393 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 3688 3393 413 48 0 3640 0
[pid=5620] vsize: 14752
Current children cumulated CPU time (s) 518.71
Current children cumulated vsize (Kb) 16880

[startup+620.047 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 3578 0 0 0 48149 4678 0 0 17 0 1 0 20000385 15761408 3532 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 3848 3532 413 48 0 3800 0
[pid=5620] vsize: 15392
Current children cumulated CPU time (s) 528.28
Current children cumulated vsize (Kb) 17520

[startup+630.048 s]
Raw data (loadavg): 1.00 1.02 1.02 1/56 5681
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 3708 0 0 0 49087 4702 0 0 19 0 1 0 20000385 16211968 3662 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 3958 3662 413 48 0 3910 0
[pid=5620] vsize: 15832
Current children cumulated CPU time (s) 537.9
Current children cumulated vsize (Kb) 17960

[startup+640.047 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 3849 0 0 0 50024 4724 0 0 17 0 1 0 20000385 16834560 3803 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4110 3803 413 48 0 4062 0
[pid=5620] vsize: 16440
Current children cumulated CPU time (s) 547.49
Current children cumulated vsize (Kb) 18568

[startup+650.048 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 3990 0 0 0 50962 4747 0 0 19 0 1 0 20000385 17473536 3944 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4266 3944 413 48 0 4218 0
[pid=5620] vsize: 17064
Current children cumulated CPU time (s) 557.1
Current children cumulated vsize (Kb) 19192

[startup+660.049 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4107 0 0 0 51902 4770 0 0 20 0 1 0 20000385 17895424 4061 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4369 4061 413 48 0 4321 0
[pid=5620] vsize: 17476
Current children cumulated CPU time (s) 566.73
Current children cumulated vsize (Kb) 19604

[startup+670.05 s]
Raw data (loadavg): 1.00 1.01 1.02 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4266 0 0 0 52835 4793 0 0 18 0 1 0 20000385 18530304 4220 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4524 4220 413 48 0 4476 0
[pid=5620] vsize: 18096
Current children cumulated CPU time (s) 576.29
Current children cumulated vsize (Kb) 20224

[startup+680.051 s]
Raw data (loadavg): 1.00 1.01 1.01 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 53753 4822 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221222848 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 585.76
Current children cumulated vsize (Kb) 20664

[startup+690.052 s]
Raw data (loadavg): 1.00 1.01 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 54383 4943 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 593.27
Current children cumulated vsize (Kb) 20664

[startup+700.052 s]
Raw data (loadavg): 1.00 1.01 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 55243 4991 0 0 17 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 602.35
Current children cumulated vsize (Kb) 20664

[startup+710.053 s]
Raw data (loadavg): 1.00 1.01 1.01 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 56133 5029 0 0 17 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 611.63
Current children cumulated vsize (Kb) 20664

[startup+720.054 s]
Raw data (loadavg): 1.00 1.01 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 57020 5071 0 0 17 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 620.92
Current children cumulated vsize (Kb) 20664

[startup+730.054 s]
Raw data (loadavg): 1.00 1.01 1.01 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 57838 5130 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 629.69
Current children cumulated vsize (Kb) 20664

[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 58638 5201 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 638.4
Current children cumulated vsize (Kb) 20664

[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 59435 5269 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 647.05
Current children cumulated vsize (Kb) 20664

[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 60251 5334 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 655.86
Current children cumulated vsize (Kb) 20664

[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 61035 5410 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 664.46
Current children cumulated vsize (Kb) 20664

[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 61824 5486 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 673.11
Current children cumulated vsize (Kb) 20664

[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 62603 5564 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223468 1074652320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 681.68
Current children cumulated vsize (Kb) 20664

[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 63406 5630 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 690.37
Current children cumulated vsize (Kb) 20664

[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 64023 5748 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 697.72
Current children cumulated vsize (Kb) 20664

[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 64846 5810 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 706.57
Current children cumulated vsize (Kb) 20664

[startup+830.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 65686 5864 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 20664

[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 66484 5937 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 724.22
Current children cumulated vsize (Kb) 20664

[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 67293 6001 0 0 17 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 732.95
Current children cumulated vsize (Kb) 20664

[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 68105 6067 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 741.73
Current children cumulated vsize (Kb) 20664

[startup+870.066 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 68893 6141 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 750.35
Current children cumulated vsize (Kb) 20664

[startup+880.067 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 69699 6208 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 759.08
Current children cumulated vsize (Kb) 20664

[startup+890.066 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 70495 6279 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223232 134553444 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 767.75
Current children cumulated vsize (Kb) 20664

[startup+900.067 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 71301 6347 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 776.49
Current children cumulated vsize (Kb) 20664

[startup+910.068 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 72093 6418 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 785.12
Current children cumulated vsize (Kb) 20664

[startup+920.068 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 72879 6490 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 793.7
Current children cumulated vsize (Kb) 20664

[startup+930.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 73683 6555 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 802.39
Current children cumulated vsize (Kb) 20664

[startup+940.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 74505 6618 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 811.24
Current children cumulated vsize (Kb) 20664

[startup+950.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 75152 6735 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221222720 134552910 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 818.88
Current children cumulated vsize (Kb) 20664

[startup+960.071 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 75928 6814 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 827.43
Current children cumulated vsize (Kb) 20664

[startup+970.073 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 76705 6889 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 835.95
Current children cumulated vsize (Kb) 20664

[startup+980.073 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 77538 6949 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 844.88
Current children cumulated vsize (Kb) 20664

[startup+990.074 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 78350 7019 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 853.7
Current children cumulated vsize (Kb) 20664

[startup+1000.07 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 79138 7088 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 862.27
Current children cumulated vsize (Kb) 20664

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 79979 7143 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 871.23
Current children cumulated vsize (Kb) 20664

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 80802 7206 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 880.09
Current children cumulated vsize (Kb) 20664

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 81627 7263 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 888.91
Current children cumulated vsize (Kb) 20664

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 82444 7329 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 897.74
Current children cumulated vsize (Kb) 20664

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 83237 7401 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 906.39
Current children cumulated vsize (Kb) 20664

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 84029 7471 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 915.01
Current children cumulated vsize (Kb) 20664

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5617 5617 4060 0 -1 0 4364 0 0 0 84830 7542 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 923.73
Current children cumulated vsize (Kb) 20664

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 85635 7612 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 932.48
Current children cumulated vsize (Kb) 20664

[startup+1090.08 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 86421 7688 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 941.1
Current children cumulated vsize (Kb) 20664

[startup+1100.08 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 87232 7753 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 949.86
Current children cumulated vsize (Kb) 20664

[startup+1110.08 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5683
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20000376 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 242 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5617 5617 4060 0 -1 0 4364 0 0 0 88065 7811 0 0 16 0 1 0 20000385 18980864 4318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 4634 4318 413 48 0 4586 0
[pid=5620] vsize: 18536
Current children cumulated CPU time (s) 958.77
Current children cumulated vsize (Kb) 20664
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=5620) exited with status: 2
New process pid=5684
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=5684) exited with status: 0
New process pid=5685
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+1120.08 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 273 0 0 0 38 4 0 0 20 0 1 0 20112349 2273280 243 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 555 243 413 48 0 507 0
[pid=5685] vsize: 2220
Current children cumulated CPU time (s) 966.2
Current children cumulated vsize (Kb) 4348

[startup+1130.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 275 0 0 0 766 92 0 0 20 0 1 0 20112349 2273280 245 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 555 245 413 48 0 507 0
[pid=5685] vsize: 2220
Current children cumulated CPU time (s) 974.36
Current children cumulated vsize (Kb) 4348

[startup+1140.08 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 484 0 0 0 1497 184 0 0 18 0 1 0 20112349 3170304 454 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 774 454 413 48 0 726 0
[pid=5685] vsize: 3096
Current children cumulated CPU time (s) 982.59
Current children cumulated vsize (Kb) 5224

[startup+1150.08 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 511 0 0 0 2254 269 0 0 17 0 1 0 20112349 3170304 481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 774 481 413 48 0 726 0
[pid=5685] vsize: 3096
Current children cumulated CPU time (s) 991.01
Current children cumulated vsize (Kb) 5224

[startup+1160.09 s]
Raw data (loadavg): 1.10 1.03 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 532 0 0 0 3030 346 0 0 18 0 1 0 20112349 3301376 502 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 806 502 413 48 0 758 0
[pid=5685] vsize: 3224
Current children cumulated CPU time (s) 999.54
Current children cumulated vsize (Kb) 5352

[startup+1170.09 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 542 0 0 0 3786 430 0 0 19 0 1 0 20112349 3301376 512 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 806 512 413 48 0 758 0
[pid=5685] vsize: 3224
Current children cumulated CPU time (s) 1007.94
Current children cumulated vsize (Kb) 5352

[startup+1180.09 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 542 0 0 0 4517 519 0 0 16 0 1 0 20112349 3301376 512 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 806 512 413 48 0 758 0
[pid=5685] vsize: 3224
Current children cumulated CPU time (s) 1016.14
Current children cumulated vsize (Kb) 5352

[startup+1190.09 s]
Raw data (loadavg): 1.20 1.06 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 550 0 0 0 5269 603 0 0 16 0 1 0 20112349 3301376 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 806 520 413 48 0 758 0
[pid=5685] vsize: 3224
Current children cumulated CPU time (s) 1024.5
Current children cumulated vsize (Kb) 5352

[startup+1200.09 s]
Raw data (loadavg): 1.17 1.05 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 555 0 0 0 6028 686 0 0 15 0 1 0 20112349 3436544 525 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 839 525 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1032.92
Current children cumulated vsize (Kb) 5484

[startup+1210.09 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) R 5617 5617 4060 0 -1 0 563 0 0 0 6817 756 0 0 16 0 1 0 20112349 3436544 533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5685/statm): 839 533 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1041.51
Current children cumulated vsize (Kb) 5484

[startup+1220.09 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 570 0 0 0 7599 831 0 0 16 0 1 0 20112349 3436544 540 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 839 540 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1050.08
Current children cumulated vsize (Kb) 5484

[startup+1230.09 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) R 5617 5617 4060 0 -1 0 570 0 0 0 8339 920 0 0 16 0 1 0 20112349 3436544 540 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5685/statm): 839 540 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1058.37
Current children cumulated vsize (Kb) 5484

[startup+1240.09 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) R 5617 5617 4060 0 -1 0 573 0 0 0 9094 1007 0 0 16 0 1 0 20112349 3436544 543 4294967295 134512640 134702520 3221223712 3221222980 134553847 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5685/statm): 839 543 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1066.79
Current children cumulated vsize (Kb) 5484

[startup+1250.09 s]
Raw data (loadavg): 1.07 1.04 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 577 0 0 0 9876 1085 0 0 16 0 1 0 20112349 3436544 547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 839 547 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1075.39
Current children cumulated vsize (Kb) 5484

[startup+1260.09 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 582 0 0 0 10669 1159 0 0 16 0 1 0 20112349 3436544 552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 839 552 413 48 0 791 0
[pid=5685] vsize: 3356
Current children cumulated CPU time (s) 1084.06
Current children cumulated vsize (Kb) 5484

[startup+1270.09 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 587 0 0 0 11460 1235 0 0 16 0 1 0 20112349 3571712 557 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 872 557 413 48 0 824 0
[pid=5685] vsize: 3488
Current children cumulated CPU time (s) 1092.73
Current children cumulated vsize (Kb) 5616

[startup+1280.1 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 592 0 0 0 12251 1307 0 0 16 0 1 0 20112349 3571712 562 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 872 562 413 48 0 824 0
[pid=5685] vsize: 3488
Current children cumulated CPU time (s) 1101.36
Current children cumulated vsize (Kb) 5616

[startup+1290.1 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 598 0 0 0 13045 1377 0 0 16 0 1 0 20112349 3571712 568 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 872 568 413 48 0 824 0
[pid=5685] vsize: 3488
Current children cumulated CPU time (s) 1110
Current children cumulated vsize (Kb) 5616

[startup+1300.1 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) R 5617 5617 4060 0 -1 0 600 0 0 0 13832 1452 0 0 16 0 1 0 20112349 3571712 570 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5685/statm): 872 570 413 48 0 824 0
[pid=5685] vsize: 3488
Current children cumulated CPU time (s) 1118.62
Current children cumulated vsize (Kb) 5616

[startup+1310.1 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 600 0 0 0 14558 1546 0 0 16 0 1 0 20112349 3571712 570 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 872 570 413 48 0 824 0
[pid=5685] vsize: 3488
Current children cumulated CPU time (s) 1126.82
Current children cumulated vsize (Kb) 5616

[startup+1320.1 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 602 0 0 0 15319 1630 0 0 16 0 1 0 20112349 3571712 572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 872 572 413 48 0 824 0
[pid=5685] vsize: 3488
Current children cumulated CPU time (s) 1135.27
Current children cumulated vsize (Kb) 5616

[startup+1330.1 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) R 5617 5617 4060 0 -1 0 605 0 0 0 16112 1699 0 0 16 0 1 0 20112349 3727360 575 4294967295 134512640 134702520 3221223712 3221222992 134553950 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5685/statm): 910 575 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1143.89
Current children cumulated vsize (Kb) 5768

[startup+1340.1 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 608 0 0 0 16909 1771 0 0 16 0 1 0 20112349 3727360 578 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 910 578 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1152.58
Current children cumulated vsize (Kb) 5768

[startup+1350.1 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 610 0 0 0 17695 1846 0 0 16 0 1 0 20112349 3727360 580 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 910 580 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1161.19
Current children cumulated vsize (Kb) 5768

[startup+1360.1 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 615 0 0 0 18517 1909 0 0 16 0 1 0 20112349 3727360 585 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 910 585 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1170.04
Current children cumulated vsize (Kb) 5768

[startup+1370.1 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) R 5617 5617 4060 0 -1 0 622 0 0 0 19315 1979 0 0 16 0 1 0 20112349 3727360 592 4294967295 134512640 134702520 3221223712 3221222992 134552239 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5685/statm): 910 592 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1178.72
Current children cumulated vsize (Kb) 5768

[startup+1380.11 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 624 0 0 0 20120 2051 0 0 16 0 1 0 20112349 3727360 594 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5685/statm): 910 594 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1187.49
Current children cumulated vsize (Kb) 5768

[startup+1390.11 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 624 0 0 0 20856 2149 0 0 16 0 1 0 20112349 3727360 594 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 910 594 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1195.83
Current children cumulated vsize (Kb) 5768

[startup+1400.11 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 625 0 0 0 21617 2234 0 0 16 0 1 0 20112349 3727360 595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 910 595 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1204.29
Current children cumulated vsize (Kb) 5768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1400.11 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5685
Raw data (/proc/5617/stat): 5617 (vallstSAT2005PB) S 5616 5617 4060 0 -1 0 378 4739 0 0 1 1 88637 7939 17 0 1 0 20000376 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5617/statm): 532 248 485 147 0 385 0
[pid=5617] vsize: 2128
Raw data (/proc/5685/stat): 5685 (vallst) T 5617 5617 4060 0 -1 0 625 0 0 0 21617 2234 0 0 16 0 1 0 20112349 3727360 595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5685/statm): 910 595 413 48 0 862 0
[pid=5685] vsize: 3640
Current children cumulated CPU time (s) 1204.29
Current children cumulated vsize (Kb) 5768

Sending SIGTERM to -5617
Sleeping 2 seconds
New process pid=5687
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5688
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5685) exited with status: 3
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/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5578/stat
open syscall for file /proc/5578/status
open syscall for file /proc/5578/cmdline
open syscall for file /proc/5578/environ
open syscall for file /proc/5616/stat
open syscall for file /proc/5616/status
open syscall for file /proc/5616/cmdline
open syscall for file /proc/5616/environ
open syscall for file /proc/5617/stat
open syscall for file /proc/5617/status
open syscall for file /proc/5617/cmdline
open syscall for file /proc/5617/environ
open syscall for file /proc/5687/stat
open syscall for file /proc/5687/status
open syscall for file /proc/5687/cmdline
open syscall for file /proc/5687/environ
open syscall for file /proc/5688/stat
open syscall for file /proc/5688/status
open syscall for file /proc/5688/cmdline
open syscall for file /proc/5688/environ
One traced child (pid=5687) exited with status: 0
One traced child (pid=5688) exited with status: 0
New process pid=5689
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=5689) exited with status: 0
New process pid=5690
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=5690) exited with status: 0
One traced child (pid=5617) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1400.6
CPU time (s): 1204.46
CPU user time (s): 1102.64
CPU system time (s): 101.825
CPU usage (%): 85.9964
Max. virtual memory (cumulated for all children) (Kb): 20664

Verifier Data

ERROR: no interpretation found !