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/miplib3/normalized-mps-v2-13-7-air05.opb
MD5SUM02b9fdfc96e8b88ab6df67318e21abbc
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 39630
Optimality of the best value was proved NO
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.32
Number of variables7195
Total number of constraints7621
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint404

Trace number 9320

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        933360 kB
Buffers:         10248 kB
Cached:          73800 kB
SwapCached:          0 kB
Active:          45888 kB
Inactive:        41056 kB
HighTotal:      131008 kB
HighFree:        53340 kB
LowTotal:       903652 kB
LowFree:        880020 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8732 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:44:39 (client local time) WITH STATUS 0 IN 1209.93 SECONDS
stats: 8031 7 1209.93 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 957  (#equs: 0)
#decisions: 9175;  #end-nodes: 940;
#proof improvement attempts: 0;  #restarts: 10
Current batch, end-nodes: 77 / 82 (82)
#axs: 853, #non-axs: 18
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:  3864260 (44187:>=*);
#decisions: 91;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 853, #non-axs: 18
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:  3864261 (44186:>=*);
#decisions: 99;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 19
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:  3864509 (43938:>=*);
#decisions: 16472;  #end-nodes: 2599;
#proof improvement attempts: 0;  #restarts: 29
Current batch, end-nodes: 68 / 92 (87)
#axs: 853, #non-axs: 112
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:  3865173 (43274:>=*);
#decisions: 62;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 853, #non-axs: 112
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:  3865186 (43261:>=*);
#decisions: 66;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 112
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:  3865198 (43249:>=*);
#decisions: 62;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 112
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:  3865211 (43236:>=*);
#decisions: 72782;  #end-nodes: 18528;
#proof improvement attempts: 0;  #restarts: 145
Current batch, end-nodes: 85 / 116 (116)
#axs: 853, #non-axs: 333
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:  3865488 (42959:>=*);
#decisions: 8774;  #end-nodes: 2302;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 80 / 84 (84)
#axs: 853, #non-axs: 413
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:  3866105 (42342:>=*);
#decisions: 77;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 853, #non-axs: 413
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:  3866270 (42177:>=*);
#decisions: 79;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 853, #non-axs: 413
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:  3866318 (42129:>=*);
#decisions: 82;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 413
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:  3866401 (42046:>=*);
#decisions: 117658;  #end-nodes: 33798;
#proof improvement attempts: 0;  #restarts: 227
Current batch, end-nodes: 17 / 147 (136)
#axs: 853, #non-axs: 578
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:  3868197 (40250:>=*);
#decisions: 151944;  #end-nodes: 44248;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 153 (151)
#axs: 853, #non-axs: 712
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3868197 (40250:>=*)

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

2:
seed: 0
Nr of vars set: 1079  (#equs: 0)
Nr of vars set: 1079  (#equs: 0)
#decisions: 415720;  #end-nodes: 163166;
#proof improvement attempts: 0;  #restarts: 618
Current batch, end-nodes: 121 / 274 (274)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
result: model found (1)
Model found with constant:  3319685 (39914:>=*);
#decisions: 50;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3319734 (39865:>=*);
#decisions: 58;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3320608 (38991:>=*);
#decisions: 48;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3320644 (38955:>=*);
#decisions: 85;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3320696 (38903:>=*);
#decisions: 156;  #end-nodes: 75;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 75 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3320799 (38800:>=*);
#decisions: 103;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3320801 (38798:>=*);
#decisions: 87;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3320996 (38603:>=*);
#decisions: 92;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 120 (120)
#axs: 853, #non-axs: 4173
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 38
Model found with constant:  3321060 (38539:>=*);
Interupt request received.
#decisions: 535066;  #end-nodes: 199896;
#proof improvement attempts: 0;  #restarts: 751
Current batch, end-nodes: 235 / 317 (307)
#axs: 853, #non-axs: 4764
tight: meta-meta: start: 3, end: 4;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 20, end (keep): 30
Model found with constant:
  (pushed:) 3321060 (38539:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5259  (#equs: 0)
Time taken: 14 min, 17 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/5756/stat): 5756 (vallstSAT2005PB) R 5755 5756 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20173569 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5756/statm): 174 3 169 147 0 27 0
[pid=5756] 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=5757
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=5757) exited with status: 0
New process pid=5758
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=5758) exited with status: 0
New process pid=5759
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0021 s]
Raw data (loadavg): 0.87 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 903 0 0 0 870 42 0 0 24 0 1 0 20173579 5382144 813 4294967295 134512640 134702520 3221223952 3221223088 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 1314 813 413 48 0 1266 0
[pid=5759] vsize: 5256
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (Kb) 7384

