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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb
MD5SUMa48e4d8c244906df694603c81ee602a6
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.15
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 3837

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        884120 kB
Buffers:         36484 kB
Cached:          84744 kB
SwapCached:        832 kB
Active:          72556 kB
Inactive:        51368 kB
HighTotal:      131008 kB
HighFree:        42924 kB
LowTotal:       903652 kB
LowFree:        841196 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21020 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 03:18:06 (client local time) WITH STATUS 0 IN 1208.55 SECONDS
stats: 7530 7 1208.55 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 957  (#equs: 0)
#decisions: 13579;  #end-nodes: 2298;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 57 / 87 (84)
#axs: 853, #non-axs: 65
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:  3859924 (48523:>=*);
#decisions: 71;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 853, #non-axs: 65
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:  3861112 (47335:>=*);
#decisions: 12698;  #end-nodes: 2470;
#proof improvement attempts: 0;  #restarts: 25
Current batch, end-nodes: 290 / 668 (86)
#axs: 853, #non-axs: 165
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:  3861895 (46552:>=*);
#decisions: 86;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 853, #non-axs: 165
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:  3862237 (46210:>=*);
#decisions: 12407;  #end-nodes: 3197;
#proof improvement attempts: 0;  #restarts: 31
Current batch, end-nodes: 249 / 253 (87)
#axs: 853, #non-axs: 320
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:  3862613 (45834:>=*);
#decisions: 10861;  #end-nodes: 3051;
#proof improvement attempts: 0;  #restarts: 23
Current batch, end-nodes: 469 / 588 (85)
#axs: 853, #non-axs: 408
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:  3863459 (44988:>=*);
#decisions: 270;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 853, #non-axs: 408
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:  3863841 (44606:>=*);
#decisions: 204;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 853, #non-axs: 408
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:  3864110 (44337:>=*);
#decisions: 334;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 853, #non-axs: 408
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:  3864209 (44238:>=*);
#decisions: 9662;  #end-nodes: 2560;
#proof improvement attempts: 0;  #restarts: 22
Current batch, end-nodes: 509 / 700 (85)
#axs: 853, #non-axs: 540
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:  3865411 (43036:>=*);
#decisions: 53;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 540
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:  3865904 (42543:>=*);
#decisions: 52;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 853, #non-axs: 540
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:  3866020 (42427:>=*);
#decisions: 57;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 853, #non-axs: 540
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:  3866039 (42408:>=*);
#decisions: 68;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 853, #non-axs: 540
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:  3866133 (42314:>=*);
#decisions: 97;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 853, #non-axs: 540
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:  3866245 (42202:>=*);
#decisions: 113;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 853, #non-axs: 540
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:  3866342 (42105:>=*);
#decisions: 65;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 853, #non-axs: 540
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:  3866352 (42095:>=*);
#decisions: 132280;  #end-nodes: 35348;
#proof improvement attempts: 0;  #restarts: 263
Current batch, end-nodes: 900 / 1606 (145)
#axs: 853, #non-axs: 564
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:  3866417 (42030:>=*);
#decisions: 57555;  #end-nodes: 15190;
#proof improvement attempts: 0;  #restarts: 127
Current batch, end-nodes: 104 / 111 (111)
#axs: 853, #non-axs: 584
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:  3866893 (41554:>=*);
#decisions: 91963;  #end-nodes: 25698;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 159 (127)
#axs: 853, #non-axs: 675
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:) 3866893 (41554:>=*)

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, 11 sec

2:
seed: 0
Nr of vars set: 1079  (#equs: 0)
Nr of vars set: 1079  (#equs: 0)
#decisions: 57670;  #end-nodes: 17847;
#proof improvement attempts: 0;  #restarts: 111
Current batch, end-nodes: 130 / 147 (147)
#axs: 853, #non-axs: 878
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:  3318772 (40921:>=*);
#decisions: 42;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 853, #non-axs: 878
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:  3319560 (40133:>=*);
#decisions: 477886;  #end-nodes: 187482;
#proof improvement attempts: 0;  #restarts: 709
Current batch, end-nodes: 208 / 307 (297)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:  3319619 (40074:>=*);
#decisions: 53;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:  3319625 (40068:>=*);
#decisions: 71;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:  3319687 (40006:>=*);
#decisions: 147;  #end-nodes: 86;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 86 / 120 (120)
#axs: 853, #non-axs: 3700
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:  3319823 (39870:>=*);
Interupt request received.
#decisions: 451099;  #end-nodes: 161479;
#proof improvement attempts: 0;  #restarts: 638
Current batch, end-nodes: 149 / 284 (279)
#axs: 853, #non-axs: 3158
tight: meta-meta: start: 3, end: 4;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:
  (pushed:) 3319823 (39870:>=*)

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: 6476  (#equs: 0)
Time taken: 14 min, 55 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/20222/stat): 20222 (vallstSAT2005PB) R 20221 20222 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846467618 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20222/statm): 174 3 169 147 0 27 0
[pid=20222] 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=20223
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=20223) exited with status: 0
New process pid=20224
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=20224) exited with status: 0
New process pid=20225
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/wulflinc20/normalized-mps-v2-20-10-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0043 s]
Raw data (loadavg): 0.92 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 903 0 0 0 876 42 0 0 21 0 1 0 1846467625 5382144 813 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 1314 813 413 48 0 1266 0
[pid=20225] vsize: 5256
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (Kb) 7384

