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/miplib3/normalized-mps-v2-20-10-misc07.opb
MD5SUMb95827c7e083aae37933a3b226b8189b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1076618240
Optimality of the best value was proved NO
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3287948287
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.12
Number of variables290
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint263

Trace number 4933

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        879820 kB
Buffers:         36432 kB
Cached:          90576 kB
SwapCached:        832 kB
Active:          72648 kB
Inactive:        56916 kB
HighTotal:      131008 kB
HighFree:        39704 kB
LowTotal:       903652 kB
LowFree:        840116 kB
SwapTotal:     2097892 kB
SwapFree:      2096460 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19512 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:28:40 (client local time) WITH STATUS 0 IN 1202.43 SECONDS
stats: 7676 7 1202.43 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 26  (#equs: 0)
#decisions: 448;  #end-nodes: 147;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 59 / 158 (80)
#axs: 248, #non-axs: 92
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:  1068412926 (1079070720:>=*);
#decisions: 85;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 248, #non-axs: 93
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:  1068489726 (1078993920:>=*);
#decisions: 35;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 93
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:  1069083646 (1078400000:>=*);
#decisions: 45;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 248, #non-axs: 94
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:  1069160446 (1078323200:>=*);
#decisions: 115;  #end-nodes: 64;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 64 / 80 (80)
#axs: 248, #non-axs: 103
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:  1069191166 (1078292480:>=*);
#decisions: 20;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 104
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:  1069232126 (1078251520:>=*);
#decisions: 338;  #end-nodes: 137;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 57 / 97 (80)
#axs: 248, #non-axs: 154
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:  1069416446 (1078067200:>=*);
#decisions: 108;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 248, #non-axs: 171
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:  1069426686 (1078056960:>=*);
#decisions: 24;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 248, #non-axs: 171
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:  1069493246 (1077990400:>=*);
#decisions: 892;  #end-nodes: 415;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 116 / 202 (80)
#axs: 248, #non-axs: 380
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:  1069621246 (1077862400:>=*);
#decisions: 52;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 248, #non-axs: 380
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:  1069698046 (1077785600:>=*);
#decisions: 85;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 248, #non-axs: 380
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:  1069774846 (1077708800:>=*);
#decisions: 500;  #end-nodes: 262;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 36 / 94 (80)
#axs: 248, #non-axs: 520
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:  1069836286 (1077647360:>=*);
#decisions: 81;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 89 (80)
#axs: 248, #non-axs: 525
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:  1069913086 (1077570560:>=*);
#decisions: 54;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 248, #non-axs: 526
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:  1069989886 (1077493760:>=*);
#decisions: 49;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 526
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:  1070066686 (1077416960:>=*);
#decisions: 46;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 248, #non-axs: 526
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:  1070373886 (1077109760:>=*);
#decisions: 38;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 248, #non-axs: 528
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:  1070394366 (1077089280:>=*);
#decisions: 3087;  #end-nodes: 1628;
#proof improvement attempts: 0;  #restarts: 8
Current batch, end-nodes: 62 / 86 (82)
#axs: 248, #non-axs: 1218
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:  1070696446 (1076787200:>=*);
#decisions: 15356;  #end-nodes: 8110;
#proof improvement attempts: 0;  #restarts: 45
Current batch, end-nodes: 129 / 135 (91)
#axs: 248, #non-axs: 3936
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070752766 (1076730880:>=*);
#decisions: 31866;  #end-nodes: 17952;
#proof improvement attempts: 0;  #restarts: 76
Current batch, end-nodes: 285 / 385 (99)
#axs: 248, #non-axs: 6786
tight: meta-meta: start: 6, end: 9;  meta: start: 6, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070865406 (1076618240:>=*);
#decisions: 1546041;  #end-nodes: 1121557;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 326 (271)
#axs: 248, #non-axs: 3320
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 26, end (keep): 42
Model found with constant:
  (pushed:) 1070865406 (1076618240:>=*)

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

2:
seed: 0
Nr of vars set: 31  (#equs: 0)
Nr of vars set: 31  (#equs: 0)
Interupt request received.
#decisions: 754811;  #end-nodes: 545409;
#proof improvement attempts: 0;  #restarts: 430
Current batch, end-nodes: 1654 / 2957 (227)
#axs: 248, #non-axs: 3695
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 26, end (keep): 42
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 225  (#equs: 0)
Time taken: 3 min, 57 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/26216/stat): 26216 (vallstSAT2005PB) R 26215 26216 5929 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1852993029 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26216/statm): 174 3 169 147 0 27 0
[pid=26216] 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=26217
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=26217) exited with status: 0
New process pid=26218
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=26218) exited with status: 0
New process pid=26219
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/wulflinc19/normalized-mps-v2-20-10-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0049 s]
Raw data (loadavg): 0.97 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 222 0 0 0 946 16 0 0 20 0 1 0 1852993036 2019328 192 4294967295 134512640 134702520 3221223952 3221223088 134552511 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 493 192 413 48 0 445 0
[pid=26219] vsize: 1972
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 4100