[startup+20.0037 s]
Raw data (loadavg): 0.89 0.97 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 982 0 0 0 1696 103 0 0 20 0 1 0 20173579 9912320 892 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2420 892 413 48 0 2372 0
[pid=5759] vsize: 9680
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (Kb) 11808

[startup+30.0044 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1024 0 0 0 2584 140 0 0 25 0 1 0 20173579 10063872 934 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2457 934 413 48 0 2409 0
[pid=5759] vsize: 9828
Current children cumulated CPU time (s) 27.26
Current children cumulated vsize (Kb) 11956

[startup+40.005 s]
Raw data (loadavg): 0.92 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1035 0 0 0 3503 165 0 0 25 0 1 0 20173579 10072064 945 4294967295 134512640 134702520 3221223952 3221208188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2459 945 413 48 0 2411 0
[pid=5759] vsize: 9836
Current children cumulated CPU time (s) 36.7
Current children cumulated vsize (Kb) 11964

[startup+50.0056 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1126 0 0 0 4429 189 0 0 25 0 1 0 20173579 10072064 1036 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2459 1036 413 48 0 2411 0
[pid=5759] vsize: 9836
Current children cumulated CPU time (s) 46.2
Current children cumulated vsize (Kb) 11964

[startup+60.0053 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1180 0 0 0 5360 210 0 0 25 0 1 0 20173579 10072064 1090 4294967295 134512640 134702520 3221223952 3221222976 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2459 1090 413 48 0 2411 0
[pid=5759] vsize: 9836
Current children cumulated CPU time (s) 55.72
Current children cumulated vsize (Kb) 11964

[startup+70.0069 s]
Raw data (loadavg): 0.95 0.97 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1182 0 0 0 6280 238 0 0 25 0 1 0 20173579 10227712 1092 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2497 1092 413 48 0 2449 0
[pid=5759] vsize: 9988
Current children cumulated CPU time (s) 65.2
Current children cumulated vsize (Kb) 12116

[startup+80.0075 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1414 0 0 0 7195 267 0 0 25 0 1 0 20173579 10190848 1324 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1324 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 74.64
Current children cumulated vsize (Kb) 12080

[startup+90.0082 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1419 0 0 0 8109 299 0 0 25 0 1 0 20173579 10190848 1329 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1329 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 12080

[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1424 0 0 0 9043 322 0 0 25 0 1 0 20173579 10190848 1334 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1334 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 93.67
Current children cumulated vsize (Kb) 12080

[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1432 0 0 0 9970 348 0 0 25 0 1 0 20173579 10190848 1342 4294967295 134512640 134702520 3221223952 3221223280 134617871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2488 1342 413 48 0 2440 0
[pid=5759] vsize: 9952
Current children cumulated CPU time (s) 103.2
Current children cumulated vsize (Kb) 12080

[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1437 0 0 0 10904 369 0 0 25 0 1 0 20173579 10317824 1347 4294967295 134512640 134702520 3221223952 3221222976 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1347 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 112.75
Current children cumulated vsize (Kb) 12204

[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1441 0 0 0 11829 394 0 0 25 0 1 0 20173579 10317824 1351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2519 1351 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 122.25
Current children cumulated vsize (Kb) 12204

[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1445 0 0 0 12761 418 0 0 25 0 1 0 20173579 10317824 1355 4294967295 134512640 134702520 3221223952 3221222848 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1355 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 131.81
Current children cumulated vsize (Kb) 12204

[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1446 0 0 0 13668 448 0 0 25 0 1 0 20173579 10317824 1356 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2519 1356 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 141.18
Current children cumulated vsize (Kb) 12204

[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1447 0 0 0 14594 472 0 0 25 0 1 0 20173579 10317824 1357 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1357 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 150.68
Current children cumulated vsize (Kb) 12204

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1449 0 0 0 15522 496 0 0 25 0 1 0 20173579 10317824 1359 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2519 1359 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (Kb) 12204

[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1453 0 0 0 16448 519 0 0 25 0 1 0 20173579 10317824 1363 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2519 1363 413 48 0 2471 0
[pid=5759] vsize: 10076
Current children cumulated CPU time (s) 169.69
Current children cumulated vsize (Kb) 12204

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1461 0 0 0 17390 538 0 0 25 0 1 0 20173579 10461184 1371 4294967295 134512640 134702520 3221223952 3221222848 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2554 1371 413 48 0 2506 0
[pid=5759] vsize: 10216
Current children cumulated CPU time (s) 179.3
Current children cumulated vsize (Kb) 12344

[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1461 0 0 0 18307 569 0 0 25 0 1 0 20173579 10412032 1371 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1371 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 188.78
Current children cumulated vsize (Kb) 12296

[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1466 0 0 0 19219 601 0 0 25 0 1 0 20173579 10412032 1376 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1376 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 198.22
Current children cumulated vsize (Kb) 12296

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1468 0 0 0 20151 624 0 0 25 0 1 0 20173579 10412032 1378 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2542 1378 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 207.77
Current children cumulated vsize (Kb) 12296

[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1472 0 0 0 21078 649 0 0 25 0 1 0 20173579 10412032 1382 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1382 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 217.29
Current children cumulated vsize (Kb) 12296

[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1473 0 0 0 22015 670 0 0 25 0 1 0 20173579 10412032 1383 4294967295 134512640 134702520 3221223952 3221222976 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1383 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 226.87
Current children cumulated vsize (Kb) 12296

[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1476 0 0 0 22950 694 0 0 25 0 1 0 20173579 10412032 1386 4294967295 134512640 134702520 3221223952 3221222848 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1386 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 236.46
Current children cumulated vsize (Kb) 12296

[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1476 0 0 0 23866 724 0 0 25 0 1 0 20173579 10412032 1386 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1386 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 245.92
Current children cumulated vsize (Kb) 12296

[startup+270.022 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1480 0 0 0 24788 751 0 0 25 0 1 0 20173579 10412032 1390 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1390 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 255.41
Current children cumulated vsize (Kb) 12296

[startup+280.022 s]
Raw data (loadavg): 1.06 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1482 0 0 0 25711 775 0 0 25 0 1 0 20173579 10412032 1392 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2542 1392 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 264.88
Current children cumulated vsize (Kb) 12296

[startup+290.023 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1486 0 0 0 26635 801 0 0 25 0 1 0 20173579 10412032 1396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2542 1396 413 48 0 2494 0
[pid=5759] vsize: 10168
Current children cumulated CPU time (s) 274.38
Current children cumulated vsize (Kb) 12296

[startup+300.023 s]
Raw data (loadavg): 1.04 0.99 0.99 1/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) T 5756 5756 4059 0 -1 0 1491 0 0 0 27570 823 0 0 25 0 1 0 20173579 10555392 1401 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5759/statm): 2577 1401 413 48 0 2529 0
[pid=5759] vsize: 10308
Current children cumulated CPU time (s) 283.95
Current children cumulated vsize (Kb) 12436

[startup+310.024 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1492 0 0 0 28497 847 0 0 25 0 1 0 20173579 10555392 1402 4294967295 134512640 134702520 3221223952 3221222848 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2577 1402 413 48 0 2529 0
[pid=5759] vsize: 10308
Current children cumulated CPU time (s) 293.46
Current children cumulated vsize (Kb) 12436

[startup+320.025 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1493 0 0 0 29413 877 0 0 25 0 1 0 20173579 10530816 1403 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1403 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 302.92
Current children cumulated vsize (Kb) 12412

[startup+330.025 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1497 0 0 0 30347 900 0 0 25 0 1 0 20173579 10530816 1407 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1407 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 312.49
Current children cumulated vsize (Kb) 12412

[startup+340.026 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1499 0 0 0 31268 926 0 0 25 0 1 0 20173579 10530816 1409 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1409 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 321.96
Current children cumulated vsize (Kb) 12412

[startup+350.027 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1503 0 0 0 32200 948 0 0 25 0 1 0 20173579 10530816 1413 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1413 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 331.5
Current children cumulated vsize (Kb) 12412

[startup+360.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1505 0 0 0 33142 969 0 0 25 0 1 0 20173579 10530816 1415 4294967295 134512640 134702520 3221223952 3221222848 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1415 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 341.13
Current children cumulated vsize (Kb) 12412

[startup+370.028 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5759
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20173569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 242 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5759/stat): 5759 (vallst) R 5756 5756 4059 0 -1 0 1505 0 0 0 34066 997 0 0 25 0 1 0 20173579 10530816 1415 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5759/statm): 2571 1415 413 48 0 2523 0
[pid=5759] vsize: 10284
Current children cumulated CPU time (s) 350.65
Current children cumulated vsize (Kb) 12412
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=5759) exited with status: 2
New process pid=5760
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=5760) exited with status: 0
New process pid=5761
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+380.029 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 806 0 0 0 843 18 0 0 25 0 1 0 20210679 5042176 776 4294967295 134512640 134702520 3221223712 3221222848 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 1231 776 413 48 0 1183 0
[pid=5761] vsize: 4924
Current children cumulated CPU time (s) 360.22
Current children cumulated vsize (Kb) 7052

[startup+390.03 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 906 0 0 0 1771 44 0 0 25 0 1 0 20210679 8728576 876 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2131 876 413 48 0 2083 0
[pid=5761] vsize: 8524
Current children cumulated CPU time (s) 369.76
Current children cumulated vsize (Kb) 10652

[startup+400.031 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1062 0 0 0 2691 73 0 0 25 0 1 0 20210679 8863744 1032 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2164 1032 413 48 0 2116 0
[pid=5761] vsize: 8656
Current children cumulated CPU time (s) 379.25
Current children cumulated vsize (Kb) 10784

[startup+410.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1081 0 0 0 3611 101 0 0 25 0 1 0 20210679 8863744 1051 4294967295 134512640 134702520 3221223712 3221176448 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2164 1051 413 48 0 2116 0
[pid=5761] vsize: 8656
Current children cumulated CPU time (s) 388.73
Current children cumulated vsize (Kb) 10784

[startup+420.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1095 0 0 0 4535 125 0 0 25 0 1 0 20210679 8978432 1065 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1065 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 398.21
Current children cumulated vsize (Kb) 10896

[startup+430.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1101 0 0 0 5472 146 0 0 25 0 1 0 20210679 8978432 1071 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1071 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 407.79
Current children cumulated vsize (Kb) 10896

[startup+440.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1102 0 0 0 6399 172 0 0 25 0 1 0 20210679 8978432 1072 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1072 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 417.32
Current children cumulated vsize (Kb) 10896

[startup+450.034 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1112 0 0 0 7325 198 0 0 25 0 1 0 20210679 8978432 1082 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1082 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 426.84
Current children cumulated vsize (Kb) 10896

[startup+460.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1118 0 0 0 8238 227 0 0 25 0 1 0 20210679 8978432 1088 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2192 1088 413 48 0 2144 0
[pid=5761] vsize: 8768
Current children cumulated CPU time (s) 436.26
Current children cumulated vsize (Kb) 10896

[startup+470.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1330 0 0 0 9174 248 0 0 25 0 1 0 20210679 9134080 1300 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1300 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 445.83
Current children cumulated vsize (Kb) 11048

[startup+480.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1343 0 0 0 10105 273 0 0 25 0 1 0 20210679 9134080 1313 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1313 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 455.39
Current children cumulated vsize (Kb) 11048

[startup+490.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1343 0 0 0 11039 296 0 0 25 0 1 0 20210679 9134080 1313 4294967295 134512640 134702520 3221223712 3221222608 134552768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1313 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 464.96
Current children cumulated vsize (Kb) 11048

[startup+500.038 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1344 0 0 0 11953 326 0 0 25 0 1 0 20210679 9134080 1314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1314 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 474.4
Current children cumulated vsize (Kb) 11048

[startup+510.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1362 0 0 0 12874 355 0 0 25 0 1 0 20210679 9134080 1332 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1332 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 483.9
Current children cumulated vsize (Kb) 11048

[startup+520.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1367 0 0 0 13807 379 0 0 25 0 1 0 20210679 9134080 1337 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1337 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 493.47
Current children cumulated vsize (Kb) 11048

[startup+530.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1372 0 0 0 14730 407 0 0 25 0 1 0 20210679 9134080 1342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2230 1342 413 48 0 2182 0
[pid=5761] vsize: 8920
Current children cumulated CPU time (s) 502.98
Current children cumulated vsize (Kb) 11048

[startup+540.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1377 0 0 0 15669 427 0 0 25 0 1 0 20210679 9281536 1347 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2266 1347 413 48 0 2218 0
[pid=5761] vsize: 9064
Current children cumulated CPU time (s) 512.57
Current children cumulated vsize (Kb) 11192

[startup+550.04 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1377 0 0 0 16595 454 0 0 25 0 1 0 20210679 9232384 1347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2254 1347 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (Kb) 11144

[startup+560.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1381 0 0 0 17514 483 0 0 25 0 1 0 20210679 9232384 1351 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2254 1351 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 531.58
Current children cumulated vsize (Kb) 11144

[startup+570.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1383 0 0 0 18440 508 0 0 25 0 1 0 20210679 9232384 1353 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2254 1353 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 541.09
Current children cumulated vsize (Kb) 11144

[startup+580.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1387 0 0 0 19370 537 0 0 25 0 1 0 20210679 9232384 1357 4294967295 134512640 134702520 3221223712 3221155308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2254 1357 413 48 0 2206 0
[pid=5761] vsize: 9016
Current children cumulated CPU time (s) 550.68
Current children cumulated vsize (Kb) 11144

[startup+590.043 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1887 0 0 0 20305 561 0 0 25 0 1 0 20210679 9367552 1857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2287 1857 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 560.27
Current children cumulated vsize (Kb) 11276

[startup+600.043 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1900 0 0 0 21240 585 0 0 25 0 1 0 20210679 9367552 1870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2287 1870 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 569.86
Current children cumulated vsize (Kb) 11276

[startup+610.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1906 0 0 0 22175 609 0 0 25 0 1 0 20210679 9367552 1876 4294967295 134512640 134702520 3221223712 3221222736 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2287 1876 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 579.45
Current children cumulated vsize (Kb) 11276

[startup+620.045 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1909 0 0 0 23104 635 0 0 25 0 1 0 20210679 9367552 1879 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2287 1879 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 589
Current children cumulated vsize (Kb) 11276

[startup+630.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1912 0 0 0 24030 661 0 0 25 0 1 0 20210679 9367552 1882 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2287 1882 413 48 0 2239 0
[pid=5761] vsize: 9148
Current children cumulated CPU time (s) 598.52
Current children cumulated vsize (Kb) 11276

[startup+640.046 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 1949 0 0 0 24965 685 0 0 25 0 1 0 20210679 9502720 1919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2320 1919 413 48 0 2272 0
[pid=5761] vsize: 9280
Current children cumulated CPU time (s) 608.11
Current children cumulated vsize (Kb) 11408

[startup+650.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 1983 0 0 0 25899 707 0 0 25 0 1 0 20210679 9502720 1953 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2320 1953 413 48 0 2272 0
[pid=5761] vsize: 9280
Current children cumulated CPU time (s) 617.67
Current children cumulated vsize (Kb) 11408

[startup+660.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2021 0 0 0 26837 729 0 0 25 0 1 0 20210679 9502720 1991 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2320 1991 413 48 0 2272 0
[pid=5761] vsize: 9280
Current children cumulated CPU time (s) 627.27
Current children cumulated vsize (Kb) 11408

[startup+670.048 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2051 0 0 0 27769 754 0 0 25 0 1 0 20210679 10133504 2021 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2474 2021 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 636.84
Current children cumulated vsize (Kb) 12024

[startup+680.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2061 0 0 0 28704 777 0 0 25 0 1 0 20210679 10133504 2031 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2474 2031 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 646.42
Current children cumulated vsize (Kb) 12024

[startup+690.049 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2061 0 0 0 29631 801 0 0 25 0 1 0 20210679 10133504 2031 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2474 2031 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 655.93
Current children cumulated vsize (Kb) 12024

[startup+700.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2064 0 0 0 30561 825 0 0 25 0 1 0 20210679 10133504 2034 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2474 2034 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 665.47
Current children cumulated vsize (Kb) 12024

[startup+710.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2072 0 0 0 31499 847 0 0 25 0 1 0 20210679 10133504 2042 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2474 2042 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 675.07
Current children cumulated vsize (Kb) 12024

[startup+720.05 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2079 0 0 0 32435 868 0 0 25 0 1 0 20210679 10133504 2049 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2474 2049 413 48 0 2426 0
[pid=5761] vsize: 9896
Current children cumulated CPU time (s) 684.64
Current children cumulated vsize (Kb) 12024

[startup+730.051 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2094 0 0 0 33376 887 0 0 25 0 1 0 20210679 10268672 2064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2064 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 694.24
Current children cumulated vsize (Kb) 12156

[startup+740.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2098 0 0 0 34316 910 0 0 25 0 1 0 20210679 10268672 2068 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2507 2068 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 703.87
Current children cumulated vsize (Kb) 12156

[startup+750.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2101 0 0 0 35253 932 0 0 25 0 1 0 20210679 10268672 2071 4294967295 134512640 134702520 3221223712 3221222608 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2071 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 713.46
Current children cumulated vsize (Kb) 12156

[startup+760.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2101 0 0 0 36186 955 0 0 25 0 1 0 20210679 10268672 2071 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2071 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 723.02
Current children cumulated vsize (Kb) 12156

[startup+770.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2102 0 0 0 37117 980 0 0 25 0 1 0 20210679 10268672 2072 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2072 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 732.58
Current children cumulated vsize (Kb) 12156

[startup+780.056 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2107 0 0 0 38059 1002 0 0 25 0 1 0 20210679 10268672 2077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2507 2077 413 48 0 2459 0
[pid=5761] vsize: 10028
Current children cumulated CPU time (s) 742.22
Current children cumulated vsize (Kb) 12156

[startup+790.058 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2113 0 0 0 38994 1026 0 0 25 0 1 0 20210679 10272768 2083 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2508 2083 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 751.81
Current children cumulated vsize (Kb) 12160

[startup+800.058 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2114 0 0 0 39925 1052 0 0 25 0 1 0 20210679 10272768 2084 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2508 2084 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 761.38
Current children cumulated vsize (Kb) 12160

[startup+810.059 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2115 0 0 0 40855 1076 0 0 25 0 1 0 20210679 10272768 2085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2508 2085 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 770.92
Current children cumulated vsize (Kb) 12160

[startup+820.059 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2116 0 0 0 41775 1106 0 0 25 0 1 0 20210679 10272768 2086 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2508 2086 413 48 0 2460 0
[pid=5761] vsize: 10032
Current children cumulated CPU time (s) 780.42
Current children cumulated vsize (Kb) 12160

[startup+830.06 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2121 0 0 0 42714 1128 0 0 25 0 1 0 20210679 10412032 2091 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2542 2091 413 48 0 2494 0
[pid=5761] vsize: 10168
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 12296

[startup+840.062 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2121 0 0 0 43640 1158 0 0 25 0 1 0 20210679 10362880 2091 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2091 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 799.59
Current children cumulated vsize (Kb) 12248

[startup+850.062 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2123 0 0 0 44559 1185 0 0 25 0 1 0 20210679 10362880 2093 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2093 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 809.05
Current children cumulated vsize (Kb) 12248

[startup+860.062 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2125 0 0 0 45472 1216 0 0 25 0 1 0 20210679 10362880 2095 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2095 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 818.49
Current children cumulated vsize (Kb) 12248

[startup+870.063 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2126 0 0 0 46394 1240 0 0 21 0 1 0 20210679 10362880 2096 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2096 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 827.95
Current children cumulated vsize (Kb) 12248

[startup+880.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 47323 1266 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 837.5
Current children cumulated vsize (Kb) 12248

[startup+890.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 48252 1291 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221222608 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 847.04
Current children cumulated vsize (Kb) 12248

[startup+900.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 49163 1321 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 856.45
Current children cumulated vsize (Kb) 12248

[startup+910.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2129 0 0 0 50079 1351 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221223104 134604470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 865.91
Current children cumulated vsize (Kb) 12248

[startup+920.066 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2129 0 0 0 50996 1380 0 0 25 0 1 0 20210679 10362880 2099 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2099 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 875.37
Current children cumulated vsize (Kb) 12248

[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2130 0 0 0 51917 1408 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 884.86
Current children cumulated vsize (Kb) 12248

[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2130 0 0 0 52849 1431 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 894.41
Current children cumulated vsize (Kb) 12248

[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2130 0 0 0 53781 1454 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 903.96
Current children cumulated vsize (Kb) 12248

[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2130 0 0 0 54689 1485 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 913.35
Current children cumulated vsize (Kb) 12248

[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2130 0 0 0 55607 1515 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 922.83
Current children cumulated vsize (Kb) 12248

[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2130 0 0 0 56528 1543 0 0 25 0 1 0 20210679 10362880 2100 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2100 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 932.32
Current children cumulated vsize (Kb) 12248

[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2131 0 0 0 57447 1567 0 0 25 0 1 0 20210679 10362880 2101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2530 2101 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (Kb) 12248

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2136 0 0 0 58383 1590 0 0 25 0 1 0 20210679 10362880 2106 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2106 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 951.34
Current children cumulated vsize (Kb) 12248

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2136 0 0 0 59310 1615 0 0 25 0 1 0 20210679 10362880 2106 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2106 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 960.86
Current children cumulated vsize (Kb) 12248

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2136 0 0 0 60223 1647 0 0 25 0 1 0 20210679 10362880 2106 4294967295 134512640 134702520 3221223712 3221222992 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2106 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 970.31
Current children cumulated vsize (Kb) 12248

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2138 0 0 0 61152 1670 0 0 25 0 1 0 20210679 10362880 2108 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2108 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 979.83
Current children cumulated vsize (Kb) 12248

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2138 0 0 0 62082 1694 0 0 25 0 1 0 20210679 10362880 2108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2108 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 989.37
Current children cumulated vsize (Kb) 12248

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2138 0 0 0 63015 1717 0 0 25 0 1 0 20210679 10362880 2108 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2108 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 998.93
Current children cumulated vsize (Kb) 12248

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2142 0 0 0 63950 1740 0 0 25 0 1 0 20210679 10362880 2112 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2530 2112 413 48 0 2482 0
[pid=5761] vsize: 10120
Current children cumulated CPU time (s) 1008.51
Current children cumulated vsize (Kb) 12248

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2145 0 0 0 64885 1763 0 0 25 0 1 0 20210679 10514432 2115 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2567 2115 413 48 0 2519 0
[pid=5761] vsize: 10268
Current children cumulated CPU time (s) 1018.09
Current children cumulated vsize (Kb) 12396

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2145 0 0 0 65812 1787 0 0 25 0 1 0 20210679 10465280 2115 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2115 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1027.6
Current children cumulated vsize (Kb) 12348

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2145 0 0 0 66747 1807 0 0 25 0 1 0 20210679 10465280 2115 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2115 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1037.15
Current children cumulated vsize (Kb) 12348

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2147 0 0 0 67679 1829 0 0 25 0 1 0 20210679 10465280 2117 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2117 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1046.69
Current children cumulated vsize (Kb) 12348

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2150 0 0 0 68611 1854 0 0 25 0 1 0 20210679 10465280 2120 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2120 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1056.26
Current children cumulated vsize (Kb) 12348

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2152 0 0 0 69546 1876 0 0 25 0 1 0 20210679 10465280 2122 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2122 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1065.83
Current children cumulated vsize (Kb) 12348

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2157 0 0 0 70481 1900 0 0 17 0 1 0 20210679 10465280 2127 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2127 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1075.42
Current children cumulated vsize (Kb) 12348

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2157 0 0 0 71417 1922 0 0 25 0 1 0 20210679 10465280 2127 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2127 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1085
Current children cumulated vsize (Kb) 12348

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2159 0 0 0 72342 1949 0 0 25 0 1 0 20210679 10465280 2129 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2129 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1094.52
Current children cumulated vsize (Kb) 12348

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2160 0 0 0 73278 1974 0 0 25 0 1 0 20210679 10465280 2130 4294967295 134512640 134702520 3221223712 3221222736 134557229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2130 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1104.13
Current children cumulated vsize (Kb) 12348

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2163 0 0 0 74212 1995 0 0 25 0 1 0 20210679 10465280 2133 4294967295 134512640 134702520 3221223712 3221222736 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2133 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1113.68
Current children cumulated vsize (Kb) 12348

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2163 0 0 0 75147 2019 0 0 25 0 1 0 20210679 10465280 2133 4294967295 134512640 134702520 3221223712 3221222992 134551065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2133 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 12348

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2165 0 0 0 76086 2041 0 0 25 0 1 0 20210679 10465280 2135 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2555 2135 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1132.88
Current children cumulated vsize (Kb) 12348

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2166 0 0 0 77023 2064 0 0 25 0 1 0 20210679 10465280 2136 4294967295 134512640 134702520 3221223712 3221222736 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2555 2136 413 48 0 2507 0
[pid=5761] vsize: 10220
Current children cumulated CPU time (s) 1142.48
Current children cumulated vsize (Kb) 12348

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2170 0 0 0 77964 2086 0 0 25 0 1 0 20210679 10616832 2140 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2592 2140 413 48 0 2544 0
[pid=5761] vsize: 10368
Current children cumulated CPU time (s) 1152.11
Current children cumulated vsize (Kb) 12496

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2170 0 0 0 78898 2109 0 0 25 0 1 0 20210679 10567680 2140 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2140 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1161.68
Current children cumulated vsize (Kb) 12448

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) T 5756 5756 4059 0 -1 0 2170 0 0 0 79829 2134 0 0 25 0 1 0 20210679 10567680 2140 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2140 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1171.24
Current children cumulated vsize (Kb) 12448

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2174 0 0 0 80763 2157 0 0 25 0 1 0 20210679 10567680 2144 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2144 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1180.81
Current children cumulated vsize (Kb) 12448

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2177 0 0 0 81694 2178 0 0 25 0 1 0 20210679 10567680 2147 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2147 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1190.33
Current children cumulated vsize (Kb) 12448

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2178 0 0 0 82630 2200 0 0 25 0 1 0 20210679 10567680 2148 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2148 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1199.91
Current children cumulated vsize (Kb) 12448

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2180 0 0 0 83562 2224 0 0 25 0 1 0 20210679 10567680 2150 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5761/statm): 2580 2150 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1209.47
Current children cumulated vsize (Kb) 12448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5761
Raw data (/proc/5756/stat): 5756 (vallstSAT2005PB) S 5755 5756 4059 0 -1 0 378 1880 0 0 2 1 34154 1004 19 0 1 0 20173569 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5756/statm): 532 248 485 147 0 385 0
[pid=5756] vsize: 2128
Raw data (/proc/5761/stat): 5761 (vallst) R 5756 5756 4059 0 -1 0 2180 0 0 0 83562 2224 0 0 25 0 1 0 20210679 10567680 2150 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5761/statm): 2580 2150 413 48 0 2532 0
[pid=5761] vsize: 10320
Current children cumulated CPU time (s) 1209.47
Current children cumulated vsize (Kb) 12448

Sending SIGTERM to -5756
Sleeping 2 seconds
New process pid=5763
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5764
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5717/stat
open syscall for file /proc/5717/status
open syscall for file /proc/5717/cmdline
open syscall for file /proc/5717/environ
open syscall for file /proc/5755/stat
open syscall for file /proc/5755/status
open syscall for file /proc/5755/cmdline
open syscall for file /proc/5755/environ
open syscall for file /proc/5756/stat
open syscall for file /proc/5756/status
open syscall for file /proc/5756/cmdline
open syscall for file /proc/5756/environ
open syscall for file /proc/5761/stat
open syscall for file /proc/5761/status
open syscall for file /proc/5761/cmdline
open syscall for file /proc/5761/environ
open syscall for file /proc/5763/stat
open syscall for file /proc/5763/status
open syscall for file /proc/5763/cmdline
open syscall for file /proc/5763/environ
open syscall for file /proc/5764/stat
open syscall for file /proc/5764/status
open syscall for file /proc/5764/cmdline
open syscall for file /proc/5764/environ
One traced child (pid=5763) exited with status: 0
One traced child (pid=5764) exited with status: 0
New process pid=5765
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5761) exited with status: 3
One traced child (pid=5765) exited with status: 0
New process pid=5766
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=5766) exited with status: 0
One traced child (pid=5756) 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): 1270.58
CPU time (s): 1209.93
CPU user time (s): 1177.53
CPU system time (s): 32.4011
CPU usage (%): 95.2271
Max. virtual memory (cumulated for all children) (Kb): 12496

Verifier Data

ERROR: no interpretation found !