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

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM6292e63147fb202dc159fbf5a9ff5c77
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4882
Optimality of the best value was proved NO
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1196.31
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42

Trace number 3496

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-19 01:12:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7280 boxname=wulflinc21 idbench=248 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc21/normalized-C432.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-C432.opb 0
IDLAUNCH: 7280
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        904976 kB
Buffers:         28620 kB
Cached:          73724 kB
SwapCached:        812 kB
Active:          44276 kB
Inactive:        60624 kB
HighTotal:      131008 kB
HighFree:        54264 kB
LowTotal:       903652 kB
LowFree:        850712 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            19020 kB
Committed_AS:    64332 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 01:41:54 (client local time) WITH STATUS 0 IN 1200.89 SECONDS
stats: 7280 7 1200.89 0

Solver Data

1:
seed: 0
Nr of vars set: 11  (#equs: 0)
Nr of vars set: 18  (#equs: 0)
#decisions: 306;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  23209 (10145:>=*);
#decisions: 304;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23219 (10135:>=*);
#decisions: 351;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23251 (10103:>=*);
#decisions: 303;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23261 (10093:>=*);
#decisions: 431;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23303 (10051:>=*);
#decisions: 311;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23312 (10042:>=*);
#decisions: 301;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23322 (10032:>=*);
#decisions: 315;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23335 (10019:>=*);
#decisions: 306;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23344 (10010:>=*);
#decisions: 300;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23354 (10000:>=*);
#decisions: 304;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23364 (9990:>=*);
#decisions: 318;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23377 (9977:>=*);
#decisions: 315;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23386 (9968:>=*);
#decisions: 299;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23396 (9958:>=*);
#decisions: 300;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23405 (9949:>=*);
#decisions: 308;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23415 (9939:>=*);
#decisions: 320;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23437 (9917:>=*);
#decisions: 298;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23447 (9907:>=*);
#decisions: 322;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23464 (9890:>=*);
#decisions: 325;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23470 (9884:>=*);
#decisions: 326;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23479 (9875:>=*);
#decisions: 295;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23489 (9865:>=*);
#decisions: 309;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23493 (9861:>=*);
#decisions: 323;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23499 (9855:>=*);
#decisions: 323;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23518 (9836:>=*);
#decisions: 332;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23534 (9820:>=*);
#decisions: 306;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23543 (9811:>=*);
#decisions: 313;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23547 (9807:>=*);
#decisions: 324;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23563 (9791:>=*);
#decisions: 302;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23572 (9782:>=*);
#decisions: 365;  #end-nodes: 46;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 46 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23588 (9766:>=*);
#decisions: 308;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23597 (9757:>=*);
#decisions: 335;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23607 (9747:>=*);
#decisions: 359;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23614 (9740:>=*);
#decisions: 383;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23620 (9734:>=*);
#decisions: 329;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23639 (9715:>=*);
#decisions: 16343;  #end-nodes: 3397;
#proof improvement attempts: 0;  #restarts: 40
Current batch, end-nodes: 6 / 90 (90)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23647 (9707:>=*);
#decisions: 306;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23656 (9698:>=*);
#decisions: 344;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23672 (9682:>=*);
#decisions: 298;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23681 (9673:>=*);
#decisions: 326;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23685 (9669:>=*);
#decisions: 359;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23701 (9653:>=*);
#decisions: 293;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23710 (9644:>=*);
#decisions: 11057;  #end-nodes: 2248;
#proof improvement attempts: 0;  #restarts: 27
Current batch, end-nodes: 0 / 86 (86)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23719 (9635:>=*);
#decisions: 422;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23761 (9593:>=*);
#decisions: 3738;  #end-nodes: 739;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 11 / 82 (82)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23767 (9587:>=*);
#decisions: 326;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23799 (9555:>=*);
#decisions: 393;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23808 (9546:>=*);
#decisions: 5347;  #end-nodes: 1073;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 14 / 83 (83)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23811 (9543:>=*);
#decisions: 351;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23821 (9533:>=*);
#decisions: 38845;  #end-nodes: 8991;
#proof improvement attempts: 0;  #restarts: 97
Current batch, end-nodes: 71 / 104 (104)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23846 (9508:>=*);
#decisions: 115423;  #end-nodes: 30805;
#proof improvement attempts: 0;  #restarts: 270
Current batch, end-nodes: 144 / 147 (147)
#axs: 1906, #non-axs: 1
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:  23847 (9507:>=*);
#decisions: 302;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1906, #non-axs: 1
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:  23857 (9497:>=*);
#decisions: 29116;  #end-nodes: 6563;
#proof improvement attempts: 0;  #restarts: 73
Current batch, end-nodes: 67 / 98 (98)
#axs: 1906, #non-axs: 1
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:  23878 (9476:>=*);
#decisions: 207529;  #end-nodes: 62386;
#proof improvement attempts: 0;  #restarts: 456
Current batch, end-nodes: 3 / 194 (194)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23897 (9457:>=*);
#decisions: 331;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23913 (9441:>=*);
#decisions: 311;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23922 (9432:>=*);
#decisions: 318;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23938 (9416:>=*);
#decisions: 315;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23947 (9407:>=*);
#decisions: 339369;  #end-nodes: 116152;
#proof improvement attempts: 0;  #restarts: 696
Current batch, end-nodes: 52 / 254 (254)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23952 (9402:>=*);
#decisions: 373;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23962 (9392:>=*);
#decisions: 337;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23968 (9386:>=*);
#decisions: 381;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23977 (9377:>=*);
#decisions: 346;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23982 (9372:>=*);
#decisions: 346;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23988 (9366:>=*);
#decisions: 341;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23989 (9365:>=*);
#decisions: 308;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23997 (9357:>=*);
#decisions: 3293433;  #end-nodes: 1835517;
#proof improvement attempts: 0;  #restarts: 3526
Current batch, end-nodes: 7 / 961 (961)
#axs: 1906, #non-axs: 2
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:  24002 (9352:>=*);
#decisions: 328;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1906, #non-axs: 2
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:  24034 (9320:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 24034 (9320:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 18  (#equs: 0)
Time taken: 20 min, 0 sec
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options

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/1326/stat): 1326 (vallstSAT2005PB) R 1325 1326 20602 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1723109273 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1326/statm): 174 3 169 147 0 27 0
[pid=1326] 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=1327
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=1327) exited with status: 0
New process pid=1328
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=1328) exited with status: 0
New process pid=1329
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/wulflinc21/normalized-C432.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 359 0 0 0 282 229 0 0 16 0 1 0 1723109279 2920448 329 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 713 329 413 48 0 665 0
[pid=1329] vsize: 2852
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (Kb) 4980

[startup+20.0045 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 458 0 0 0 739 406 0 0 16 0 1 0 1723109279 2920448 428 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 713 428 413 48 0 665 0
[pid=1329] vsize: 2852
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (Kb) 4980

[startup+30.0051 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 460 0 0 0 1055 625 0 0 16 0 1 0 1723109279 2920448 430 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 713 430 413 48 0 665 0
[pid=1329] vsize: 2852
Current children cumulated CPU time (s) 16.81
Current children cumulated vsize (Kb) 4980

[startup+40.0058 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 462 0 0 0 1487 803 0 0 16 0 1 0 1723109279 3043328 432 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 432 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (Kb) 5100

[startup+50.0065 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 464 0 0 0 1795 1023 0 0 16 0 1 0 1723109279 3043328 434 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 434 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 28.19
Current children cumulated vsize (Kb) 5100

[startup+60.0072 s]
Raw data (loadavg): 1.11 1.03 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 466 0 0 0 2204 1217 0 0 16 0 1 0 1723109279 3043328 436 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 436 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 34.22
Current children cumulated vsize (Kb) 5100

[startup+70.0089 s]
Raw data (loadavg): 1.09 1.03 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 470 0 0 0 2588 1415 0 0 16 0 1 0 1723109279 3043328 440 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 440 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 40.04
Current children cumulated vsize (Kb) 5100

[startup+80.0095 s]
Raw data (loadavg): 1.08 1.02 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 472 0 0 0 3034 1593 0 0 16 0 1 0 1723109279 3043328 442 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 442 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 46.28
Current children cumulated vsize (Kb) 5100

[startup+90.0102 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 473 0 0 0 3439 1786 0 0 16 0 1 0 1723109279 3043328 443 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 443 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 52.26
Current children cumulated vsize (Kb) 5100

[startup+100.011 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 474 0 0 0 3791 1998 0 0 16 0 1 0 1723109279 3043328 444 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 444 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 57.9
Current children cumulated vsize (Kb) 5100

[startup+110.012 s]
Raw data (loadavg): 1.12 1.04 1.01 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 476 0 0 0 4169 2199 0 0 16 0 1 0 1723109279 3043328 446 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 446 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 63.69
Current children cumulated vsize (Kb) 5100

[startup+120.012 s]
Raw data (loadavg): 1.17 1.05 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 477 0 0 0 4612 2375 0 0 16 0 1 0 1723109279 3043328 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 447 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (Kb) 5100

[startup+130.013 s]
Raw data (loadavg): 1.15 1.05 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 479 0 0 0 4940 2587 0 0 16 0 1 0 1723109279 3043328 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 449 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 75.28
Current children cumulated vsize (Kb) 5100

[startup+140.014 s]
Raw data (loadavg): 1.12 1.05 1.01 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 481 0 0 0 5444 2747 0 0 16 0 1 0 1723109279 3043328 451 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 451 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 81.92
Current children cumulated vsize (Kb) 5100

[startup+150.015 s]
Raw data (loadavg): 1.10 1.05 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 482 0 0 0 5777 2963 0 0 15 0 1 0 1723109279 3043328 452 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 452 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 87.41
Current children cumulated vsize (Kb) 5100

[startup+160.016 s]
Raw data (loadavg): 1.09 1.04 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 487 0 0 0 6279 3124 0 0 15 0 1 0 1723109279 3043328 457 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 457 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 94.04
Current children cumulated vsize (Kb) 5100

[startup+170.017 s]
Raw data (loadavg): 1.07 1.04 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 487 0 0 0 6667 3321 0 0 16 0 1 0 1723109279 3043328 457 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 457 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (Kb) 5100

[startup+180.017 s]
Raw data (loadavg): 1.13 1.06 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 488 0 0 0 7047 3513 0 0 16 0 1 0 1723109279 3043328 458 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 458 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 105.61
Current children cumulated vsize (Kb) 5100

[startup+190.018 s]
Raw data (loadavg): 1.19 1.07 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 489 0 0 0 7366 3731 0 0 16 0 1 0 1723109279 3043328 459 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 743 459 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 110.98
Current children cumulated vsize (Kb) 5100

[startup+200.019 s]
Raw data (loadavg): 1.16 1.07 1.01 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 489 0 0 0 7830 3904 0 0 16 0 1 0 1723109279 3043328 459 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 459 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 117.35
Current children cumulated vsize (Kb) 5100

[startup+210.02 s]
Raw data (loadavg): 1.29 1.10 1.02 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 490 0 0 0 8179 4120 0 0 16 0 1 0 1723109279 3043328 460 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 743 460 413 48 0 695 0
[pid=1329] vsize: 2972
Current children cumulated CPU time (s) 123
Current children cumulated vsize (Kb) 5100

[startup+220.021 s]
Raw data (loadavg): 1.25 1.10 1.02 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 492 0 0 0 8636 4294 0 0 16 0 1 0 1723109279 3170304 462 4294967295 134512640 134702520 3221223968 3221222864 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 462 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 129.31
Current children cumulated vsize (Kb) 5224

[startup+230.022 s]
Raw data (loadavg): 1.21 1.09 1.02 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 494 0 0 0 9016 4497 0 0 16 0 1 0 1723109279 3170304 464 4294967295 134512640 134702520 3221223968 3221223236 134557393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 464 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 135.14
Current children cumulated vsize (Kb) 5224

[startup+240.022 s]
Raw data (loadavg): 1.26 1.10 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 496 0 0 0 9468 4672 0 0 16 0 1 0 1723109279 3170304 466 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 466 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 141.41
Current children cumulated vsize (Kb) 5224

[startup+250.024 s]
Raw data (loadavg): 1.30 1.12 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 497 0 0 0 9895 4851 0 0 16 0 1 0 1723109279 3170304 467 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 467 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 147.47
Current children cumulated vsize (Kb) 5224

[startup+260.025 s]
Raw data (loadavg): 1.25 1.11 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 499 0 0 0 10362 5034 0 0 16 0 1 0 1723109279 3170304 469 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 469 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 153.97
Current children cumulated vsize (Kb) 5224

[startup+270.026 s]
Raw data (loadavg): 1.21 1.11 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 501 0 0 0 10792 5220 0 0 16 0 1 0 1723109279 3170304 471 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 471 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 160.13
Current children cumulated vsize (Kb) 5224

[startup+280.026 s]
Raw data (loadavg): 1.26 1.12 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 503 0 0 0 11270 5393 0 0 16 0 1 0 1723109279 3170304 473 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 473 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 166.64
Current children cumulated vsize (Kb) 5224

[startup+290.027 s]
Raw data (loadavg): 1.22 1.12 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 11689 5569 0 0 15 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 475 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 172.59
Current children cumulated vsize (Kb) 5224

[startup+300.028 s]
Raw data (loadavg): 1.18 1.11 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 12069 5764 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 475 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 178.34
Current children cumulated vsize (Kb) 5224

[startup+310.028 s]
Raw data (loadavg): 1.24 1.13 1.03 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 12435 5974 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 475 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 184.1
Current children cumulated vsize (Kb) 5224

[startup+320.03 s]
Raw data (loadavg): 1.28 1.14 1.04 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 505 0 0 0 12773 6186 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 475 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 189.6
Current children cumulated vsize (Kb) 5224

[startup+330.031 s]
Raw data (loadavg): 1.24 1.13 1.04 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 13253 6354 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 475 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 196.08
Current children cumulated vsize (Kb) 5224

[startup+340.031 s]
Raw data (loadavg): 1.28 1.14 1.04 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 505 0 0 0 13587 6570 0 0 16 0 1 0 1723109279 3170304 475 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 475 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 201.58
Current children cumulated vsize (Kb) 5224

[startup+350.033 s]
Raw data (loadavg): 1.24 1.14 1.04 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 506 0 0 0 14088 6735 0 0 16 0 1 0 1723109279 3170304 476 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 476 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 208.24
Current children cumulated vsize (Kb) 5224

[startup+360.034 s]
Raw data (loadavg): 1.28 1.15 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 507 0 0 0 14427 6949 0 0 16 0 1 0 1723109279 3170304 477 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 477 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 213.77
Current children cumulated vsize (Kb) 5224

[startup+370.035 s]
Raw data (loadavg): 1.32 1.16 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 508 0 0 0 14920 7113 0 0 16 0 1 0 1723109279 3170304 478 4294967295 134512640 134702520 3221223968 3221223156 134617730 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 478 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (Kb) 5224

[startup+380.036 s]
Raw data (loadavg): 1.34 1.17 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 510 0 0 0 15309 7303 0 0 16 0 1 0 1723109279 3170304 480 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 480 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 226.13
Current children cumulated vsize (Kb) 5224

[startup+390.037 s]
Raw data (loadavg): 1.29 1.17 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 511 0 0 0 15799 7463 0 0 16 0 1 0 1723109279 3170304 481 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 481 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 232.63
Current children cumulated vsize (Kb) 5224

[startup+400.037 s]
Raw data (loadavg): 1.24 1.16 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 513 0 0 0 16214 7655 0 0 16 0 1 0 1723109279 3170304 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 483 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 238.7
Current children cumulated vsize (Kb) 5224

[startup+410.038 s]
Raw data (loadavg): 1.21 1.16 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 514 0 0 0 16702 7822 0 0 16 0 1 0 1723109279 3170304 484 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 484 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 245.25
Current children cumulated vsize (Kb) 5224

[startup+420.04 s]
Raw data (loadavg): 1.17 1.15 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 516 0 0 0 17118 8005 0 0 16 0 1 0 1723109279 3170304 486 4294967295 134512640 134702520 3221223968 3221223088 134578896 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 486 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 251.24
Current children cumulated vsize (Kb) 5224

[startup+430.04 s]
Raw data (loadavg): 1.15 1.14 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 518 0 0 0 17628 8168 0 0 16 0 1 0 1723109279 3170304 488 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 774 488 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 257.97
Current children cumulated vsize (Kb) 5224

[startup+440.041 s]
Raw data (loadavg): 1.20 1.16 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 521 0 0 0 18025 8365 0 0 16 0 1 0 1723109279 3170304 491 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 774 491 413 48 0 726 0
[pid=1329] vsize: 3096
Current children cumulated CPU time (s) 263.91
Current children cumulated vsize (Kb) 5224

[startup+450.042 s]
Raw data (loadavg): 1.24 1.17 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 522 0 0 0 18601 8500 0 0 16 0 1 0 1723109279 3293184 492 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 492 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 271.02
Current children cumulated vsize (Kb) 5344

[startup+460.043 s]
Raw data (loadavg): 1.28 1.18 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 524 0 0 0 18964 8708 0 0 16 0 1 0 1723109279 3293184 494 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 494 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 276.73
Current children cumulated vsize (Kb) 5344

[startup+470.044 s]
Raw data (loadavg): 1.23 1.17 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 527 0 0 0 19534 8848 0 0 16 0 1 0 1723109279 3293184 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 497 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 283.83
Current children cumulated vsize (Kb) 5344

[startup+480.045 s]
Raw data (loadavg): 1.20 1.16 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 528 0 0 0 19915 9044 0 0 16 0 1 0 1723109279 3293184 498 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 804 498 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 289.6
Current children cumulated vsize (Kb) 5344

[startup+490.047 s]
Raw data (loadavg): 1.17 1.16 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 530 0 0 0 20493 9184 0 0 16 0 1 0 1723109279 3293184 500 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 804 500 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 296.78
Current children cumulated vsize (Kb) 5344

[startup+500.047 s]
Raw data (loadavg): 1.14 1.15 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 531 0 0 0 20966 9358 0 0 16 0 1 0 1723109279 3293184 501 4294967295 134512640 134702520 3221223968 3221222864 134554289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 804 501 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 303.25
Current children cumulated vsize (Kb) 5344

[startup+510.048 s]
Raw data (loadavg): 1.12 1.15 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 533 0 0 0 21493 9510 0 0 16 0 1 0 1723109279 3293184 503 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 503 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 310.04
Current children cumulated vsize (Kb) 5344

[startup+520.05 s]
Raw data (loadavg): 1.10 1.14 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 535 0 0 0 22066 9650 0 0 16 0 1 0 1723109279 3293184 505 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 505 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 317.17
Current children cumulated vsize (Kb) 5344

[startup+530.05 s]
Raw data (loadavg): 1.08 1.14 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 537 0 0 0 22451 9852 0 0 16 0 1 0 1723109279 3293184 507 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 804 507 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 323.04
Current children cumulated vsize (Kb) 5344

[startup+540.05 s]
Raw data (loadavg): 1.15 1.15 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 540 0 0 0 23068 9974 0 0 16 0 1 0 1723109279 3293184 510 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 804 510 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 330.43
Current children cumulated vsize (Kb) 5344

[startup+550.052 s]
Raw data (loadavg): 1.13 1.14 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 542 0 0 0 23434 10189 0 0 15 0 1 0 1723109279 3293184 512 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 512 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 336.24
Current children cumulated vsize (Kb) 5344

[startup+560.052 s]
Raw data (loadavg): 1.11 1.14 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 547 0 0 0 24041 10315 0 0 16 0 1 0 1723109279 3293184 517 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 804 517 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 343.57
Current children cumulated vsize (Kb) 5344

[startup+570.052 s]
Raw data (loadavg): 1.09 1.13 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 550 0 0 0 24621 10455 0 0 16 0 1 0 1723109279 3293184 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 804 520 413 48 0 756 0
[pid=1329] vsize: 3216
Current children cumulated CPU time (s) 350.77
Current children cumulated vsize (Kb) 5344

[startup+580.053 s]
Raw data (loadavg): 1.08 1.13 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 552 0 0 0 25041 10642 0 0 16 0 1 0 1723109279 3416064 522 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 834 522 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 356.84
Current children cumulated vsize (Kb) 5464

[startup+590.053 s]
Raw data (loadavg): 1.06 1.12 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 556 0 0 0 25671 10768 0 0 16 0 1 0 1723109279 3416064 526 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 834 526 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 364.4
Current children cumulated vsize (Kb) 5464

[startup+600.055 s]
Raw data (loadavg): 1.05 1.12 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 559 0 0 0 26103 10950 0 0 16 0 1 0 1723109279 3416064 529 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 834 529 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 370.54
Current children cumulated vsize (Kb) 5464

[startup+610.056 s]
Raw data (loadavg): 1.12 1.13 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 561 0 0 0 26694 11081 0 0 16 0 1 0 1723109279 3416064 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 834 531 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 377.76
Current children cumulated vsize (Kb) 5464

[startup+620.055 s]
Raw data (loadavg): 1.10 1.13 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 566 0 0 0 27330 11203 0 0 16 0 1 0 1723109279 3416064 536 4294967295 134512640 134702520 3221223968 3221223088 134572622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 834 536 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 385.34
Current children cumulated vsize (Kb) 5464

[startup+630.056 s]
Raw data (loadavg): 1.24 1.15 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 567 0 0 0 27711 11409 0 0 16 0 1 0 1723109279 3416064 537 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 834 537 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 391.21
Current children cumulated vsize (Kb) 5464

[startup+640.057 s]
Raw data (loadavg): 1.20 1.15 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 571 0 0 0 28338 11534 0 0 16 0 1 0 1723109279 3416064 541 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 834 541 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 398.73
Current children cumulated vsize (Kb) 5464

[startup+650.057 s]
Raw data (loadavg): 1.17 1.14 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 574 0 0 0 28905 11680 0 0 15 0 1 0 1723109279 3416064 544 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 834 544 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 405.86
Current children cumulated vsize (Kb) 5464

[startup+660.058 s]
Raw data (loadavg): 1.15 1.14 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 576 0 0 0 29343 11867 0 0 16 0 1 0 1723109279 3416064 546 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 834 546 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 412.11
Current children cumulated vsize (Kb) 5464

[startup+670.059 s]
Raw data (loadavg): 1.12 1.13 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 579 0 0 0 29972 11994 0 0 16 0 1 0 1723109279 3416064 549 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 834 549 413 48 0 786 0
[pid=1329] vsize: 3336
Current children cumulated CPU time (s) 419.67
Current children cumulated vsize (Kb) 5464

[startup+680.059 s]
Raw data (loadavg): 1.10 1.13 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 582 0 0 0 30478 12156 0 0 15 0 1 0 1723109279 3551232 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 867 552 413 48 0 819 0
[pid=1329] vsize: 3468
Current children cumulated CPU time (s) 426.35
Current children cumulated vsize (Kb) 5596

[startup+690.06 s]
Raw data (loadavg): 1.09 1.12 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 585 0 0 0 30983 12319 0 0 16 0 1 0 1723109279 3543040 555 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 555 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 433.03
Current children cumulated vsize (Kb) 5588

[startup+700.062 s]
Raw data (loadavg): 1.07 1.12 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 588 0 0 0 31654 12428 0 0 16 0 1 0 1723109279 3543040 558 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 865 558 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 440.83
Current children cumulated vsize (Kb) 5588

[startup+710.062 s]
Raw data (loadavg): 1.06 1.11 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 590 0 0 0 32086 12610 0 0 16 0 1 0 1723109279 3543040 560 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 560 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 446.97
Current children cumulated vsize (Kb) 5588

[startup+720.062 s]
Raw data (loadavg): 1.12 1.13 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 593 0 0 0 32682 12748 0 0 16 0 1 0 1723109279 3543040 563 4294967295 134512640 134702520 3221223968 3221223248 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 563 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 454.31
Current children cumulated vsize (Kb) 5588

[startup+730.063 s]
Raw data (loadavg): 1.18 1.14 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 596 0 0 0 33328 12863 0 0 16 0 1 0 1723109279 3543040 566 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 865 566 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (Kb) 5588

[startup+740.064 s]
Raw data (loadavg): 1.15 1.13 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 597 0 0 0 33732 13051 0 0 16 0 1 0 1723109279 3543040 567 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 865 567 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 467.84
Current children cumulated vsize (Kb) 5588

[startup+750.064 s]
Raw data (loadavg): 1.13 1.13 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 599 0 0 0 34384 13163 0 0 16 0 1 0 1723109279 3543040 569 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 569 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 475.48
Current children cumulated vsize (Kb) 5588

[startup+760.065 s]
Raw data (loadavg): 1.19 1.14 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 604 0 0 0 35022 13280 0 0 16 0 1 0 1723109279 3543040 574 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 574 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 483.03
Current children cumulated vsize (Kb) 5588

[startup+770.066 s]
Raw data (loadavg): 1.16 1.14 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 606 0 0 0 35456 13467 0 0 16 0 1 0 1723109279 3543040 576 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 865 576 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 489.24
Current children cumulated vsize (Kb) 5588

[startup+780.066 s]
Raw data (loadavg): 1.13 1.13 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 607 0 0 0 36099 13586 0 0 16 0 1 0 1723109279 3543040 577 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 577 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 496.86
Current children cumulated vsize (Kb) 5588

[startup+790.067 s]
Raw data (loadavg): 1.11 1.13 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 608 0 0 0 36788 13685 0 0 16 0 1 0 1723109279 3543040 578 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 865 578 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 504.74
Current children cumulated vsize (Kb) 5588

[startup+800.068 s]
Raw data (loadavg): 1.18 1.14 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 610 0 0 0 37227 13871 0 0 16 0 1 0 1723109279 3543040 580 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 865 580 413 48 0 817 0
[pid=1329] vsize: 3460
Current children cumulated CPU time (s) 510.99
Current children cumulated vsize (Kb) 5588

[startup+810.068 s]
Raw data (loadavg): 1.15 1.13 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 613 0 0 0 37817 14007 0 0 16 0 1 0 1723109279 3670016 583 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 583 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 518.25
Current children cumulated vsize (Kb) 5712

[startup+820.069 s]
Raw data (loadavg): 1.20 1.14 1.08 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 615 0 0 0 38505 14109 0 0 16 0 1 0 1723109279 3670016 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 585 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 526.15
Current children cumulated vsize (Kb) 5712

[startup+830.07 s]
Raw data (loadavg): 1.17 1.14 1.08 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 619 0 0 0 39023 14263 0 0 16 0 1 0 1723109279 3670016 589 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 589 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 532.87
Current children cumulated vsize (Kb) 5712

[startup+840.07 s]
Raw data (loadavg): 1.15 1.13 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 619 0 0 0 39579 14407 0 0 16 0 1 0 1723109279 3670016 589 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 589 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 539.87
Current children cumulated vsize (Kb) 5712

[startup+850.072 s]
Raw data (loadavg): 1.12 1.13 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 622 0 0 0 40226 14529 0 0 15 0 1 0 1723109279 3670016 592 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 592 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 547.56
Current children cumulated vsize (Kb) 5712

[startup+860.073 s]
Raw data (loadavg): 1.10 1.12 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 623 0 0 0 40837 14659 0 0 15 0 1 0 1723109279 3670016 593 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 593 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 554.97
Current children cumulated vsize (Kb) 5712

[startup+870.072 s]
Raw data (loadavg): 1.09 1.12 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 624 0 0 0 41279 14841 0 0 16 0 1 0 1723109279 3670016 594 4294967295 134512640 134702520 3221223968 3221223360 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 594 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 561.21
Current children cumulated vsize (Kb) 5712

[startup+880.074 s]
Raw data (loadavg): 1.07 1.12 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 626 0 0 0 41966 14940 0 0 16 0 1 0 1723109279 3670016 596 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 596 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 569.07
Current children cumulated vsize (Kb) 5712

[startup+890.075 s]
Raw data (loadavg): 1.06 1.11 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 631 0 0 0 42660 15036 0 0 16 0 1 0 1723109279 3670016 601 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 601 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 576.97
Current children cumulated vsize (Kb) 5712

[startup+900.076 s]
Raw data (loadavg): 1.13 1.12 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 632 0 0 0 43050 15236 0 0 16 0 1 0 1723109279 3670016 602 4294967295 134512640 134702520 3221223968 3221223512 134571901 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 602 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 582.87
Current children cumulated vsize (Kb) 5712

[startup+910.077 s]
Raw data (loadavg): 1.18 1.14 1.08 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 634 0 0 0 43747 15338 0 0 16 0 1 0 1723109279 3670016 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 604 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 590.86
Current children cumulated vsize (Kb) 5712

[startup+920.077 s]
Raw data (loadavg): 1.16 1.13 1.08 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 636 0 0 0 44422 15448 0 0 16 0 1 0 1723109279 3670016 606 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 606 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 598.71
Current children cumulated vsize (Kb) 5712

[startup+930.078 s]
Raw data (loadavg): 1.13 1.13 1.08 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 638 0 0 0 44863 15630 0 0 16 0 1 0 1723109279 3670016 608 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 608 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 604.94
Current children cumulated vsize (Kb) 5712

[startup+940.078 s]
Raw data (loadavg): 1.11 1.12 1.08 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 640 0 0 0 45501 15752 0 0 15 0 1 0 1723109279 3670016 610 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 896 610 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 612.54
Current children cumulated vsize (Kb) 5712

[startup+950.08 s]
Raw data (loadavg): 1.09 1.12 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 642 0 0 0 46165 15862 0 0 16 0 1 0 1723109279 3670016 612 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 896 612 413 48 0 848 0
[pid=1329] vsize: 3584
Current children cumulated CPU time (s) 620.28
Current children cumulated vsize (Kb) 5712

[startup+960.081 s]
Raw data (loadavg): 1.08 1.11 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 644 0 0 0 46828 15973 0 0 16 0 1 0 1723109279 3805184 614 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 929 614 413 48 0 881 0
[pid=1329] vsize: 3716
Current children cumulated CPU time (s) 628.02
Current children cumulated vsize (Kb) 5844

[startup+970.081 s]
Raw data (loadavg): 1.07 1.11 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 646 0 0 0 47272 16150 0 0 16 0 1 0 1723109279 3801088 616 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 616 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 634.23
Current children cumulated vsize (Kb) 5840

[startup+980.082 s]
Raw data (loadavg): 1.06 1.10 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 647 0 0 0 47941 16266 0 0 16 0 1 0 1723109279 3801088 617 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 617 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (Kb) 5840

[startup+990.083 s]
Raw data (loadavg): 1.05 1.10 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 648 0 0 0 48632 16363 0 0 16 0 1 0 1723109279 3801088 618 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 618 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 649.96
Current children cumulated vsize (Kb) 5840

[startup+1000.08 s]
Raw data (loadavg): 1.04 1.10 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 649 0 0 0 49105 16532 0 0 16 0 1 0 1723109279 3801088 619 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 619 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 656.38
Current children cumulated vsize (Kb) 5840

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.09 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 652 0 0 0 49764 16645 0 0 16 0 1 0 1723109279 3801088 622 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 622 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 664.1
Current children cumulated vsize (Kb) 5840

[startup+1020.09 s]
Raw data (loadavg): 1.03 1.09 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 655 0 0 0 50454 16748 0 0 16 0 1 0 1723109279 3801088 625 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 625 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 672.03
Current children cumulated vsize (Kb) 5840

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.09 1.07 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 657 0 0 0 51136 16857 0 0 16 0 1 0 1723109279 3801088 627 4294967295 134512640 134702520 3221223968 3221223168 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 627 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 679.94
Current children cumulated vsize (Kb) 5840

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.08 1.07 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 657 0 0 0 51538 17051 0 0 16 0 1 0 1723109279 3801088 627 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 627 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 685.9
Current children cumulated vsize (Kb) 5840

[startup+1050.09 s]
Raw data (loadavg): 1.02 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 659 0 0 0 52223 17152 0 0 16 0 1 0 1723109279 3801088 629 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 629 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 693.76
Current children cumulated vsize (Kb) 5840

[startup+1060.09 s]
Raw data (loadavg): 1.01 1.08 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 660 0 0 0 52917 17252 0 0 16 0 1 0 1723109279 3801088 630 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 630 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 701.7
Current children cumulated vsize (Kb) 5840

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.07 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 662 0 0 0 53459 17402 0 0 16 0 1 0 1723109279 3801088 632 4294967295 134512640 134702520 3221223968 3221222864 134552731 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 632 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 708.62
Current children cumulated vsize (Kb) 5840

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.07 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 664 0 0 0 53995 17558 0 0 16 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 634 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 715.54
Current children cumulated vsize (Kb) 5840

[startup+1090.09 s]
Raw data (loadavg): 1.01 1.07 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 664 0 0 0 54685 17655 0 0 16 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221223088 134586058 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 634 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 723.41
Current children cumulated vsize (Kb) 5840

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.06 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 664 0 0 0 55375 17759 0 0 15 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 634 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 731.35
Current children cumulated vsize (Kb) 5840

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.06 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 664 0 0 0 55791 17946 0 0 16 0 1 0 1723109279 3801088 634 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 634 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 737.38
Current children cumulated vsize (Kb) 5840

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.06 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 665 0 0 0 56491 18044 0 0 16 0 1 0 1723109279 3801088 635 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 635 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 745.36
Current children cumulated vsize (Kb) 5840

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.06 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 665 0 0 0 57192 18143 0 0 16 0 1 0 1723109279 3801088 635 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 635 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 753.36
Current children cumulated vsize (Kb) 5840

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.05 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 667 0 0 0 57890 18242 0 0 16 0 1 0 1723109279 3801088 637 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 637 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 761.33
Current children cumulated vsize (Kb) 5840

[startup+1150.1 s]
Raw data (loadavg): 1.07 1.07 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 668 0 0 0 58288 18439 0 0 16 0 1 0 1723109279 3801088 638 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 638 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 767.28
Current children cumulated vsize (Kb) 5840

[startup+1160.1 s]
Raw data (loadavg): 1.06 1.07 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 669 0 0 0 58976 18541 0 0 16 0 1 0 1723109279 3801088 639 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 639 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 775.18
Current children cumulated vsize (Kb) 5840

[startup+1170.1 s]
Raw data (loadavg): 1.05 1.06 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 670 0 0 0 59668 18641 0 0 16 0 1 0 1723109279 3801088 640 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 640 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 783.1
Current children cumulated vsize (Kb) 5840

[startup+1180.1 s]
Raw data (loadavg): 1.04 1.06 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 670 0 0 0 60393 18733 0 0 16 0 1 0 1723109279 3801088 640 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 640 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 791.27
Current children cumulated vsize (Kb) 5840

[startup+1190.1 s]
Raw data (loadavg): 1.04 1.06 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 672 0 0 0 60808 18920 0 0 16 0 1 0 1723109279 3801088 642 4294967295 134512640 134702520 3221223968 3221223248 134553369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 928 642 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 797.29
Current children cumulated vsize (Kb) 5840

[startup+1200.1 s]
Raw data (loadavg): 1.03 1.06 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 673 0 0 0 61509 19023 0 0 16 0 1 0 1723109279 3801088 643 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 928 643 413 48 0 880 0
[pid=1329] vsize: 3712
Current children cumulated CPU time (s) 805.33
Current children cumulated vsize (Kb) 5840

[startup+1210.1 s]
Raw data (loadavg): 1.02 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 677 0 0 0 62204 19120 0 0 16 0 1 0 1723109279 3932160 647 4294967295 134512640 134702520 3221223968 3221223444 1074952478 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 647 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 813.25
Current children cumulated vsize (Kb) 5968

[startup+1220.1 s]
Raw data (loadavg): 1.02 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 678 0 0 0 62887 19225 0 0 16 0 1 0 1723109279 3932160 648 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 648 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 821.13
Current children cumulated vsize (Kb) 5968

[startup+1230.1 s]
Raw data (loadavg): 1.02 1.05 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 679 0 0 0 63334 19401 0 0 16 0 1 0 1723109279 3932160 649 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 649 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 827.36
Current children cumulated vsize (Kb) 5968

[startup+1240.1 s]
Raw data (loadavg): 1.01 1.05 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 679 0 0 0 64030 19503 0 0 16 0 1 0 1723109279 3932160 649 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 649 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 835.34
Current children cumulated vsize (Kb) 5968

[startup+1250.1 s]
Raw data (loadavg): 1.01 1.05 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 682 0 0 0 64716 19607 0 0 16 0 1 0 1723109279 3932160 652 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 652 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 843.24
Current children cumulated vsize (Kb) 5968

[startup+1260.11 s]
Raw data (loadavg): 1.09 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 683 0 0 0 65403 19705 0 0 16 0 1 0 1723109279 3932160 653 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 653 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 851.09
Current children cumulated vsize (Kb) 5968

[startup+1270.11 s]
Raw data (loadavg): 1.07 1.06 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 683 0 0 0 65858 19880 0 0 16 0 1 0 1723109279 3932160 653 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 653 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 857.39
Current children cumulated vsize (Kb) 5968

[startup+1280.11 s]
Raw data (loadavg): 1.06 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 683 0 0 0 66556 19977 0 0 16 0 1 0 1723109279 3932160 653 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 653 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 865.34
Current children cumulated vsize (Kb) 5968

[startup+1290.11 s]
Raw data (loadavg): 1.05 1.05 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 685 0 0 0 67254 20077 0 0 16 0 1 0 1723109279 3932160 655 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 655 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 873.32
Current children cumulated vsize (Kb) 5968

[startup+1300.11 s]
Raw data (loadavg): 1.04 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 685 0 0 0 67992 20165 0 0 16 0 1 0 1723109279 3932160 655 4294967295 134512640 134702520 3221223968 3221223248 134553460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 655 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 881.58
Current children cumulated vsize (Kb) 5968

[startup+1310.11 s]
Raw data (loadavg): 1.04 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 686 0 0 0 68383 20359 0 0 16 0 1 0 1723109279 3932160 656 4294967295 134512640 134702520 3221223968 3221223248 134552910 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 656 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 887.43
Current children cumulated vsize (Kb) 5968

[startup+1320.11 s]
Raw data (loadavg): 1.03 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 688 0 0 0 69074 20461 0 0 16 0 1 0 1723109279 3932160 658 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 658 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 895.36
Current children cumulated vsize (Kb) 5968

[startup+1330.11 s]
Raw data (loadavg): 1.03 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 690 0 0 0 69810 20549 0 0 16 0 1 0 1723109279 3932160 660 4294967295 134512640 134702520 3221223968 3221223152 134618031 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 660 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 903.6
Current children cumulated vsize (Kb) 5968

[startup+1340.11 s]
Raw data (loadavg): 1.02 1.04 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 690 0 0 0 70299 20722 0 0 16 0 1 0 1723109279 3932160 660 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 660 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 910.22
Current children cumulated vsize (Kb) 5968

[startup+1350.11 s]
Raw data (loadavg): 1.02 1.04 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 70646 20929 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 915.76
Current children cumulated vsize (Kb) 5968

[startup+1360.11 s]
Raw data (loadavg): 1.09 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 71081 21110 0 0 15 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 921.92
Current children cumulated vsize (Kb) 5968

[startup+1370.11 s]
Raw data (loadavg): 1.07 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 71431 21317 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 927.49
Current children cumulated vsize (Kb) 5968

[startup+1380.11 s]
Raw data (loadavg): 1.14 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 71857 21508 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 933.66
Current children cumulated vsize (Kb) 5968

[startup+1390.11 s]
Raw data (loadavg): 1.12 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 72256 21696 0 0 15 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 939.53
Current children cumulated vsize (Kb) 5968

[startup+1400.12 s]
Raw data (loadavg): 1.10 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 72638 21894 0 0 15 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 945.33
Current children cumulated vsize (Kb) 5968

[startup+1410.12 s]
Raw data (loadavg): 1.08 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 73087 22069 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 951.57
Current children cumulated vsize (Kb) 5968

[startup+1420.12 s]
Raw data (loadavg): 1.07 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 73453 22272 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 957.26
Current children cumulated vsize (Kb) 5968

[startup+1430.12 s]
Raw data (loadavg): 1.06 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 73975 22424 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 964
Current children cumulated vsize (Kb) 5968

[startup+1440.12 s]
Raw data (loadavg): 1.05 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 74303 22645 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 969.49
Current children cumulated vsize (Kb) 5968

[startup+1450.12 s]
Raw data (loadavg): 1.04 1.05 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 74864 22790 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 976.55
Current children cumulated vsize (Kb) 5968

[startup+1460.12 s]
Raw data (loadavg): 1.12 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 75205 23008 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 982.14
Current children cumulated vsize (Kb) 5968

[startup+1470.12 s]
Raw data (loadavg): 1.10 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 75764 23150 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 989.15
Current children cumulated vsize (Kb) 5968

[startup+1480.12 s]
Raw data (loadavg): 1.08 1.06 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 76175 23344 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 995.2
Current children cumulated vsize (Kb) 5968

[startup+1490.12 s]
Raw data (loadavg): 1.07 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 76714 23495 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (Kb) 5968

[startup+1500.12 s]
Raw data (loadavg): 1.06 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 77173 23675 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1008.49
Current children cumulated vsize (Kb) 5968

[startup+1510.13 s]
Raw data (loadavg): 1.13 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 77657 23840 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1014.98
Current children cumulated vsize (Kb) 5968

[startup+1520.12 s]
Raw data (loadavg): 1.11 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 78176 23998 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1021.75
Current children cumulated vsize (Kb) 5968

[startup+1530.13 s]
Raw data (loadavg): 1.09 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 78595 24186 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1027.82
Current children cumulated vsize (Kb) 5968

[startup+1540.13 s]
Raw data (loadavg): 1.08 1.06 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 79191 24320 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1035.12
Current children cumulated vsize (Kb) 5968

[startup+1550.13 s]
Raw data (loadavg): 1.06 1.06 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 79562 24525 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1040.88
Current children cumulated vsize (Kb) 5968

[startup+1560.13 s]
Raw data (loadavg): 1.13 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 80134 24663 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1047.98
Current children cumulated vsize (Kb) 5968

[startup+1570.13 s]
Raw data (loadavg): 1.11 1.07 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 80549 24857 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1054.07
Current children cumulated vsize (Kb) 5968

[startup+1580.13 s]
Raw data (loadavg): 1.17 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 81100 25002 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1061.03
Current children cumulated vsize (Kb) 5968

[startup+1590.13 s]
Raw data (loadavg): 1.14 1.08 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 81682 25141 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1068.24
Current children cumulated vsize (Kb) 5968

[startup+1600.13 s]
Raw data (loadavg): 1.12 1.08 1.05 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 82102 25328 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134553451 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1074.31
Current children cumulated vsize (Kb) 5968

[startup+1610.13 s]
Raw data (loadavg): 1.18 1.09 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 82731 25451 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1081.83
Current children cumulated vsize (Kb) 5968

[startup+1620.13 s]
Raw data (loadavg): 1.15 1.09 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 83125 25648 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1087.74
Current children cumulated vsize (Kb) 5968

[startup+1630.13 s]
Raw data (loadavg): 1.13 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 83723 25784 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1095.08
Current children cumulated vsize (Kb) 5968

[startup+1640.13 s]
Raw data (loadavg): 1.11 1.08 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 84335 25913 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1102.49
Current children cumulated vsize (Kb) 5968

[startup+1650.13 s]
Raw data (loadavg): 1.17 1.10 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 84736 26111 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1108.48
Current children cumulated vsize (Kb) 5968

[startup+1660.14 s]
Raw data (loadavg): 1.15 1.09 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 85356 26234 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1115.91
Current children cumulated vsize (Kb) 5968

[startup+1670.14 s]
Raw data (loadavg): 1.20 1.10 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 691 0 0 0 85890 26378 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1122.69
Current children cumulated vsize (Kb) 5968

[startup+1680.14 s]
Raw data (loadavg): 1.17 1.10 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 86373 26551 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1129.25
Current children cumulated vsize (Kb) 5968

[startup+1690.14 s]
Raw data (loadavg): 1.14 1.10 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 87026 26668 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1136.95
Current children cumulated vsize (Kb) 5968

[startup+1700.14 s]
Raw data (loadavg): 1.12 1.09 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 691 0 0 0 87436 26862 0 0 16 0 1 0 1723109279 3932160 661 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 661 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1142.99
Current children cumulated vsize (Kb) 5968

[startup+1710.14 s]
Raw data (loadavg): 1.10 1.09 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 692 0 0 0 88063 26986 0 0 16 0 1 0 1723109279 3932160 662 4294967295 134512640 134702520 3221223968 3221223240 134553180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 662 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1150.5
Current children cumulated vsize (Kb) 5968

[startup+1720.14 s]
Raw data (loadavg): 1.09 1.08 1.06 2/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) R 1326 1326 20602 0 -1 0 692 0 0 0 88694 27112 0 0 16 0 1 0 1723109279 3932160 662 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 662 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1158.07
Current children cumulated vsize (Kb) 5968

[startup+1730.14 s]
Raw data (loadavg): 1.07 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 693 0 0 0 89098 27313 0 0 16 0 1 0 1723109279 3932160 663 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 663 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1164.12
Current children cumulated vsize (Kb) 5968

[startup+1740.14 s]
Raw data (loadavg): 1.06 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 694 0 0 0 89732 27430 0 0 16 0 1 0 1723109279 3932160 664 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 664 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1171.63
Current children cumulated vsize (Kb) 5968

[startup+1750.14 s]
Raw data (loadavg): 1.05 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 694 0 0 0 90405 27538 0 0 16 0 1 0 1723109279 3932160 664 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 664 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1179.44
Current children cumulated vsize (Kb) 5968

[startup+1760.14 s]
Raw data (loadavg): 1.04 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 90795 27738 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/1329/statm): 960 665 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1185.34
Current children cumulated vsize (Kb) 5968

[startup+1770.14 s]
Raw data (loadavg): 1.04 1.07 1.05 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 91438 27859 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 665 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1192.98
Current children cumulated vsize (Kb) 5968

[startup+1780.14 s]
Raw data (loadavg): 1.10 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 92109 27961 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 665 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1200.71
Current children cumulated vsize (Kb) 5968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.15 s]
Raw data (loadavg): 1.10 1.08 1.06 1/58 1329
Raw data (/proc/1326/stat): 1326 (vallstSAT2005PB) S 1325 1326 20602 0 -1 0 330 232 0 0 0 1 0 0 18 0 1 0 1723109273 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/1326/statm): 532 242 485 147 0 385 0
[pid=1326] vsize: 2128
Raw data (/proc/1329/stat): 1329 (vallst) T 1326 1326 20602 0 -1 0 695 0 0 0 92109 27961 0 0 16 0 1 0 1723109279 3932160 665 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/1329/statm): 960 665 413 48 0 912 0
[pid=1329] vsize: 3840
Current children cumulated CPU time (s) 1200.71
Current children cumulated vsize (Kb) 5968

Sending SIGTERM to -1326
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=1331
New process pid=1332
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=1329) exited with status: 3
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 /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/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/9854/stat
open syscall for file /proc/9854/status
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/23373/stat
open syscall for file /proc/23373/status
open syscall for file /proc/23373/cmdline
open syscall for file /proc/23373/environ
open syscall for file /proc/23400/stat
open syscall for file /proc/23400/status
open syscall for file /proc/23400/cmdline
open syscall for file /proc/23400/environ
open syscall for file /proc/23424/stat
open syscall for file /proc/23424/status
open syscall for file /proc/23424/cmdline
open syscall for file /proc/23424/environ
open syscall for file /proc/6632/stat
open syscall for file /proc/6632/status
open syscall for file /proc/6632/cmdline
open syscall for file /proc/6632/environ
open syscall for file /proc/7718/stat
open syscall for file /proc/7718/status
open syscall for file /proc/7718/cmdline
open syscall for file /proc/7718/environ
open syscall for file /proc/20012/stat
open syscall for file /proc/20012/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/20012/cmdline
open syscall for file /proc/20012/environ
open syscall for file /proc/20048/stat
open syscall for file /proc/20048/status
open syscall for file /proc/20048/cmdline
open syscall for file /proc/20048/environ
open syscall for file /proc/20602/stat
open syscall for file /proc/20602/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/20602/cmdline
open syscall for file /proc/20602/environ
open syscall for file /proc/20603/stat
open syscall for file /proc/20603/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/20603/cmdline
open syscall for file /proc/20603/environ
open syscall for file /proc/20612/stat
open syscall for file /proc/20612/status
open syscall for file /proc/20612/cmdline
open syscall for file /proc/20612/environ
open syscall for file /proc/1288/stat
open syscall for file /proc/1288/status
open syscall for file /proc/1288/cmdline
open syscall for file /proc/1288/environ
open syscall for file /proc/1325/stat
open syscall for file /proc/1325/status
open syscall for file /proc/1325/cmdline
open syscall for file /proc/1325/environ
open syscall for file /proc/1326/stat
open syscall for file /proc/1326/status
open syscall for file /proc/1326/cmdline
open syscall for file /proc/1326/environ
open syscall for file /proc/1331/stat
open syscall for file /proc/1331/status
open syscall for file /proc/1331/cmdline
open syscall for file /proc/1331/environ
open syscall for file /proc/1332/stat
open syscall for file /proc/1332/status
open syscall for file /proc/1332/cmdline
open syscall for file /proc/1332/environ
One traced child (pid=1331) exited with status: 0
One traced child (pid=1332) exited with status: 0
New process pid=1333
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=1333) exited with status: 0
New process pid=1334
execve syscall for /bin/nice 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 /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=1334) exited with status: 0
New process pid=1335
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=1335) exited with status: 0
New process pid=1336
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=1336) exited with status: 0
One traced child (pid=1326) 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): 1780.69
CPU time (s): 1200.89
CPU user time (s): 921.162
CPU system time (s): 279.725
CPU usage (%): 67.4394
Max. virtual memory (cumulated for all children) (Kb): 5968

Verifier Data

ERROR: no interpretation found !