[startup+20.0051 s]
Raw data (loadavg): 0.94 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1008 0 0 0 1710 100 0 0 21 0 1 0 1846467625 9912320 918 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2420 918 413 48 0 2372 0
[pid=20225] vsize: 9680
Current children cumulated CPU time (s) 18.11
Current children cumulated vsize (Kb) 11808

[startup+30.0058 s]
Raw data (loadavg): 0.94 0.93 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1088 0 0 0 2597 140 0 0 25 0 1 0 1846467625 10076160 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2460 998 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 27.38
Current children cumulated vsize (Kb) 11968

[startup+40.0065 s]
Raw data (loadavg): 0.95 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1088 0 0 0 3519 168 0 0 25 0 1 0 1846467625 10076160 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2460 998 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 36.88
Current children cumulated vsize (Kb) 11968

[startup+50.0072 s]
Raw data (loadavg): 0.96 0.93 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1097 0 0 0 4444 195 0 0 25 0 1 0 1846467625 10076160 1007 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2460 1007 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 46.4
Current children cumulated vsize (Kb) 11968

[startup+60.009 s]
Raw data (loadavg): 0.97 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1103 0 0 0 5366 221 0 0 22 0 1 0 1846467625 10076160 1013 4294967295 134512640 134702520 3221223952 3221207088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2460 1013 413 48 0 2412 0
[pid=20225] vsize: 9840
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (Kb) 11968

[startup+70.0097 s]
Raw data (loadavg): 0.97 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1108 0 0 0 6296 246 0 0 25 0 1 0 1846467625 10207232 1018 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1018 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 65.43
Current children cumulated vsize (Kb) 12096

[startup+80.0104 s]
Raw data (loadavg): 0.97 0.94 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1114 0 0 0 7230 270 0 0 25 0 1 0 1846467625 10207232 1024 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1024 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 75.01
Current children cumulated vsize (Kb) 12096

[startup+90.0112 s]
Raw data (loadavg): 0.98 0.94 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1117 0 0 0 8164 293 0 0 25 0 1 0 1846467625 10207232 1027 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1027 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 84.58
Current children cumulated vsize (Kb) 12096

[startup+100.012 s]
Raw data (loadavg): 0.98 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1117 0 0 0 9070 327 0 0 25 0 1 0 1846467625 10207232 1027 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2492 1027 413 48 0 2444 0
[pid=20225] vsize: 9968
Current children cumulated CPU time (s) 93.98
Current children cumulated vsize (Kb) 12096

[startup+110.013 s]
Raw data (loadavg): 0.98 0.94 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1123 0 0 0 9984 357 0 0 25 0 1 0 1846467625 10215424 1033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2494 1033 413 48 0 2446 0
[pid=20225] vsize: 9976
Current children cumulated CPU time (s) 103.42
Current children cumulated vsize (Kb) 12104