[startup+20.0057 s]
Raw data (loadavg): 0.98 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 335 0 0 0 1870 40 0 0 25 0 1 0 1852993036 2740224 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 669 305 413 48 0 621 0
[pid=26219] vsize: 2676
Current children cumulated CPU time (s) 19.12
Current children cumulated vsize (Kb) 4804

[startup+30.0065 s]
Raw data (loadavg): 0.98 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 375 0 0 0 2774 73 0 0 25 0 1 0 1852993036 2879488 345 4294967295 134512640 134702520 3221223952 3221222976 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 703 345 413 48 0 655 0
[pid=26219] vsize: 2812
Current children cumulated CPU time (s) 28.49
Current children cumulated vsize (Kb) 4940

[startup+40.0074 s]
Raw data (loadavg): 0.98 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 490 0 0 0 3673 109 0 0 20 0 1 0 1852993036 3063808 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 460 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 37.84
Current children cumulated vsize (Kb) 5120

[startup+50.0082 s]
Raw data (loadavg): 0.98 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 496 0 0 0 4581 142 0 0 25 0 1 0 1852993036 3063808 466 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 466 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 47.25
Current children cumulated vsize (Kb) 5120

[startup+60.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 499 0 0 0 5489 171 0 0 25 0 1 0 1852993036 3063808 469 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 469 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 56.62
Current children cumulated vsize (Kb) 5120

[startup+70.0098 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 502 0 0 0 6399 200 0 0 25 0 1 0 1852993036 3063808 472 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 472 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 66.01
Current children cumulated vsize (Kb) 5120

[startup+80.0106 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 502 0 0 0 7347 218 0 0 25 0 1 0 1852993036 3063808 472 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 472 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 75.67
Current children cumulated vsize (Kb) 5120

[startup+90.0114 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 504 0 0 0 8292 237 0 0 25 0 1 0 1852993036 3063808 474 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 474 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 85.31
Current children cumulated vsize (Kb) 5120

[startup+100.012 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 511 0 0 0 9192 274 0 0 25 0 1 0 1852993036 3063808 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 481 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 94.68
Current children cumulated vsize (Kb) 5120

[startup+110.014 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 511 0 0 0 10102 306 0 0 25 0 1 0 1852993036 3063808 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 748 481 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 104.1
Current children cumulated vsize (Kb) 5120

[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 511 0 0 0 11012 334 0 0 25 0 1 0 1852993036 3063808 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 748 481 413 48 0 700 0
[pid=26219] vsize: 2992
Current children cumulated CPU time (s) 113.48
Current children cumulated vsize (Kb) 5120

[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 514 0 0 0 11916 367 0 0 25 0 1 0 1852993036 3198976 484 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 484 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 122.85
Current children cumulated vsize (Kb) 5252

[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 519 0 0 0 12836 395 0 0 25 0 1 0 1852993036 3198976 489 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 489 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 132.33
Current children cumulated vsize (Kb) 5252

[startup+150.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 519 0 0 0 13797 411 0 0 25 0 1 0 1852993036 3198976 489 4294967295 134512640 134702520 3221223952 3221222848 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 489 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 142.1
Current children cumulated vsize (Kb) 5252

[startup+160.019 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 525 0 0 0 14715 437 0 0 25 0 1 0 1852993036 3198976 495 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 781 495 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 151.54
Current children cumulated vsize (Kb) 5252

[startup+170.02 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 532 0 0 0 15622 471 0 0 25 0 1 0 1852993036 3198976 502 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 781 502 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (Kb) 5252

[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 537 0 0 0 16524 503 0 0 25 0 1 0 1852993036 3198976 507 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 507 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 170.29
Current children cumulated vsize (Kb) 5252

[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 542 0 0 0 17434 533 0 0 25 0 1 0 1852993036 3198976 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 781 512 413 48 0 733 0
[pid=26219] vsize: 3124
Current children cumulated CPU time (s) 179.69
Current children cumulated vsize (Kb) 5252

[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 546 0 0 0 18336 566 0 0 25 0 1 0 1852993036 3334144 516 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 516 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 189.04
Current children cumulated vsize (Kb) 5384

[startup+210.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 551 0 0 0 19247 596 0 0 25 0 1 0 1852993036 3334144 521 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 521 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 198.45
Current children cumulated vsize (Kb) 5384

[startup+220.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 558 0 0 0 20155 627 0 0 22 0 1 0 1852993036 3334144 528 4294967295 134512640 134702520 3221223952 3221223232 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 528 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (Kb) 5384

[startup+230.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 558 0 0 0 21115 639 0 0 25 0 1 0 1852993036 3334144 528 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 528 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 217.56
Current children cumulated vsize (Kb) 5384

[startup+240.026 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 561 0 0 0 22055 660 0 0 25 0 1 0 1852993036 3334144 531 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 814 531 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 227.17
Current children cumulated vsize (Kb) 5384

[startup+250.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 566 0 0 0 22955 695 0 0 25 0 1 0 1852993036 3334144 536 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 814 536 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 236.52
Current children cumulated vsize (Kb) 5384

[startup+260.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 569 0 0 0 23864 726 0 0 18 0 1 0 1852993036 3334144 539 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 539 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 245.92
Current children cumulated vsize (Kb) 5384

[startup+270.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 572 0 0 0 24773 755 0 0 25 0 1 0 1852993036 3334144 542 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 542 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 255.3
Current children cumulated vsize (Kb) 5384

[startup+280.029 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 573 0 0 0 25677 789 0 0 20 0 1 0 1852993036 3334144 543 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 814 543 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 264.68
Current children cumulated vsize (Kb) 5384

[startup+290.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 575 0 0 0 26576 823 0 0 25 0 1 0 1852993036 3334144 545 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 814 545 413 48 0 766 0
[pid=26219] vsize: 3256
Current children cumulated CPU time (s) 274.01
Current children cumulated vsize (Kb) 5384

[startup+300.03 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 580 0 0 0 27480 856 0 0 25 0 1 0 1852993036 3469312 550 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 550 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 283.38
Current children cumulated vsize (Kb) 5516

[startup+310.032 s]
Raw data (loadavg): 0.99 0.98 0.96 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 581 0 0 0 28387 889 0 0 25 0 1 0 1852993036 3469312 551 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 551 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 292.78
Current children cumulated vsize (Kb) 5516

[startup+320.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 582 0 0 0 29331 907 0 0 20 0 1 0 1852993036 3469312 552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 552 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 302.4
Current children cumulated vsize (Kb) 5516

[startup+330.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 582 0 0 0 30291 921 0 0 25 0 1 0 1852993036 3469312 552 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 552 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 312.14
Current children cumulated vsize (Kb) 5516

[startup+340.035 s]
Raw data (loadavg): 1.07 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 585 0 0 0 31190 955 0 0 25 0 1 0 1852993036 3469312 555 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 555 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 321.47
Current children cumulated vsize (Kb) 5516

[startup+350.036 s]
Raw data (loadavg): 1.06 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 587 0 0 0 32094 988 0 0 25 0 1 0 1852993036 3469312 557 4294967295 134512640 134702520 3221223952 3221223072 134579031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 557 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 330.84
Current children cumulated vsize (Kb) 5516

[startup+360.037 s]
Raw data (loadavg): 1.05 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 592 0 0 0 33011 1018 0 0 25 0 1 0 1852993036 3469312 562 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 562 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 340.31
Current children cumulated vsize (Kb) 5516

[startup+370.038 s]
Raw data (loadavg): 1.04 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 594 0 0 0 33918 1047 0 0 25 0 1 0 1852993036 3469312 564 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 564 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 349.67
Current children cumulated vsize (Kb) 5516

[startup+380.039 s]
Raw data (loadavg): 1.11 1.02 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 597 0 0 0 34827 1079 0 0 25 0 1 0 1852993036 3469312 567 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 567 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 359.08
Current children cumulated vsize (Kb) 5516

[startup+390.041 s]
Raw data (loadavg): 1.09 1.02 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 600 0 0 0 35728 1114 0 0 25 0 1 0 1852993036 3469312 570 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 570 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 368.44
Current children cumulated vsize (Kb) 5516

[startup+400.042 s]
Raw data (loadavg): 1.08 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 601 0 0 0 36631 1147 0 0 25 0 1 0 1852993036 3469312 571 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 571 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 377.8
Current children cumulated vsize (Kb) 5516

[startup+410.043 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 602 0 0 0 37540 1175 0 0 25 0 1 0 1852993036 3469312 572 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 572 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 387.17
Current children cumulated vsize (Kb) 5516

[startup+420.044 s]
Raw data (loadavg): 1.05 1.01 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 607 0 0 0 38445 1207 0 0 25 0 1 0 1852993036 3469312 577 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 577 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 396.54
Current children cumulated vsize (Kb) 5516

[startup+430.045 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 611 0 0 0 39384 1228 0 0 25 0 1 0 1852993036 3469312 581 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 847 581 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 406.14
Current children cumulated vsize (Kb) 5516

[startup+440.046 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 611 0 0 0 40349 1241 0 0 25 0 1 0 1852993036 3469312 581 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 847 581 413 48 0 799 0
[pid=26219] vsize: 3388
Current children cumulated CPU time (s) 415.92
Current children cumulated vsize (Kb) 5516

[startup+450.047 s]
Raw data (loadavg): 1.03 1.01 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 612 0 0 0 41255 1271 0 0 24 0 1 0 1852993036 3604480 582 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 880 582 413 48 0 832 0
[pid=26219] vsize: 3520
Current children cumulated CPU time (s) 425.28
Current children cumulated vsize (Kb) 5648

[startup+460.047 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 630 0 0 0 42164 1303 0 0 20 0 1 0 1852993036 3604480 600 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 880 600 413 48 0 832 0
[pid=26219] vsize: 3520
Current children cumulated CPU time (s) 434.69
Current children cumulated vsize (Kb) 5648

[startup+470.048 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 883 0 0 0 43070 1336 0 0 25 0 1 0 1852993036 4640768 853 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 1133 853 413 48 0 1085 0
[pid=26219] vsize: 4532
Current children cumulated CPU time (s) 444.08
Current children cumulated vsize (Kb) 6660

[startup+480.049 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1081 0 0 0 43988 1365 0 0 25 0 1 0 1852993036 5525504 1051 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1349 1051 413 48 0 1301 0
[pid=26219] vsize: 5396
Current children cumulated CPU time (s) 453.55
Current children cumulated vsize (Kb) 7524

[startup+490.05 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 1126 0 0 0 44914 1392 0 0 25 0 1 0 1852993036 5656576 1096 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 1381 1096 413 48 0 1333 0
[pid=26219] vsize: 5524
Current children cumulated CPU time (s) 463.08
Current children cumulated vsize (Kb) 7652

[startup+500.051 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 1337 0 0 0 45836 1419 0 0 25 0 1 0 1852993036 6520832 1307 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1592 1307 413 48 0 1544 0
[pid=26219] vsize: 6368
Current children cumulated CPU time (s) 472.57
Current children cumulated vsize (Kb) 8496

[startup+510.052 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1455 0 0 0 46766 1445 0 0 25 0 1 0 1852993036 7016448 1425 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1713 1425 413 48 0 1665 0
[pid=26219] vsize: 6852
Current children cumulated CPU time (s) 482.13
Current children cumulated vsize (Kb) 8980

[startup+520.052 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1536 0 0 0 47687 1472 0 0 25 0 1 0 1852993036 7356416 1506 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 1796 1506 413 48 0 1748 0
[pid=26219] vsize: 7184
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 9312

[startup+530.053 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 1694 0 0 0 48611 1499 0 0 25 0 1 0 1852993036 8036352 1664 4294967295 134512640 134702520 3221223952 3221223232 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 1962 1664 413 48 0 1914 0
[pid=26219] vsize: 7848
Current children cumulated CPU time (s) 501.12
Current children cumulated vsize (Kb) 9976

[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1876 0 0 0 49538 1525 0 0 25 0 1 0 1852993036 8830976 1846 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2156 1846 413 48 0 2108 0
[pid=26219] vsize: 8624
Current children cumulated CPU time (s) 510.65
Current children cumulated vsize (Kb) 10752

[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1919 0 0 0 50477 1547 0 0 25 0 1 0 1852993036 8896512 1889 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2172 1889 413 48 0 2124 0
[pid=26219] vsize: 8688
Current children cumulated CPU time (s) 520.26
Current children cumulated vsize (Kb) 10816

[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 1951 0 0 0 51408 1570 0 0 25 0 1 0 1852993036 9064448 1921 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2213 1921 413 48 0 2165 0
[pid=26219] vsize: 8852
Current children cumulated CPU time (s) 529.8
Current children cumulated vsize (Kb) 10980

[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2087 0 0 0 52337 1591 0 0 25 0 1 0 1852993036 9564160 2057 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 2335 2057 413 48 0 2287 0
[pid=26219] vsize: 9340
Current children cumulated CPU time (s) 539.3
Current children cumulated vsize (Kb) 11468

[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2234 0 0 0 53270 1614 0 0 25 0 1 0 1852993036 10166272 2204 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 2482 2204 413 48 0 2434 0
[pid=26219] vsize: 9928
Current children cumulated CPU time (s) 548.86
Current children cumulated vsize (Kb) 12056

[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2379 0 0 0 54209 1634 0 0 25 0 1 0 1852993036 10850304 2349 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 2649 2349 413 48 0 2601 0
[pid=26219] vsize: 10596
Current children cumulated CPU time (s) 558.45
Current children cumulated vsize (Kb) 12724

[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2387 0 0 0 55154 1652 0 0 25 0 1 0 1852993036 10850304 2357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2649 2357 413 48 0 2601 0
[pid=26219] vsize: 10596
Current children cumulated CPU time (s) 568.08
Current children cumulated vsize (Kb) 12724

[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2387 0 0 0 56096 1673 0 0 25 0 1 0 1852993036 10850304 2357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2649 2357 413 48 0 2601 0
[pid=26219] vsize: 10596
Current children cumulated CPU time (s) 577.71
Current children cumulated vsize (Kb) 12724

[startup+620.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2470 0 0 0 57041 1693 0 0 25 0 1 0 1852993036 11161600 2440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2725 2440 413 48 0 2677 0
[pid=26219] vsize: 10900
Current children cumulated CPU time (s) 587.36
Current children cumulated vsize (Kb) 13028

[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2577 0 0 0 57984 1714 0 0 25 0 1 0 1852993036 11677696 2547 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2851 2547 413 48 0 2803 0
[pid=26219] vsize: 11404
Current children cumulated CPU time (s) 597
Current children cumulated vsize (Kb) 13532

[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2693 0 0 0 58925 1734 0 0 25 0 1 0 1852993036 12177408 2663 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 2973 2663 413 48 0 2925 0
[pid=26219] vsize: 11892
Current children cumulated CPU time (s) 606.61
Current children cumulated vsize (Kb) 14020

[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2811 0 0 0 59868 1754 0 0 25 0 1 0 1852993036 12603392 2781 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3077 2781 413 48 0 3029 0
[pid=26219] vsize: 12308
Current children cumulated CPU time (s) 616.24
Current children cumulated vsize (Kb) 14436

[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 60824 1770 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 625.96
Current children cumulated vsize (Kb) 14592

[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 61790 1784 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552513 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 635.76
Current children cumulated vsize (Kb) 14592

[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 62715 1808 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 645.25
Current children cumulated vsize (Kb) 14592

[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 63637 1834 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 654.73
Current children cumulated vsize (Kb) 14592

[startup+700.067 s]
Raw data (loadavg): 1.08 1.02 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 64567 1856 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 664.25
Current children cumulated vsize (Kb) 14592

[startup+710.069 s]
Raw data (loadavg): 1.07 1.02 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 65495 1880 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 673.77
Current children cumulated vsize (Kb) 14592

[startup+720.07 s]
Raw data (loadavg): 1.06 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 66425 1905 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 683.32
Current children cumulated vsize (Kb) 14592

[startup+730.071 s]
Raw data (loadavg): 1.05 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 67355 1928 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 692.85
Current children cumulated vsize (Kb) 14592

[startup+740.072 s]
Raw data (loadavg): 1.04 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 68282 1952 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (Kb) 14592

[startup+750.072 s]
Raw data (loadavg): 1.03 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 69176 1989 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 711.67
Current children cumulated vsize (Kb) 14592

[startup+760.073 s]
Raw data (loadavg): 1.03 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 70087 2021 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 721.1
Current children cumulated vsize (Kb) 14592

[startup+770.074 s]
Raw data (loadavg): 1.02 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 71006 2045 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 730.53
Current children cumulated vsize (Kb) 14592

[startup+780.075 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 71904 2079 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 739.85
Current children cumulated vsize (Kb) 14592

[startup+790.076 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 72809 2112 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 749.23
Current children cumulated vsize (Kb) 14592

[startup+800.077 s]
Raw data (loadavg): 1.01 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 73722 2140 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 758.64
Current children cumulated vsize (Kb) 14592

[startup+810.078 s]
Raw data (loadavg): 1.01 1.01 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 74627 2173 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 768.02
Current children cumulated vsize (Kb) 14592

[startup+820.079 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 75536 2204 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 777.42
Current children cumulated vsize (Kb) 14592

[startup+830.08 s]
Raw data (loadavg): 1.01 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 76446 2234 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 786.82
Current children cumulated vsize (Kb) 14592

[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 77391 2251 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 796.44
Current children cumulated vsize (Kb) 14592

[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 78356 2263 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 806.21
Current children cumulated vsize (Kb) 14592

[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 79262 2296 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 815.6
Current children cumulated vsize (Kb) 14592

[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 80166 2330 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 824.98
Current children cumulated vsize (Kb) 14592

[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 81071 2363 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222952 134564367 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 834.36
Current children cumulated vsize (Kb) 14592

[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 81985 2392 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 843.79
Current children cumulated vsize (Kb) 14592

[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 82898 2424 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 853.24
Current children cumulated vsize (Kb) 14592

[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 83813 2453 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 862.68
Current children cumulated vsize (Kb) 14592

[startup+920.088 s]
Raw data (loadavg): 1.07 1.02 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 84725 2481 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 872.08
Current children cumulated vsize (Kb) 14592

[startup+930.089 s]
Raw data (loadavg): 1.06 1.02 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 85632 2511 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 881.45
Current children cumulated vsize (Kb) 14592

[startup+940.09 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 86544 2541 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 890.87
Current children cumulated vsize (Kb) 14592

[startup+950.091 s]
Raw data (loadavg): 1.04 1.01 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 87446 2573 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 900.21
Current children cumulated vsize (Kb) 14592

[startup+960.093 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 88347 2606 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552903 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 909.55
Current children cumulated vsize (Kb) 14592

[startup+970.093 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 89260 2636 0 0 20 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 918.98
Current children cumulated vsize (Kb) 14592

[startup+980.093 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 90175 2665 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 928.42
Current children cumulated vsize (Kb) 14592

[startup+990.094 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) T 26216 26216 5929 0 -1 0 2861 0 0 0 91083 2695 0 0 21 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 937.8
Current children cumulated vsize (Kb) 14592

[startup+1000.09 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 91989 2725 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 947.16
Current children cumulated vsize (Kb) 14592

[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 26219
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1852993029 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 242 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26219/stat): 26219 (vallst) R 26216 26216 5929 0 -1 0 2861 0 0 0 92944 2741 0 0 25 0 1 0 1852993036 12763136 2831 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26219/statm): 3116 2831 413 48 0 3068 0
[pid=26219] vsize: 12464
Current children cumulated CPU time (s) 956.87
Current children cumulated vsize (Kb) 14592
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=26219) exited with status: 2
New process pid=26220
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=26220) exited with status: 0
New process pid=26221
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+1020.1 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 265 0 0 0 104 14 0 0 20 0 1 0 1853094908 2293760 235 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/26221/statm): 560 235 413 48 0 512 0
[pid=26221] vsize: 2240
Current children cumulated CPU time (s) 966.42
Current children cumulated vsize (Kb) 4368

[startup+1030.1 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 267 0 0 0 805 114 0 0 18 0 1 0 1853094908 2293760 237 4294967295 134512640 134702520 3221223712 3221222700 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 560 237 413 48 0 512 0
[pid=26221] vsize: 2240
Current children cumulated CPU time (s) 974.43
Current children cumulated vsize (Kb) 4368

[startup+1040.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 491 0 0 0 1532 206 0 0 20 0 1 0 1853094908 3166208 461 4294967295 134512640 134702520 3221223712 3221222608 134553914 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 773 461 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 982.62
Current children cumulated vsize (Kb) 5220

[startup+1050.1 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 499 0 0 0 2271 293 0 0 20 0 1 0 1853094908 3166208 469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 773 469 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 990.88
Current children cumulated vsize (Kb) 5220

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 512 0 0 0 3028 379 0 0 20 0 1 0 1853094908 3166208 482 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 773 482 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 999.31
Current children cumulated vsize (Kb) 5220

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 512 0 0 0 3740 477 0 0 19 0 1 0 1853094908 3166208 482 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 773 482 413 48 0 725 0
[pid=26221] vsize: 3092
Current children cumulated CPU time (s) 1007.41
Current children cumulated vsize (Kb) 5220

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 522 0 0 0 4487 563 0 0 22 0 1 0 1853094908 3301376 492 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 806 492 413 48 0 758 0
[pid=26221] vsize: 3224
Current children cumulated CPU time (s) 1015.74
Current children cumulated vsize (Kb) 5352

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 531 0 0 0 5254 642 0 0 18 0 1 0 1853094908 3301376 501 4294967295 134512640 134702520 3221223712 3221222912 134617943 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 806 501 413 48 0 758 0
[pid=26221] vsize: 3224
Current children cumulated CPU time (s) 1024.2
Current children cumulated vsize (Kb) 5352

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 546 0 0 0 6042 715 0 0 23 0 1 0 1853094908 3301376 516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 806 516 413 48 0 758 0
[pid=26221] vsize: 3224
Current children cumulated CPU time (s) 1032.81
Current children cumulated vsize (Kb) 5352

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 556 0 0 0 6820 793 0 0 22 0 1 0 1853094908 3436544 526 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26221/statm): 839 526 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1041.37
Current children cumulated vsize (Kb) 5484

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 561 0 0 0 7598 869 0 0 20 0 1 0 1853094908 3436544 531 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 531 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1049.91
Current children cumulated vsize (Kb) 5484

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 562 0 0 0 8333 965 0 0 20 0 1 0 1853094908 3436544 532 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 532 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1058.22
Current children cumulated vsize (Kb) 5484

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 562 0 0 0 9050 1060 0 0 20 0 1 0 1853094908 3436544 532 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 532 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1066.34
Current children cumulated vsize (Kb) 5484

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 566 0 0 0 9814 1143 0 0 20 0 1 0 1853094908 3436544 536 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26221/statm): 839 536 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1074.81
Current children cumulated vsize (Kb) 5484

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 572 0 0 0 10584 1222 0 0 20 0 1 0 1853094908 3436544 542 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 839 542 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1083.3
Current children cumulated vsize (Kb) 5484

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 576 0 0 0 11375 1292 0 0 21 0 1 0 1853094908 3436544 546 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 546 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1091.91
Current children cumulated vsize (Kb) 5484

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 582 0 0 0 12172 1361 0 0 23 0 1 0 1853094908 3436544 552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 552 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1100.57
Current children cumulated vsize (Kb) 5484

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 583 0 0 0 12915 1447 0 0 20 0 1 0 1853094908 3436544 553 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 553 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1108.86
Current children cumulated vsize (Kb) 5484

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 586 0 0 0 13648 1538 0 0 22 0 1 0 1853094908 3436544 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 839 556 413 48 0 791 0
[pid=26221] vsize: 3356
Current children cumulated CPU time (s) 1117.1
Current children cumulated vsize (Kb) 5484

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 588 0 0 0 14431 1616 0 0 19 0 1 0 1853094908 3571712 558 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 558 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1125.71
Current children cumulated vsize (Kb) 5616

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 592 0 0 0 15213 1692 0 0 22 0 1 0 1853094908 3571712 562 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 562 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1134.29
Current children cumulated vsize (Kb) 5616

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 596 0 0 0 15992 1771 0 0 23 0 1 0 1853094908 3571712 566 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 566 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1142.87
Current children cumulated vsize (Kb) 5616

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 600 0 0 0 16761 1846 0 0 19 0 1 0 1853094908 3571712 570 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 570 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1151.31
Current children cumulated vsize (Kb) 5616

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 607 0 0 0 17556 1917 0 0 23 0 1 0 1853094908 3571712 577 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 577 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1159.97
Current children cumulated vsize (Kb) 5616

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 607 0 0 0 18285 2014 0 0 19 0 1 0 1853094908 3571712 577 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 577 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1168.23
Current children cumulated vsize (Kb) 5616

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 609 0 0 0 19026 2102 0 0 20 0 1 0 1853094908 3571712 579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 579 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1176.52
Current children cumulated vsize (Kb) 5616

[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 613 0 0 0 19796 2179 0 0 20 0 1 0 1853094908 3571712 583 4294967295 134512640 134702520 3221223712 3221222992 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 583 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1184.99
Current children cumulated vsize (Kb) 5616

[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) T 26216 26216 5929 0 -1 0 616 0 0 0 20598 2245 0 0 21 0 1 0 1853094908 3571712 586 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26221/statm): 872 586 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1193.67
Current children cumulated vsize (Kb) 5616

[startup+1300.13 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 620 0 0 0 21384 2317 0 0 21 0 1 0 1853094908 3571712 590 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 590 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1202.25
Current children cumulated vsize (Kb) 5616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.13 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 26221
Raw data (/proc/26216/stat): 26216 (vallstSAT2005PB) S 26215 26216 5929 0 -1 0 378 3236 0 0 1 1 93770 2752 19 0 1 0 1852993029 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/26216/statm): 532 248 485 147 0 385 0
[pid=26216] vsize: 2128
Raw data (/proc/26221/stat): 26221 (vallst) R 26216 26216 5929 0 -1 0 620 0 0 0 21384 2317 0 0 21 0 1 0 1853094908 3571712 590 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26221/statm): 872 590 413 48 0 824 0
[pid=26221] vsize: 3488
Current children cumulated CPU time (s) 1202.25
Current children cumulated vsize (Kb) 5616

Sending SIGTERM to -26216
Sleeping 2 seconds
New process pid=26223
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=26224
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/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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=26221) exited with status: 3
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/3766/stat
open syscall for file /proc/3766/status
open syscall for file /proc/3766/cmdline
open syscall for file /proc/3766/environ
open syscall for file /proc/6014/stat
open syscall for file /proc/6014/status
open syscall for file /proc/6014/cmdline
open syscall for file /proc/6014/environ
open syscall for file /proc/6040/stat
open syscall for file /proc/6040/status
open syscall for file /proc/6040/cmdline
open syscall for file /proc/6040/environ
open syscall for file /proc/6065/stat
open syscall for file /proc/6065/status
open syscall for file /proc/6065/cmdline
open syscall for file /proc/6065/environ
open syscall for file /proc/15342/stat
open syscall for file /proc/15342/status
open syscall for file /proc/15342/cmdline
open syscall for file /proc/15342/environ
open syscall for file /proc/15343/stat
open syscall for file /proc/15343/status
open syscall for file /proc/15343/cmdline
open syscall for file /proc/15343/environ
open syscall for file /proc/20705/stat
open syscall for file /proc/20705/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/20705/cmdline
open syscall for file /proc/20705/environ
open syscall for file /proc/20741/stat
open syscall for file /proc/20741/status
open syscall for file /proc/20741/cmdline
open syscall for file /proc/20741/environ
open syscall for file /proc/5929/stat
open syscall for file /proc/5929/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/5929/cmdline
open syscall for file /proc/5929/environ
open syscall for file /proc/5930/stat
open syscall for file /proc/5930/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/5930/cmdline
open syscall for file /proc/5930/environ
open syscall for file /proc/5939/stat
open syscall for file /proc/5939/status
open syscall for file /proc/5939/cmdline
open syscall for file /proc/5939/environ
open syscall for file /proc/26179/stat
open syscall for file /proc/26179/status
open syscall for file /proc/26179/cmdline
open syscall for file /proc/26179/environ
open syscall for file /proc/26215/stat
open syscall for file /proc/26215/status
open syscall for file /proc/26215/cmdline
open syscall for file /proc/26215/environ
open syscall for file /proc/26216/stat
open syscall for file /proc/26216/status
open syscall for file /proc/26216/cmdline
open syscall for file /proc/26216/environ
open syscall for file /proc/26223/stat
open syscall for file /proc/26223/status
open syscall for file /proc/26223/cmdline
open syscall for file /proc/26223/environ
open syscall for file /proc/26224/stat
open syscall for file /proc/26224/status
open syscall for file /proc/26224/cmdline
open syscall for file /proc/26224/environ
One traced child (pid=26223) exited with status: 0
One traced child (pid=26224) exited with status: 0
New process pid=26225
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=26225) exited with status: 0
New process pid=26226
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=26226) exited with status: 0
One traced child (pid=26216) 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): 1300.62
CPU time (s): 1202.43
CPU user time (s): 1151.64
CPU system time (s): 50.7923
CPU usage (%): 92.4505
Max. virtual memory (cumulated for all children) (Kb): 14592

Verifier Data

ERROR: no interpretation found !