[startup+120.013 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1126 0 0 0 10914 378 0 0 25 0 1 0 1846467625 10215424 1036 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2494 1036 413 48 0 2446 0
[pid=20225] vsize: 9976
Current children cumulated CPU time (s) 112.93
Current children cumulated vsize (Kb) 12104

[startup+130.014 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1292 0 0 0 11850 400 0 0 25 0 1 0 1846467625 10215424 1202 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2494 1202 413 48 0 2446 0
[pid=20225] vsize: 9976
Current children cumulated CPU time (s) 122.51
Current children cumulated vsize (Kb) 12104

[startup+140.015 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1296 0 0 0 12788 421 0 0 25 0 1 0 1846467625 10371072 1206 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2532 1206 413 48 0 2484 0
[pid=20225] vsize: 10128
Current children cumulated CPU time (s) 132.1
Current children cumulated vsize (Kb) 12256

[startup+150.016 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1297 0 0 0 13690 456 0 0 25 0 1 0 1846467625 10321920 1207 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1207 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 141.47
Current children cumulated vsize (Kb) 12208

[startup+160.017 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1299 0 0 0 14615 480 0 0 25 0 1 0 1846467625 10321920 1209 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1209 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 150.96
Current children cumulated vsize (Kb) 12208

[startup+170.018 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1304 0 0 0 15538 507 0 0 23 0 1 0 1846467625 10321920 1214 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1214 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (Kb) 12208

[startup+180.019 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1306 0 0 0 16463 531 0 0 25 0 1 0 1846467625 10321920 1216 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1216 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 12208

[startup+190.02 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1310 0 0 0 17383 558 0 0 25 0 1 0 1846467625 10321920 1220 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1220 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 179.42
Current children cumulated vsize (Kb) 12208

[startup+200.021 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1311 0 0 0 18311 582 0 0 25 0 1 0 1846467625 10321920 1221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1221 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 188.94
Current children cumulated vsize (Kb) 12208

[startup+210.022 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1313 0 0 0 19249 603 0 0 25 0 1 0 1846467625 10321920 1223 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1223 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 198.53
Current children cumulated vsize (Kb) 12208

[startup+220.023 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1315 0 0 0 20171 631 0 0 25 0 1 0 1846467625 10321920 1225 4294967295 134512640 134702520 3221223952 3221222848 134550691 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1225 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 208.03
Current children cumulated vsize (Kb) 12208

[startup+230.023 s]
Raw data (loadavg): 1.07 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1317 0 0 0 21086 664 0 0 25 0 1 0 1846467625 10321920 1227 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2520 1227 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 217.51
Current children cumulated vsize (Kb) 12208

[startup+240.025 s]
Raw data (loadavg): 1.06 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1320 0 0 0 22005 690 0 0 25 0 1 0 1846467625 10321920 1230 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1230 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 226.96
Current children cumulated vsize (Kb) 12208

[startup+250.026 s]
Raw data (loadavg): 1.05 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1321 0 0 0 22937 715 0 0 25 0 1 0 1846467625 10321920 1231 4294967295 134512640 134702520 3221223952 3221102908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1231 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 236.53
Current children cumulated vsize (Kb) 12208

[startup+260.028 s]
Raw data (loadavg): 1.04 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1322 0 0 0 23858 744 0 0 25 0 1 0 1846467625 10321920 1232 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2520 1232 413 48 0 2472 0
[pid=20225] vsize: 10080
Current children cumulated CPU time (s) 246.03
Current children cumulated vsize (Kb) 12208

[startup+270.028 s]
Raw data (loadavg): 1.03 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1324 0 0 0 24792 770 0 0 25 0 1 0 1846467625 10477568 1234 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2558 1234 413 48 0 2510 0
[pid=20225] vsize: 10232
Current children cumulated CPU time (s) 255.63
Current children cumulated vsize (Kb) 12360

[startup+280.029 s]
Raw data (loadavg): 1.03 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1325 0 0 0 25711 798 0 0 25 0 1 0 1846467625 10428416 1235 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2546 1235 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 265.1
Current children cumulated vsize (Kb) 12312

[startup+290.03 s]
Raw data (loadavg): 1.02 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1326 0 0 0 26634 824 0 0 25 0 1 0 1846467625 10428416 1236 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2546 1236 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 274.59
Current children cumulated vsize (Kb) 12312

[startup+300.03 s]
Raw data (loadavg): 1.02 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1329 0 0 0 27552 851 0 0 25 0 1 0 1846467625 10428416 1239 4294967295 134512640 134702520 3221223952 3221197168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2546 1239 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 284.04
Current children cumulated vsize (Kb) 12312

[startup+310.032 s]
Raw data (loadavg): 1.02 0.97 0.95 2/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) R 20222 20222 2660 0 -1 0 1331 0 0 0 28478 874 0 0 23 0 1 0 1846467625 10428416 1241 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20225/statm): 2546 1241 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 293.53
Current children cumulated vsize (Kb) 12312

[startup+320.033 s]
Raw data (loadavg): 1.01 0.97 0.95 1/57 20225
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 1846467618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 242 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20225/stat): 20225 (vallst) T 20222 20222 2660 0 -1 0 1334 0 0 0 29423 893 0 0 25 0 1 0 1846467625 10428416 1244 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20225/statm): 2546 1244 413 48 0 2498 0
[pid=20225] vsize: 10184
Current children cumulated CPU time (s) 303.17
Current children cumulated vsize (Kb) 12312
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=20225) exited with status: 2
New process pid=20226
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=20226) exited with status: 0
New process pid=20227
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+330.034 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 523 0 0 0 45 2 0 0 24 0 1 0 1846500575 4468736 494 4294967295 134512640 134702520 3221223712 3221222924 1073964203 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 1091 494 413 48 0 1043 0
[pid=20227] vsize: 4364
Current children cumulated CPU time (s) 312.62
Current children cumulated vsize (Kb) 6492

[startup+340.034 s]
Raw data (loadavg): 1.01 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 805 0 0 0 983 25 0 0 25 0 1 0 1846500575 5042176 775 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 1231 775 413 48 0 1183 0
[pid=20227] vsize: 4924
Current children cumulated CPU time (s) 322.23
Current children cumulated vsize (Kb) 7052

[startup+350.035 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 888 0 0 0 1898 55 0 0 19 0 1 0 1846500575 8728576 858 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2131 858 413 48 0 2083 0
[pid=20227] vsize: 8524
Current children cumulated CPU time (s) 331.68
Current children cumulated vsize (Kb) 10652

[startup+360.036 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 956 0 0 0 2821 84 0 0 25 0 1 0 1846500575 8880128 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2168 926 413 48 0 2120 0
[pid=20227] vsize: 8672
Current children cumulated CPU time (s) 341.2
Current children cumulated vsize (Kb) 10800

[startup+370.038 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1001 0 0 0 3749 108 0 0 25 0 1 0 1846500575 8880128 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2168 971 413 48 0 2120 0
[pid=20227] vsize: 8672
Current children cumulated CPU time (s) 350.72
Current children cumulated vsize (Kb) 10800

[startup+380.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1049 0 0 0 4669 135 0 0 25 0 1 0 1846500575 8880128 1019 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2168 1019 413 48 0 2120 0
[pid=20227] vsize: 8672
Current children cumulated CPU time (s) 360.19
Current children cumulated vsize (Kb) 10800

[startup+390.039 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1053 0 0 0 5605 159 0 0 25 0 1 0 1846500575 9035776 1023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2206 1023 413 48 0 2158 0
[pid=20227] vsize: 8824
Current children cumulated CPU time (s) 369.79
Current children cumulated vsize (Kb) 10952

[startup+400.04 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1054 0 0 0 6523 188 0 0 25 0 1 0 1846500575 8986624 1024 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2194 1024 413 48 0 2146 0
[pid=20227] vsize: 8776
Current children cumulated CPU time (s) 379.26
Current children cumulated vsize (Kb) 10904

[startup+410.042 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1064 0 0 0 7444 214 0 0 19 0 1 0 1846500575 8990720 1034 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2195 1034 413 48 0 2147 0
[pid=20227] vsize: 8780
Current children cumulated CPU time (s) 388.73
Current children cumulated vsize (Kb) 10908

[startup+420.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1068 0 0 0 8367 238 0 0 25 0 1 0 1846500575 8990720 1038 4294967295 134512640 134702520 3221223712 3221204272 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2195 1038 413 48 0 2147 0
[pid=20227] vsize: 8780
Current children cumulated CPU time (s) 398.2
Current children cumulated vsize (Kb) 10908

[startup+430.043 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1096 0 0 0 9291 263 0 0 25 0 1 0 1846500575 8990720 1066 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2195 1066 413 48 0 2147 0
[pid=20227] vsize: 8780
Current children cumulated CPU time (s) 407.69
Current children cumulated vsize (Kb) 10908

[startup+440.044 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1130 0 0 0 10224 287 0 0 25 0 1 0 1846500575 9138176 1100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2231 1100 413 48 0 2183 0
[pid=20227] vsize: 8924
Current children cumulated CPU time (s) 417.26
Current children cumulated vsize (Kb) 11052

[startup+450.044 s]
Raw data (loadavg): 1.08 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1130 0 0 0 11155 310 0 0 25 0 1 0 1846500575 9138176 1100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2231 1100 413 48 0 2183 0
[pid=20227] vsize: 8924
Current children cumulated CPU time (s) 426.8
Current children cumulated vsize (Kb) 11052

[startup+460.046 s]
Raw data (loadavg): 1.07 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1133 0 0 0 12071 340 0 0 25 0 1 0 1846500575 9089024 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1103 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 436.26
Current children cumulated vsize (Kb) 11004

[startup+470.047 s]
Raw data (loadavg): 1.06 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1138 0 0 0 12999 366 0 0 20 0 1 0 1846500575 9089024 1108 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2219 1108 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 445.8
Current children cumulated vsize (Kb) 11004

[startup+480.048 s]
Raw data (loadavg): 1.05 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1140 0 0 0 13922 394 0 0 25 0 1 0 1846500575 9089024 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1110 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 455.31
Current children cumulated vsize (Kb) 11004

[startup+490.049 s]
Raw data (loadavg): 1.04 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1258 0 0 0 14855 417 0 0 25 0 1 0 1846500575 9089024 1228 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1228 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 464.87
Current children cumulated vsize (Kb) 11004

[startup+500.05 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1261 0 0 0 15781 443 0 0 25 0 1 0 1846500575 9089024 1231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1231 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 474.39
Current children cumulated vsize (Kb) 11004

[startup+510.051 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1265 0 0 0 16698 474 0 0 19 0 1 0 1846500575 9089024 1235 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2219 1235 413 48 0 2171 0
[pid=20227] vsize: 8876
Current children cumulated CPU time (s) 483.87
Current children cumulated vsize (Kb) 11004

[startup+520.052 s]
Raw data (loadavg): 1.02 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1319 0 0 0 17622 500 0 0 25 0 1 0 1846500575 9203712 1289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1289 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 493.37
Current children cumulated vsize (Kb) 11116

[startup+530.052 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1322 0 0 0 18538 526 0 0 25 0 1 0 1846500575 9203712 1292 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1292 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 502.79
Current children cumulated vsize (Kb) 11116

[startup+540.053 s]
Raw data (loadavg): 1.02 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1325 0 0 0 19464 554 0 0 25 0 1 0 1846500575 9203712 1295 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1295 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 512.33
Current children cumulated vsize (Kb) 11116

[startup+550.054 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1334 0 0 0 20397 577 0 0 25 0 1 0 1846500575 9203712 1304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1304 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (Kb) 11116

[startup+560.054 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1334 0 0 0 21325 605 0 0 25 0 1 0 1846500575 9203712 1304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1304 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 531.45
Current children cumulated vsize (Kb) 11116

[startup+570.056 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 1336 0 0 0 22239 636 0 0 25 0 1 0 1846500575 9203712 1306 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1306 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 540.9
Current children cumulated vsize (Kb) 11116

[startup+580.057 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1339 0 0 0 23164 660 0 0 25 0 1 0 1846500575 9203712 1309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1309 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 550.39
Current children cumulated vsize (Kb) 11116

[startup+590.058 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1342 0 0 0 24090 685 0 0 25 0 1 0 1846500575 9203712 1312 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1312 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 559.9
Current children cumulated vsize (Kb) 11116

[startup+600.058 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1346 0 0 0 25012 713 0 0 25 0 1 0 1846500575 9203712 1316 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2247 1316 413 48 0 2199 0
[pid=20227] vsize: 8988
Current children cumulated CPU time (s) 569.4
Current children cumulated vsize (Kb) 11116

[startup+610.06 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1349 0 0 0 25946 733 0 0 25 0 1 0 1846500575 9359360 1319 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2285 1319 413 48 0 2237 0
[pid=20227] vsize: 9140
Current children cumulated CPU time (s) 578.94
Current children cumulated vsize (Kb) 11268

[startup+620.061 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1350 0 0 0 26873 761 0 0 25 0 1 0 1846500575 9310208 1320 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2273 1320 413 48 0 2225 0
[pid=20227] vsize: 9092
Current children cumulated CPU time (s) 588.49
Current children cumulated vsize (Kb) 11220

[startup+630.062 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1355 0 0 0 27790 789 0 0 25 0 1 0 1846500575 9310208 1325 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2273 1325 413 48 0 2225 0
[pid=20227] vsize: 9092
Current children cumulated CPU time (s) 597.94
Current children cumulated vsize (Kb) 11220

[startup+640.063 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1396 0 0 0 28716 816 0 0 25 0 1 0 1846500575 9310208 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2273 1366 413 48 0 2225 0
[pid=20227] vsize: 9092
Current children cumulated CPU time (s) 607.47
Current children cumulated vsize (Kb) 11220

[startup+650.064 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 1680 0 0 0 29647 839 0 0 25 0 1 0 1846500575 9445376 1650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2306 1650 413 48 0 2258 0
[pid=20227] vsize: 9224
Current children cumulated CPU time (s) 617.01
Current children cumulated vsize (Kb) 11352

[startup+660.066 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2041 0 0 0 30583 863 0 0 25 0 1 0 1846500575 10063872 2011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2457 2011 413 48 0 2409 0
[pid=20227] vsize: 9828
Current children cumulated CPU time (s) 626.61
Current children cumulated vsize (Kb) 11956

[startup+670.067 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2081 0 0 0 31526 882 0 0 25 0 1 0 1846500575 10199040 2051 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2051 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 636.23
Current children cumulated vsize (Kb) 12088

[startup+680.067 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2097 0 0 0 32461 904 0 0 25 0 1 0 1846500575 10199040 2067 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2067 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 645.8
Current children cumulated vsize (Kb) 12088

[startup+690.068 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2109 0 0 0 33397 926 0 0 25 0 1 0 1846500575 10199040 2079 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2079 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 655.38
Current children cumulated vsize (Kb) 12088

[startup+700.069 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2110 0 0 0 34325 951 0 0 25 0 1 0 1846500575 10199040 2080 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2080 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 664.91
Current children cumulated vsize (Kb) 12088

[startup+710.068 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2112 0 0 0 35255 976 0 0 20 0 1 0 1846500575 10199040 2082 4294967295 134512640 134702520 3221223712 3221222736 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2490 2082 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 674.46
Current children cumulated vsize (Kb) 12088

[startup+720.069 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2117 0 0 0 36187 1000 0 0 25 0 1 0 1846500575 10199040 2087 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2087 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 684.02
Current children cumulated vsize (Kb) 12088

[startup+730.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2121 0 0 0 37123 1022 0 0 25 0 1 0 1846500575 10199040 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2091 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 693.6
Current children cumulated vsize (Kb) 12088

[startup+740.071 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2126 0 0 0 38060 1044 0 0 25 0 1 0 1846500575 10199040 2096 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2490 2096 413 48 0 2442 0
[pid=20227] vsize: 9960
Current children cumulated CPU time (s) 703.19
Current children cumulated vsize (Kb) 12088

[startup+750.071 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2131 0 0 0 38995 1069 0 0 25 0 1 0 1846500575 10313728 2101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2518 2101 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 712.79
Current children cumulated vsize (Kb) 12200

[startup+760.072 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2134 0 0 0 39936 1091 0 0 25 0 1 0 1846500575 10313728 2104 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2104 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 722.42
Current children cumulated vsize (Kb) 12200

[startup+770.073 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2136 0 0 0 40864 1116 0 0 25 0 1 0 1846500575 10313728 2106 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2106 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 731.95
Current children cumulated vsize (Kb) 12200

[startup+780.073 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2138 0 0 0 41787 1143 0 0 25 0 1 0 1846500575 10313728 2108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2108 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 741.45
Current children cumulated vsize (Kb) 12200

[startup+790.075 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2141 0 0 0 42724 1165 0 0 25 0 1 0 1846500575 10313728 2111 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2111 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 751.04
Current children cumulated vsize (Kb) 12200

[startup+800.076 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2144 0 0 0 43656 1188 0 0 25 0 1 0 1846500575 10313728 2114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2114 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 760.59
Current children cumulated vsize (Kb) 12200

[startup+810.077 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2146 0 0 0 44589 1213 0 0 25 0 1 0 1846500575 10313728 2116 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2518 2116 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 770.17
Current children cumulated vsize (Kb) 12200

[startup+820.077 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2150 0 0 0 45528 1233 0 0 25 0 1 0 1846500575 10313728 2120 4294967295 134512640 134702520 3221223712 3221222736 134557457 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2518 2120 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 779.76
Current children cumulated vsize (Kb) 12200

[startup+830.078 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2152 0 0 0 46463 1257 0 0 25 0 1 0 1846500575 10313728 2122 4294967295 134512640 134702520 3221223712 3221222736 134553168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2518 2122 413 48 0 2470 0
[pid=20227] vsize: 10072
Current children cumulated CPU time (s) 789.35
Current children cumulated vsize (Kb) 12200

[startup+840.08 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2155 0 0 0 47397 1282 0 0 25 0 1 0 1846500575 10448896 2125 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2551 2125 413 48 0 2503 0
[pid=20227] vsize: 10204
Current children cumulated CPU time (s) 798.94
Current children cumulated vsize (Kb) 12332

[startup+850.081 s]
Raw data (loadavg): 1.07 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2155 0 0 0 48325 1308 0 0 25 0 1 0 1846500575 10399744 2125 4294967295 134512640 134702520 3221223712 3221223296 134558601 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2125 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 808.48
Current children cumulated vsize (Kb) 12284

[startup+860.08 s]
Raw data (loadavg): 1.06 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2155 0 0 0 49254 1333 0 0 25 0 1 0 1846500575 10399744 2125 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2125 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 818.02
Current children cumulated vsize (Kb) 12284

[startup+870.082 s]
Raw data (loadavg): 1.05 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2158 0 0 0 50182 1360 0 0 25 0 1 0 1846500575 10399744 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2128 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 827.57
Current children cumulated vsize (Kb) 12284

[startup+880.083 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2160 0 0 0 51111 1386 0 0 25 0 1 0 1846500575 10399744 2130 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2130 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 837.12
Current children cumulated vsize (Kb) 12284

[startup+890.084 s]
Raw data (loadavg): 1.04 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2161 0 0 0 52040 1411 0 0 25 0 1 0 1846500575 10399744 2131 4294967295 134512640 134702520 3221223712 3221222964 134548990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2131 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 846.66
Current children cumulated vsize (Kb) 12284

[startup+900.084 s]
Raw data (loadavg): 1.03 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2161 0 0 0 52966 1437 0 0 25 0 1 0 1846500575 10399744 2131 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2131 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 856.18
Current children cumulated vsize (Kb) 12284

[startup+910.085 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2164 0 0 0 53897 1461 0 0 25 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 865.73
Current children cumulated vsize (Kb) 12284

[startup+920.086 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2164 0 0 0 54829 1485 0 0 20 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 875.29
Current children cumulated vsize (Kb) 12284

[startup+930.085 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2164 0 0 0 55736 1520 0 0 25 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 884.71
Current children cumulated vsize (Kb) 12284

[startup+940.087 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2164 0 0 0 56658 1546 0 0 25 0 1 0 1846500575 10399744 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2134 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 894.19
Current children cumulated vsize (Kb) 12284

[startup+950.088 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2166 0 0 0 57574 1575 0 0 19 0 1 0 1846500575 10399744 2136 4294967295 134512640 134702520 3221223712 3221208448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2136 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 903.64
Current children cumulated vsize (Kb) 12284

[startup+960.088 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2167 0 0 0 58498 1602 0 0 25 0 1 0 1846500575 10399744 2137 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2539 2137 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 913.15
Current children cumulated vsize (Kb) 12284

[startup+970.089 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2169 0 0 0 59426 1627 0 0 25 0 1 0 1846500575 10399744 2139 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2139 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 922.68
Current children cumulated vsize (Kb) 12284

[startup+980.09 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2172 0 0 0 60352 1653 0 0 25 0 1 0 1846500575 10399744 2142 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2142 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 932.2
Current children cumulated vsize (Kb) 12284

[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2175 0 0 0 61274 1680 0 0 25 0 1 0 1846500575 10399744 2145 4294967295 134512640 134702520 3221223712 3221151468 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2145 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (Kb) 12284

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2176 0 0 0 62190 1706 0 0 25 0 1 0 1846500575 10399744 2146 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2146 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 951.11
Current children cumulated vsize (Kb) 12284

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2176 0 0 0 63112 1732 0 0 25 0 1 0 1846500575 10399744 2146 4294967295 134512640 134702520 3221223712 3221223008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2146 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 960.59
Current children cumulated vsize (Kb) 12284

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2178 0 0 0 64038 1757 0 0 25 0 1 0 1846500575 10399744 2148 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2539 2148 413 48 0 2491 0
[pid=20227] vsize: 10156
Current children cumulated CPU time (s) 970.1
Current children cumulated vsize (Kb) 12284

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2181 0 0 0 64966 1783 0 0 25 0 1 0 1846500575 10543104 2151 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2574 2151 413 48 0 2526 0
[pid=20227] vsize: 10296
Current children cumulated CPU time (s) 979.64
Current children cumulated vsize (Kb) 12424

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2181 0 0 0 65886 1809 0 0 20 0 1 0 1846500575 10493952 2151 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2151 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 989.1
Current children cumulated vsize (Kb) 12376

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2182 0 0 0 66799 1841 0 0 25 0 1 0 1846500575 10493952 2152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2152 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 998.55
Current children cumulated vsize (Kb) 12376

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2183 0 0 0 67706 1876 0 0 25 0 1 0 1846500575 10493952 2153 4294967295 134512640 134702520 3221223712 3221222992 134553426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2562 2153 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1007.97
Current children cumulated vsize (Kb) 12376

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2185 0 0 0 68620 1906 0 0 25 0 1 0 1846500575 10493952 2155 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2155 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1017.41
Current children cumulated vsize (Kb) 12376

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2185 0 0 0 69532 1936 0 0 25 0 1 0 1846500575 10493952 2155 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2562 2155 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1026.83
Current children cumulated vsize (Kb) 12376

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2186 0 0 0 70463 1960 0 0 25 0 1 0 1846500575 10493952 2156 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2156 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1036.38
Current children cumulated vsize (Kb) 12376

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2186 0 0 0 71378 1988 0 0 25 0 1 0 1846500575 10493952 2156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2156 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1045.81
Current children cumulated vsize (Kb) 12376

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2187 0 0 0 72303 2013 0 0 25 0 1 0 1846500575 10493952 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2562 2157 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1055.31
Current children cumulated vsize (Kb) 12376

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2187 0 0 0 73226 2040 0 0 25 0 1 0 1846500575 10493952 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2157 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1064.81
Current children cumulated vsize (Kb) 12376

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2189 0 0 0 74161 2061 0 0 25 0 1 0 1846500575 10493952 2159 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2159 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1074.37
Current children cumulated vsize (Kb) 12376

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2193 0 0 0 75099 2084 0 0 25 0 1 0 1846500575 10493952 2163 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2163 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1083.98
Current children cumulated vsize (Kb) 12376

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2195 0 0 0 76032 2107 0 0 25 0 1 0 1846500575 10493952 2165 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2562 2165 413 48 0 2514 0
[pid=20227] vsize: 10248
Current children cumulated CPU time (s) 1093.54
Current children cumulated vsize (Kb) 12376

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2197 0 0 0 76959 2133 0 0 25 0 1 0 1846500575 10629120 2167 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2595 2167 413 48 0 2547 0
[pid=20227] vsize: 10380
Current children cumulated CPU time (s) 1103.07
Current children cumulated vsize (Kb) 12508

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2198 0 0 0 77885 2158 0 0 25 0 1 0 1846500575 10579968 2168 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2168 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1112.58
Current children cumulated vsize (Kb) 12460

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2198 0 0 0 78812 2184 0 0 25 0 1 0 1846500575 10579968 2168 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2168 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (Kb) 12460

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2199 0 0 0 79745 2208 0 0 25 0 1 0 1846500575 10579968 2169 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2169 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1131.68
Current children cumulated vsize (Kb) 12460

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2199 0 0 0 80671 2236 0 0 25 0 1 0 1846500575 10579968 2169 4294967295 134512640 134702520 3221223712 3221222992 134553315 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2169 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1141.22
Current children cumulated vsize (Kb) 12460

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2199 0 0 0 81605 2258 0 0 25 0 1 0 1846500575 10579968 2169 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2169 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1150.78
Current children cumulated vsize (Kb) 12460

[startup+1220.11 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2205 0 0 0 82540 2282 0 0 25 0 1 0 1846500575 10579968 2175 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2175 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1160.37
Current children cumulated vsize (Kb) 12460

[startup+1230.11 s]
Raw data (loadavg): 1.06 1.02 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2205 0 0 0 83467 2307 0 0 25 0 1 0 1846500575 10579968 2175 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2175 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1169.89
Current children cumulated vsize (Kb) 12460

[startup+1240.11 s]
Raw data (loadavg): 1.05 1.01 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2205 0 0 0 84386 2336 0 0 25 0 1 0 1846500575 10579968 2175 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/20227/statm): 2583 2175 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1179.37
Current children cumulated vsize (Kb) 12460

[startup+1250.11 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) R 20222 20222 2660 0 -1 0 2206 0 0 0 85322 2358 0 0 20 0 1 0 1846500575 10579968 2176 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2176 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1188.95
Current children cumulated vsize (Kb) 12460

[startup+1260.11 s]
Raw data (loadavg): 1.04 1.01 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2210 0 0 0 86254 2383 0 0 25 0 1 0 1846500575 10579968 2180 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2180 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (Kb) 12460

[startup+1270.11 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2211 0 0 0 87187 2407 0 0 25 0 1 0 1846500575 10579968 2181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2181 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1208.09
Current children cumulated vsize (Kb) 12460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.11 s]
Raw data (loadavg): 1.03 1.01 0.97 1/57 20227
Raw data (/proc/20222/stat): 20222 (vallstSAT2005PB) S 20221 20222 2660 0 -1 0 378 1709 0 0 1 1 30290 923 19 0 1 0 1846467618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/20222/statm): 532 248 485 147 0 385 0
[pid=20222] vsize: 2128
Raw data (/proc/20227/stat): 20227 (vallst) T 20222 20222 2660 0 -1 0 2211 0 0 0 87187 2407 0 0 25 0 1 0 1846500575 10579968 2181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/20227/statm): 2583 2181 413 48 0 2535 0
[pid=20227] vsize: 10332
Current children cumulated CPU time (s) 1208.09
Current children cumulated vsize (Kb) 12460

Sending SIGTERM to -20222
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=20229
New process pid=20230
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/status
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/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/status
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/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/20185/stat
open syscall for file /proc/20185/status
open syscall for file /proc/20185/cmdline
open syscall for file /proc/20185/environ
open syscall for file /proc/20221/stat
open syscall for file /proc/20221/status
open syscall for file /proc/20221/cmdline
open syscall for file /proc/20221/environ
open syscall for file /proc/20222/stat
open syscall for file /proc/20222/status
open syscall for file /proc/20222/cmdline
open syscall for file /proc/20222/environ
open syscall for file /proc/20227/stat
open syscall for file /proc/20227/status
open syscall for file /proc/20227/cmdline
open syscall for file /proc/20227/environ
open syscall for file /proc/20229/stat
open syscall for file /proc/20229/status
open syscall for file /proc/20229/cmdline
open syscall for file /proc/20229/environ
open syscall for file /proc/20230/stat
open syscall for file /proc/20230/status
open syscall for file /proc/20230/cmdline
open syscall for file /proc/20230/environ
One traced child (pid=20229) exited with status: 0
One traced child (pid=20230) exited with status: 0
New process pid=20231
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=20227) exited with status: 3
One traced child (pid=20231) exited with status: 0
New process pid=20232
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=20232) exited with status: 0
One traced child (pid=20222) 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.62
CPU time (s): 1208.55
CPU user time (s): 1175.11
CPU system time (s): 33.4449
CPU usage (%): 95.1157
Max. virtual memory (cumulated for all children) (Kb): 12508

Verifier Data

ERROR: no interpretation found !