Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM5fcfa2f72175b9723ffb2781fb76fcdc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark667.773
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 4295

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-19 06:04:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7549 boxname=wulflinc22 idbench=517 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-lseu.opb 0
IDLAUNCH: 7549
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        885712 kB
Buffers:         35960 kB
Cached:          85700 kB
SwapCached:        536 kB
Active:          74140 kB
Inactive:        50008 kB
HighTotal:      131008 kB
HighFree:        43316 kB
LowTotal:       903652 kB
LowFree:        842396 kB
SwapTotal:     2097892 kB
SwapFree:      2096832 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5864 kB
Slab:            19136 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:32:51 (client local time) WITH STATUS 0 IN 1206.09 SECONDS
stats: 7549 7 1206.09 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #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:  12559 (2934:>=*);
#decisions: 18;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #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:  12580 (2913:>=*);
#decisions: 26;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 29, #non-axs: 8
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:  12604 (2889:>=*);
#decisions: 21;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 29, #non-axs: 10
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:  12605 (2888:>=*);
#decisions: 16;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 10
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:  12624 (2869:>=*);
#decisions: 17;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 11
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:  12685 (2808:>=*);
#decisions: 28;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 29, #non-axs: 17
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:  12694 (2799:>=*);
#decisions: 24;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 29, #non-axs: 18
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12773 (2720:>=*);
#decisions: 36;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 29, #non-axs: 23
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:  12867 (2626:>=*);
#decisions: 30;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 29, #non-axs: 31
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:  12951 (2542:>=*);
#decisions: 17;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 32
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:  12970 (2523:>=*);
#decisions: 26;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 29, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12986 (2507:>=*);
#decisions: 17;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 29, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12989 (2504:>=*);
#decisions: 27;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 29, #non-axs: 40
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13010 (2483:>=*);
#decisions: 20;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 29, #non-axs: 41
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13013 (2480:>=*);
#decisions: 106;  #end-nodes: 75;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 75 / 80 (80)
#axs: 29, #non-axs: 87
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:  13029 (2464:>=*);
#decisions: 71;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 29, #non-axs: 113
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:  13098 (2395:>=*);
#decisions: 96;  #end-nodes: 70;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 70 / 80 (80)
#axs: 29, #non-axs: 159
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:  13138 (2355:>=*);
#decisions: 234;  #end-nodes: 182;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 22 / 80 (80)
#axs: 29, #non-axs: 289
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:  13152 (2341:>=*);
#decisions: 50;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 29, #non-axs: 297
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:  13190 (2303:>=*);
#decisions: 16;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 297
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:  13198 (2295:>=*);
#decisions: 24;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 29, #non-axs: 301
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:  13262 (2231:>=*);
#decisions: 43;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 29, #non-axs: 316
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:  13288 (2205:>=*);
#decisions: 445;  #end-nodes: 347;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 26 / 81 (81)
#axs: 29, #non-axs: 460
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:  13311 (2182:>=*);
#decisions: 16;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 460
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:  13397 (2096:>=*);
#decisions: 12;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 460
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:  13403 (2090:>=*);
#decisions: 17;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 29, #non-axs: 460
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:  13412 (2081:>=*);
#decisions: 38;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 29, #non-axs: 460
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:  13413 (2080:>=*);
#decisions: 11;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 460
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:  13419 (2074:>=*);
#decisions: 120;  #end-nodes: 86;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 6 / 80 (80)
#axs: 29, #non-axs: 463
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:  13466 (2027:>=*);
#decisions: 28;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 29, #non-axs: 464
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:  13475 (2018:>=*);
#decisions: 287;  #end-nodes: 222;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 61 / 80 (80)
#axs: 29, #non-axs: 528
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495 (1998:>=*);
#decisions: 156;  #end-nodes: 127;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 47 / 80 (80)
#axs: 29, #non-axs: 565
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:  13564 (1929:>=*);
#decisions: 88;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 29, #non-axs: 608
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:  13565 (1928:>=*);
#decisions: 20;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 29, #non-axs: 610
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:  13582 (1911:>=*);
#decisions: 348;  #end-nodes: 260;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 19 / 80 (80)
#axs: 29, #non-axs: 763
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:  13592 (1901:>=*);
#decisions: 801;  #end-nodes: 657;
#proof improvement attempts: 0;  #restarts: 8
Current batch, end-nodes: 5 / 82 (82)
#axs: 29, #non-axs: 1002
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:  13615 (1878:>=*);
#decisions: 1952;  #end-nodes: 1536;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 57 / 84 (84)
#axs: 29, #non-axs: 983
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13682 (1811:>=*);
#decisions: 135;  #end-nodes: 85;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 5 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13699 (1794:>=*);
#decisions: 24;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13719 (1774:>=*);
#decisions: 40;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13801 (1692:>=*);
#decisions: 21;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13804 (1689:>=*);
#decisions: 52;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13815 (1678:>=*);
#decisions: 21;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13839 (1654:>=*);
#decisions: 26;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13883 (1610:>=*);
#decisions: 27;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13961 (1532:>=*);
#decisions: 45;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14051 (1442:>=*);
#decisions: 2306;  #end-nodes: 1731;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 29 / 85 (85)
#axs: 29, #non-axs: 1076
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14070 (1423:>=*);
#decisions: 29;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 29, #non-axs: 1076
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14090 (1403:>=*);
#decisions: 7420;  #end-nodes: 5546;
#proof improvement attempts: 0;  #restarts: 55
Current batch, end-nodes: 32 / 93 (93)
#axs: 29, #non-axs: 697
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14099 (1394:>=*);
#decisions: 151;  #end-nodes: 106;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 26 / 80 (80)
#axs: 29, #non-axs: 719
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14136 (1357:>=*);
#decisions: 61;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 29, #non-axs: 720
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14145 (1348:>=*);
#decisions: 10172;  #end-nodes: 7964;
#proof improvement attempts: 0;  #restarts: 81
Current batch, end-nodes: 22 / 100 (100)
#axs: 29, #non-axs: 78
tight: meta-meta: start: 6, end: 9;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14220 (1273:>=*);
#decisions: 4244;  #end-nodes: 3266;
#proof improvement attempts: 0;  #restarts: 35
Current batch, end-nodes: 56 / 88 (88)
#axs: 29, #non-axs: 12
tight: meta-meta: start: 6, end: 9;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14238 (1255:>=*);
#decisions: 31675;  #end-nodes: 25953;
#proof improvement attempts: 0;  #restarts: 201
Current batch, end-nodes: 129 / 133 (130)
#axs: 29, #non-axs: 79
tight: meta-meta: start: 4, end: 5;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14241 (1252:>=*);
#decisions: 170802;  #end-nodes: 141457;
#proof improvement attempts: 0;  #restarts: 646
Current batch, end-nodes: 304 / 845 (241)
#axs: 29, #non-axs: 49
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14259 (1234:>=*);
#decisions: 6033;  #end-nodes: 4889;
#proof improvement attempts: 0;  #restarts: 50
Current batch, end-nodes: 10 / 92 (92)
#axs: 29, #non-axs: 49
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14263 (1230:>=*);
#decisions: 535219;  #end-nodes: 437523;
#proof improvement attempts: 0;  #restarts: 1130
Current batch, end-nodes: 229 / 362 (362)
#axs: 29, #non-axs: 35
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14324 (1169:>=*);
#decisions: 48;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 29, #non-axs: 35
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14344 (1149:>=*);
#decisions: 691648;  #end-nodes: 557329;
#proof improvement attempts: 0;  #restarts: 1198
Current batch, end-nodes: 1428 / 2233 (379)
#axs: 29, #non-axs: 39
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14357 (1136:>=*);
#decisions: 1863299;  #end-nodes: 1481570;
#proof improvement attempts: 0;  #restarts: 2023
Current batch, end-nodes: 1184 / 2223 (585)
#axs: 29, #non-axs: 9
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14365 (1128:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 14365 (1128:>=*)

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: 8  (#equs: 0)
Time taken: 20 min, 5 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/6581/stat): 6581 (vallstSAT2005PB) R 6580 6581 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847594937 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6581/statm): 174 3 169 147 0 27 0
[pid=6581] 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=6582
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=6582) exited with status: 0
New process pid=6583
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=6583) exited with status: 0
New process pid=6584
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/wulflinc22/normalized-mps-v2-20-10-lseu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0069 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 256 0 0 0 309 212 0 0 15 0 1 0 1847594944 2293760 226 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 560 226 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (Kb) 4368

[startup+20.0077 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 263 0 0 0 596 443 0 0 15 0 1 0 1847594944 2293760 233 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 560 233 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (Kb) 4368

[startup+30.0084 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 293 0 0 0 903 670 0 0 15 0 1 0 1847594944 2293760 263 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 560 263 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (Kb) 4368

[startup+40.0091 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 309 0 0 0 1200 894 0 0 15 0 1 0 1847594944 2293760 279 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 560 279 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 20.96
Current children cumulated vsize (Kb) 4368

[startup+50.0098 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 315 0 0 0 1574 1093 0 0 15 0 1 0 1847594944 2293760 285 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 560 285 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 26.69
Current children cumulated vsize (Kb) 4368

[startup+60.0105 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 317 0 0 0 1893 1316 0 0 15 0 1 0 1847594944 2293760 287 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 560 287 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 32.11
Current children cumulated vsize (Kb) 4368

[startup+70.0113 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 319 0 0 0 2217 1535 0 0 15 0 1 0 1847594944 2293760 289 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 560 289 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 37.54
Current children cumulated vsize (Kb) 4368

[startup+80.012 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 319 0 0 0 2534 1769 0 0 15 0 1 0 1847594944 2293760 289 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 560 289 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 43.05
Current children cumulated vsize (Kb) 4368

[startup+90.0127 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 325 0 0 0 2856 1987 0 0 15 0 1 0 1847594944 2293760 295 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 560 295 413 48 0 512 0
[pid=6584] vsize: 2240
Current children cumulated CPU time (s) 48.45
Current children cumulated vsize (Kb) 4368

[startup+100.013 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 335 0 0 0 3248 2189 0 0 15 0 1 0 1847594944 2428928 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 593 305 413 48 0 545 0
[pid=6584] vsize: 2372
Current children cumulated CPU time (s) 54.39
Current children cumulated vsize (Kb) 4500

[startup+110.015 s]
Raw data (loadavg): 1.09 1.02 1.00 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 343 0 0 0 3664 2386 0 0 15 0 1 0 1847594944 2428928 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6584/statm): 593 313 413 48 0 545 0
[pid=6584] vsize: 2372
Current children cumulated CPU time (s) 60.52
Current children cumulated vsize (Kb) 4500

[startup+120.016 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 346 0 0 0 4077 2580 0 0 15 0 1 0 1847594944 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 593 316 413 48 0 545 0
[pid=6584] vsize: 2372
Current children cumulated CPU time (s) 66.59
Current children cumulated vsize (Kb) 4500

[startup+130.017 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 352 0 0 0 4524 2760 0 0 15 0 1 0 1847594944 2428928 322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 593 322 413 48 0 545 0
[pid=6584] vsize: 2372
Current children cumulated CPU time (s) 72.86
Current children cumulated vsize (Kb) 4500

[startup+140.018 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 362 0 0 0 4970 2950 0 0 15 0 1 0 1847594944 2564096 332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 626 332 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 79.22
Current children cumulated vsize (Kb) 4632

[startup+150.019 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 366 0 0 0 5414 3137 0 0 15 0 1 0 1847594944 2564096 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 626 336 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 85.53
Current children cumulated vsize (Kb) 4632

[startup+160.021 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 371 0 0 0 5862 3318 0 0 15 0 1 0 1847594944 2564096 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 626 341 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 91.82
Current children cumulated vsize (Kb) 4632

[startup+170.022 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 374 0 0 0 6291 3511 0 0 15 0 1 0 1847594944 2564096 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 626 344 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 98.04
Current children cumulated vsize (Kb) 4632

[startup+180.022 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 377 0 0 0 6603 3734 0 0 16 0 1 0 1847594944 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 626 347 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 103.39
Current children cumulated vsize (Kb) 4632

[startup+190.023 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 377 0 0 0 6955 3953 0 0 15 0 1 0 1847594944 2564096 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 626 347 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 109.1
Current children cumulated vsize (Kb) 4632

[startup+200.025 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 380 0 0 0 7344 4148 0 0 15 0 1 0 1847594944 2564096 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 626 350 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 114.94
Current children cumulated vsize (Kb) 4632

[startup+210.025 s]
Raw data (loadavg): 1.19 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 383 0 0 0 7777 4334 0 0 15 0 1 0 1847594944 2564096 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 626 353 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 121.13
Current children cumulated vsize (Kb) 4632

[startup+220.026 s]
Raw data (loadavg): 1.16 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 386 0 0 0 8240 4510 0 0 15 0 1 0 1847594944 2564096 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 626 356 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 127.52
Current children cumulated vsize (Kb) 4632

[startup+230.027 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 391 0 0 0 8691 4691 0 0 15 0 1 0 1847594944 2564096 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 626 361 413 48 0 578 0
[pid=6584] vsize: 2504
Current children cumulated CPU time (s) 133.84
Current children cumulated vsize (Kb) 4632

[startup+240.027 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 394 0 0 0 9172 4867 0 0 15 0 1 0 1847594944 2699264 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 364 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 140.41
Current children cumulated vsize (Kb) 4764

[startup+250.028 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 394 0 0 0 9623 5050 0 0 16 0 1 0 1847594944 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 364 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 146.75
Current children cumulated vsize (Kb) 4764

[startup+260.03 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 394 0 0 0 10093 5228 0 0 15 0 1 0 1847594944 2699264 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 364 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 153.23
Current children cumulated vsize (Kb) 4764

[startup+270.031 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 399 0 0 0 10584 5395 0 0 15 0 1 0 1847594944 2699264 369 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 369 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 159.81
Current children cumulated vsize (Kb) 4764

[startup+280.031 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 401 0 0 0 11052 5576 0 0 15 0 1 0 1847594944 2699264 371 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 371 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 166.3
Current children cumulated vsize (Kb) 4764

[startup+290.032 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 405 0 0 0 11539 5749 0 0 16 0 1 0 1847594944 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 375 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 172.9
Current children cumulated vsize (Kb) 4764

[startup+300.033 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 405 0 0 0 11862 5970 0 0 15 0 1 0 1847594944 2699264 375 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 375 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 178.34
Current children cumulated vsize (Kb) 4764

[startup+310.034 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 405 0 0 0 12226 6184 0 0 15 0 1 0 1847594944 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 375 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 184.12
Current children cumulated vsize (Kb) 4764

[startup+320.035 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 407 0 0 0 12647 6369 0 0 15 0 1 0 1847594944 2699264 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 377 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 190.18
Current children cumulated vsize (Kb) 4764

[startup+330.036 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 407 0 0 0 13042 6570 0 0 15 0 1 0 1847594944 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 377 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 196.14
Current children cumulated vsize (Kb) 4764

[startup+340.038 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 409 0 0 0 13503 6743 0 0 15 0 1 0 1847594944 2699264 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 379 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 202.48
Current children cumulated vsize (Kb) 4764

[startup+350.038 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 410 0 0 0 13937 6923 0 0 15 0 1 0 1847594944 2699264 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 380 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 208.62
Current children cumulated vsize (Kb) 4764

[startup+360.039 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 411 0 0 0 14398 7100 0 0 15 0 1 0 1847594944 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 381 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 215
Current children cumulated vsize (Kb) 4764

[startup+370.041 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 411 0 0 0 14867 7281 0 0 15 0 1 0 1847594944 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 381 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 221.5
Current children cumulated vsize (Kb) 4764

[startup+380.042 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 412 0 0 0 15304 7459 0 0 15 0 1 0 1847594944 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 382 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 227.65
Current children cumulated vsize (Kb) 4764

[startup+390.042 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 412 0 0 0 15736 7656 0 0 15 0 1 0 1847594944 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 382 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 233.94
Current children cumulated vsize (Kb) 4764

[startup+400.043 s]
Raw data (loadavg): 1.23 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 16211 7830 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 386 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 240.43
Current children cumulated vsize (Kb) 4764

[startup+410.045 s]
Raw data (loadavg): 1.20 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 16738 7990 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 659 386 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 247.3
Current children cumulated vsize (Kb) 4764

[startup+420.045 s]
Raw data (loadavg): 1.16 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 17226 8164 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 386 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 253.92
Current children cumulated vsize (Kb) 4764

[startup+430.046 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 416 0 0 0 17691 8340 0 0 15 0 1 0 1847594944 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 386 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 260.33
Current children cumulated vsize (Kb) 4764

[startup+440.048 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 423 0 0 0 18234 8495 0 0 15 0 1 0 1847594944 2699264 393 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 659 393 413 48 0 611 0
[pid=6584] vsize: 2636
Current children cumulated CPU time (s) 267.31
Current children cumulated vsize (Kb) 4764

[startup+450.049 s]
Raw data (loadavg): 1.10 1.08 1.01 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 428 0 0 0 18732 8663 0 0 15 0 1 0 1847594944 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 398 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 273.97
Current children cumulated vsize (Kb) 4896

[startup+460.049 s]
Raw data (loadavg): 1.08 1.08 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 432 0 0 0 19294 8814 0 0 15 0 1 0 1847594944 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 402 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (Kb) 4896

[startup+470.051 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 432 0 0 0 19811 8971 0 0 15 0 1 0 1847594944 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 402 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 287.84
Current children cumulated vsize (Kb) 4896

[startup+480.051 s]
Raw data (loadavg): 1.21 1.10 1.02 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 434 0 0 0 20381 9116 0 0 15 0 1 0 1847594944 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 404 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 294.99
Current children cumulated vsize (Kb) 4896

[startup+490.051 s]
Raw data (loadavg): 1.25 1.12 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 434 0 0 0 20871 9280 0 0 15 0 1 0 1847594944 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 404 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 301.53
Current children cumulated vsize (Kb) 4896

[startup+500.053 s]
Raw data (loadavg): 1.22 1.11 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 434 0 0 0 21434 9423 0 0 15 0 1 0 1847594944 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 404 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 308.59
Current children cumulated vsize (Kb) 4896

[startup+510.054 s]
Raw data (loadavg): 1.18 1.11 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 436 0 0 0 21933 9598 0 0 15 0 1 0 1847594944 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 406 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 315.33
Current children cumulated vsize (Kb) 4896

[startup+520.055 s]
Raw data (loadavg): 1.15 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 439 0 0 0 22491 9746 0 0 15 0 1 0 1847594944 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 409 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 322.39
Current children cumulated vsize (Kb) 4896

[startup+530.055 s]
Raw data (loadavg): 1.13 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 439 0 0 0 22975 9919 0 0 15 0 1 0 1847594944 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 409 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 328.96
Current children cumulated vsize (Kb) 4896

[startup+540.057 s]
Raw data (loadavg): 1.11 1.10 1.02 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 442 0 0 0 23526 10067 0 0 16 0 1 0 1847594944 2834432 412 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 412 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 335.95
Current children cumulated vsize (Kb) 4896

[startup+550.058 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 445 0 0 0 24102 10207 0 0 15 0 1 0 1847594944 2834432 415 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 415 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 343.11
Current children cumulated vsize (Kb) 4896

[startup+560.059 s]
Raw data (loadavg): 1.08 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 447 0 0 0 24589 10377 0 0 15 0 1 0 1847594944 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 417 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 349.68
Current children cumulated vsize (Kb) 4896

[startup+570.06 s]
Raw data (loadavg): 1.06 1.08 1.02 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 449 0 0 0 25156 10531 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 356.89
Current children cumulated vsize (Kb) 4896

[startup+580.06 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 25456 10757 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 362.15
Current children cumulated vsize (Kb) 4896

[startup+590.061 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 25840 10967 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 368.09
Current children cumulated vsize (Kb) 4896

[startup+600.061 s]
Raw data (loadavg): 1.04 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 26203 11168 0 0 16 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 373.73
Current children cumulated vsize (Kb) 4896

[startup+610.062 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 26612 11358 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 379.72
Current children cumulated vsize (Kb) 4896

[startup+620.063 s]
Raw data (loadavg): 1.11 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 27061 11545 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 386.08
Current children cumulated vsize (Kb) 4896

[startup+630.063 s]
Raw data (loadavg): 1.17 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 27463 11749 0 0 16 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 392.14
Current children cumulated vsize (Kb) 4896

[startup+640.064 s]
Raw data (loadavg): 1.14 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 27885 11945 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 398.32
Current children cumulated vsize (Kb) 4896

[startup+650.065 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 28352 12125 0 0 15 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 404.79
Current children cumulated vsize (Kb) 4896

[startup+660.067 s]
Raw data (loadavg): 1.10 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 449 0 0 0 28804 12307 0 0 16 0 1 0 1847594944 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 419 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 411.13
Current children cumulated vsize (Kb) 4896

[startup+670.067 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 29275 12482 0 0 16 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 421 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 417.59
Current children cumulated vsize (Kb) 4896

[startup+680.068 s]
Raw data (loadavg): 1.15 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 29789 12644 0 0 16 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 421 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 424.35
Current children cumulated vsize (Kb) 4896

[startup+690.069 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 30233 12828 0 0 15 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 692 421 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 430.63
Current children cumulated vsize (Kb) 4896

[startup+700.069 s]
Raw data (loadavg): 1.10 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 451 0 0 0 30727 12990 0 0 15 0 1 0 1847594944 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 421 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 437.19
Current children cumulated vsize (Kb) 4896

[startup+710.071 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 453 0 0 0 31228 13161 0 0 16 0 1 0 1847594944 2834432 423 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 423 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 443.91
Current children cumulated vsize (Kb) 4896

[startup+720.072 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 453 0 0 0 31746 13317 0 0 15 0 1 0 1847594944 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 423 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 450.65
Current children cumulated vsize (Kb) 4896

[startup+730.072 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 453 0 0 0 32227 13489 0 0 15 0 1 0 1847594944 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 423 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 457.18
Current children cumulated vsize (Kb) 4896

[startup+740.073 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 454 0 0 0 32819 13625 0 0 15 0 1 0 1847594944 2834432 424 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 424 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 464.46
Current children cumulated vsize (Kb) 4896

[startup+750.074 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 455 0 0 0 33308 13793 0 0 15 0 1 0 1847594944 2834432 425 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 692 425 413 48 0 644 0
[pid=6584] vsize: 2768
Current children cumulated CPU time (s) 471.03
Current children cumulated vsize (Kb) 4896

[startup+760.075 s]
Raw data (loadavg): 1.10 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 33872 13945 0 0 15 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 429 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 478.19
Current children cumulated vsize (Kb) 5032

[startup+770.076 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 34395 14099 0 0 15 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 429 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 484.96
Current children cumulated vsize (Kb) 5032

[startup+780.077 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 34916 14259 0 0 16 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 429 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 491.77
Current children cumulated vsize (Kb) 5032

[startup+790.078 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 459 0 0 0 35357 14444 0 0 16 0 1 0 1847594944 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 429 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 498.03
Current children cumulated vsize (Kb) 5032

[startup+800.079 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 35846 14612 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 431 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 504.6
Current children cumulated vsize (Kb) 5032

[startup+810.08 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 36406 14768 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 431 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 511.76
Current children cumulated vsize (Kb) 5032

[startup+820.081 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 36934 14923 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 431 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 518.59
Current children cumulated vsize (Kb) 5032

[startup+830.082 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 37489 15072 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 431 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 525.63
Current children cumulated vsize (Kb) 5032

[startup+840.083 s]
Raw data (loadavg): 1.02 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 38020 15228 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 431 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 532.5
Current children cumulated vsize (Kb) 5032

[startup+850.084 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 461 0 0 0 38560 15383 0 0 15 0 1 0 1847594944 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 431 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 539.45
Current children cumulated vsize (Kb) 5032

[startup+860.086 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 39138 15530 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 435 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 546.7
Current children cumulated vsize (Kb) 5032

[startup+870.088 s]
Raw data (loadavg): 1.07 1.07 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 39663 15692 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 435 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 553.57
Current children cumulated vsize (Kb) 5032

[startup+880.087 s]
Raw data (loadavg): 1.06 1.07 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 40244 15837 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 435 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 560.83
Current children cumulated vsize (Kb) 5032

[startup+890.088 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 40789 15990 0 0 15 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 435 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 567.81
Current children cumulated vsize (Kb) 5032

[startup+900.089 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 465 0 0 0 41265 16160 0 0 16 0 1 0 1847594944 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 435 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 574.27
Current children cumulated vsize (Kb) 5032

[startup+910.091 s]
Raw data (loadavg): 1.11 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 41830 16308 0 0 15 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 437 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 581.4
Current children cumulated vsize (Kb) 5032

[startup+920.091 s]
Raw data (loadavg): 1.18 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 42348 16473 0 0 16 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 437 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 588.23
Current children cumulated vsize (Kb) 5032

[startup+930.092 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 42906 16624 0 0 15 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 437 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 595.32
Current children cumulated vsize (Kb) 5032

[startup+940.093 s]
Raw data (loadavg): 1.20 1.10 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 43483 16770 0 0 16 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 437 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 602.55
Current children cumulated vsize (Kb) 5032

[startup+950.093 s]
Raw data (loadavg): 1.17 1.10 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 467 0 0 0 43986 16933 0 0 16 0 1 0 1847594944 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 437 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 609.21
Current children cumulated vsize (Kb) 5032

[startup+960.095 s]
Raw data (loadavg): 1.14 1.09 1.02 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 470 0 0 0 44567 17080 0 0 16 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223072 134588186 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 440 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 616.49
Current children cumulated vsize (Kb) 5032

[startup+970.096 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 45101 17234 0 0 15 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 440 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 623.37
Current children cumulated vsize (Kb) 5032

[startup+980.097 s]
Raw data (loadavg): 1.10 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 45689 17375 0 0 15 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 440 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 630.66
Current children cumulated vsize (Kb) 5032

[startup+990.099 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 46300 17511 0 0 15 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 440 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 638.13
Current children cumulated vsize (Kb) 5032

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 470 0 0 0 46881 17656 0 0 16 0 1 0 1847594944 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 440 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 645.39
Current children cumulated vsize (Kb) 5032

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 472 0 0 0 47412 17820 0 0 16 0 1 0 1847594944 2973696 442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 442 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 652.34
Current children cumulated vsize (Kb) 5032

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.07 1.02 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 474 0 0 0 47986 17972 0 0 16 0 1 0 1847594944 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 444 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 659.6
Current children cumulated vsize (Kb) 5032

[startup+1030.1 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 474 0 0 0 48595 18101 0 0 15 0 1 0 1847594944 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 444 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 666.98
Current children cumulated vsize (Kb) 5032

[startup+1040.1 s]
Raw data (loadavg): 1.10 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 474 0 0 0 49111 18266 0 0 15 0 1 0 1847594944 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 444 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 673.79
Current children cumulated vsize (Kb) 5032

[startup+1050.1 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 476 0 0 0 49688 18408 0 0 15 0 1 0 1847594944 2973696 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 446 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 680.98
Current children cumulated vsize (Kb) 5032

[startup+1060.11 s]
Raw data (loadavg): 1.23 1.11 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 50282 18546 0 0 15 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 450 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 688.3
Current children cumulated vsize (Kb) 5032

[startup+1070.11 s]
Raw data (loadavg): 1.19 1.11 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 50792 18703 0 0 15 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 450 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 694.97
Current children cumulated vsize (Kb) 5032

[startup+1080.11 s]
Raw data (loadavg): 1.31 1.14 1.04 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 51370 18851 0 0 15 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 726 450 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (Kb) 5032

[startup+1090.11 s]
Raw data (loadavg): 1.42 1.16 1.05 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 480 0 0 0 51965 18987 0 0 16 0 1 0 1847594944 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 726 450 413 48 0 678 0
[pid=6584] vsize: 2904
Current children cumulated CPU time (s) 709.54
Current children cumulated vsize (Kb) 5032

[startup+1100.11 s]
Raw data (loadavg): 1.35 1.16 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 843 0 0 0 52623 19103 0 0 16 0 1 0 1847594944 4521984 813 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 1104 813 413 48 0 1056 0
[pid=6584] vsize: 4416
Current children cumulated CPU time (s) 717.28
Current children cumulated vsize (Kb) 6544

[startup+1110.11 s]
Raw data (loadavg): 1.30 1.15 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 1113 0 0 0 53502 19147 0 0 17 0 1 0 1847594944 5640192 1083 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 1377 1083 413 48 0 1329 0
[pid=6584] vsize: 5508
Current children cumulated CPU time (s) 726.51
Current children cumulated vsize (Kb) 7636

[startup+1120.11 s]
Raw data (loadavg): 1.33 1.16 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1240 0 0 0 54256 19234 0 0 16 0 1 0 1847594944 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 1498 1210 413 48 0 1450 0
[pid=6584] vsize: 5992
Current children cumulated CPU time (s) 734.92
Current children cumulated vsize (Kb) 8120

[startup+1130.11 s]
Raw data (loadavg): 1.28 1.16 1.05 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1309 0 0 0 55141 19277 0 0 17 0 1 0 1847594944 6414336 1279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 1566 1279 413 48 0 1518 0
[pid=6584] vsize: 6264
Current children cumulated CPU time (s) 744.2
Current children cumulated vsize (Kb) 8392

[startup+1140.11 s]
Raw data (loadavg): 1.24 1.15 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1614 0 0 0 56057 19307 0 0 19 0 1 0 1847594944 7655424 1584 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 1869 1584 413 48 0 1821 0
[pid=6584] vsize: 7476
Current children cumulated CPU time (s) 753.66
Current children cumulated vsize (Kb) 9604

[startup+1150.11 s]
Raw data (loadavg): 1.27 1.16 1.05 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1849 0 0 0 56992 19331 0 0 19 0 1 0 1847594944 8663040 1819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 2115 1819 413 48 0 2067 0
[pid=6584] vsize: 8460
Current children cumulated CPU time (s) 763.25
Current children cumulated vsize (Kb) 10588

[startup+1160.12 s]
Raw data (loadavg): 1.23 1.16 1.05 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 1924 0 0 0 57937 19349 0 0 25 0 1 0 1847594944 8941568 1894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 2183 1894 413 48 0 2135 0
[pid=6584] vsize: 8732
Current children cumulated CPU time (s) 772.88
Current children cumulated vsize (Kb) 10860

[startup+1170.12 s]
Raw data (loadavg): 1.20 1.15 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2171 0 0 0 58873 19371 0 0 17 0 1 0 1847594944 10084352 2141 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 2462 2141 413 48 0 2414 0
[pid=6584] vsize: 9848
Current children cumulated CPU time (s) 782.46
Current children cumulated vsize (Kb) 11976

[startup+1180.12 s]
Raw data (loadavg): 1.16 1.14 1.05 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 2489 0 0 0 59787 19400 0 0 19 0 1 0 1847594944 11489280 2459 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 2805 2459 413 48 0 2757 0
[pid=6584] vsize: 11220
Current children cumulated CPU time (s) 791.89
Current children cumulated vsize (Kb) 13348

[startup+1190.12 s]
Raw data (loadavg): 1.14 1.14 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2638 0 0 0 60741 19416 0 0 21 0 1 0 1847594944 11964416 2608 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 2921 2608 413 48 0 2873 0
[pid=6584] vsize: 11684
Current children cumulated CPU time (s) 801.59
Current children cumulated vsize (Kb) 13812

[startup+1200.12 s]
Raw data (loadavg): 1.12 1.13 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2646 0 0 0 61697 19432 0 0 25 0 1 0 1847594944 11964416 2616 4294967295 134512640 134702520 3221223952 3221223232 134550667 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 2921 2616 413 48 0 2873 0
[pid=6584] vsize: 11684
Current children cumulated CPU time (s) 811.31
Current children cumulated vsize (Kb) 13812

[startup+1210.12 s]
Raw data (loadavg): 1.10 1.13 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 2798 0 0 0 62653 19449 0 0 20 0 1 0 1847594944 12677120 2768 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 3095 2768 413 48 0 3047 0
[pid=6584] vsize: 12380
Current children cumulated CPU time (s) 821.04
Current children cumulated vsize (Kb) 14508

[startup+1220.12 s]
Raw data (loadavg): 1.08 1.12 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 2960 0 0 0 63607 19468 0 0 25 0 1 0 1847594944 13377536 2930 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 3266 2930 413 48 0 3218 0
[pid=6584] vsize: 13064
Current children cumulated CPU time (s) 830.77
Current children cumulated vsize (Kb) 15192

[startup+1230.12 s]
Raw data (loadavg): 1.07 1.12 1.05 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3148 0 0 0 64563 19484 0 0 18 0 1 0 1847594944 14229504 3118 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 3474 3118 413 48 0 3426 0
[pid=6584] vsize: 13896
Current children cumulated CPU time (s) 840.49
Current children cumulated vsize (Kb) 16024

[startup+1240.12 s]
Raw data (loadavg): 1.06 1.12 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3297 0 0 0 65524 19498 0 0 25 0 1 0 1847594944 14852096 3267 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 3626 3267 413 48 0 3578 0
[pid=6584] vsize: 14504
Current children cumulated CPU time (s) 850.24
Current children cumulated vsize (Kb) 16632

[startup+1250.12 s]
Raw data (loadavg): 1.05 1.11 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3473 0 0 0 66472 19518 0 0 25 0 1 0 1847594944 15609856 3443 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 3811 3443 413 48 0 3763 0
[pid=6584] vsize: 15244
Current children cumulated CPU time (s) 859.92
Current children cumulated vsize (Kb) 17372

[startup+1260.12 s]
Raw data (loadavg): 1.04 1.11 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3504 0 0 0 67451 19525 0 0 18 0 1 0 1847594944 15745024 3474 4294967295 134512640 134702520 3221223952 3221223344 134604361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 3844 3474 413 48 0 3796 0
[pid=6584] vsize: 15376
Current children cumulated CPU time (s) 869.78
Current children cumulated vsize (Kb) 17504

[startup+1270.13 s]
Raw data (loadavg): 1.03 1.10 1.04 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3509 0 0 0 68416 19537 0 0 25 0 1 0 1847594944 15745024 3479 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 3844 3479 413 48 0 3796 0
[pid=6584] vsize: 15376
Current children cumulated CPU time (s) 879.55
Current children cumulated vsize (Kb) 17504

[startup+1280.13 s]
Raw data (loadavg): 1.03 1.10 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 3620 0 0 0 69370 19554 0 0 19 0 1 0 1847594944 16343040 3590 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 3990 3590 413 48 0 3942 0
[pid=6584] vsize: 15960
Current children cumulated CPU time (s) 889.26
Current children cumulated vsize (Kb) 18088

[startup+1290.13 s]
Raw data (loadavg): 1.02 1.10 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3793 0 0 0 70317 19574 0 0 20 0 1 0 1847594944 17051648 3763 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 4163 3763 413 48 0 4115 0
[pid=6584] vsize: 16652
Current children cumulated CPU time (s) 898.93
Current children cumulated vsize (Kb) 18780

[startup+1300.13 s]
Raw data (loadavg): 1.02 1.09 1.04 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 3971 0 0 0 71265 19593 0 0 19 0 1 0 1847594944 17776640 3941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 4340 3941 413 48 0 4292 0
[pid=6584] vsize: 17360
Current children cumulated CPU time (s) 908.6
Current children cumulated vsize (Kb) 19488

[startup+1310.13 s]
Raw data (loadavg): 1.02 1.09 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4128 0 0 0 72223 19609 0 0 25 0 1 0 1847594944 18321408 4098 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6584/statm): 4473 4098 413 48 0 4425 0
[pid=6584] vsize: 17892
Current children cumulated CPU time (s) 918.34
Current children cumulated vsize (Kb) 20020

[startup+1320.13 s]
Raw data (loadavg): 1.01 1.08 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4281 0 0 0 73176 19627 0 0 25 0 1 0 1847594944 19017728 4251 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 4643 4251 413 48 0 4595 0
[pid=6584] vsize: 18572
Current children cumulated CPU time (s) 928.05
Current children cumulated vsize (Kb) 20700

[startup+1330.13 s]
Raw data (loadavg): 1.01 1.08 1.04 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4416 0 0 0 74132 19644 0 0 25 0 1 0 1847594944 19599360 4386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 4785 4386 413 48 0 4737 0
[pid=6584] vsize: 19140
Current children cumulated CPU time (s) 937.78
Current children cumulated vsize (Kb) 21268

[startup+1340.13 s]
Raw data (loadavg): 1.01 1.08 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4600 0 0 0 75094 19658 0 0 25 0 1 0 1847594944 20414464 4570 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6584/statm): 4984 4570 413 48 0 4936 0
[pid=6584] vsize: 19936
Current children cumulated CPU time (s) 947.54
Current children cumulated vsize (Kb) 22064

[startup+1350.13 s]
Raw data (loadavg): 1.01 1.08 1.03 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4729 0 0 0 76059 19670 0 0 18 0 1 0 1847594944 20992000 4699 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5125 4699 413 48 0 5077 0
[pid=6584] vsize: 20500
Current children cumulated CPU time (s) 957.31
Current children cumulated vsize (Kb) 22628

[startup+1360.14 s]
Raw data (loadavg): 1.01 1.07 1.03 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4844 0 0 0 77024 19683 0 0 25 0 1 0 1847594944 21577728 4814 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5268 4814 413 48 0 5220 0
[pid=6584] vsize: 21072
Current children cumulated CPU time (s) 967.09
Current children cumulated vsize (Kb) 23200

[startup+1370.14 s]
Raw data (loadavg): 1.08 1.09 1.04 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4905 0 0 0 77999 19692 0 0 22 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 976.93
Current children cumulated vsize (Kb) 23468

[startup+1380.14 s]
Raw data (loadavg): 1.07 1.08 1.04 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 78502 19856 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 983.6
Current children cumulated vsize (Kb) 23468

[startup+1390.14 s]
Raw data (loadavg): 1.06 1.08 1.04 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 79065 20007 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 990.74
Current children cumulated vsize (Kb) 23468

[startup+1400.14 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 79645 20155 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 998.02
Current children cumulated vsize (Kb) 23468

[startup+1410.14 s]
Raw data (loadavg): 1.04 1.08 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 80163 20315 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1004.8
Current children cumulated vsize (Kb) 23468

[startup+1420.14 s]
Raw data (loadavg): 1.04 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 80739 20464 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1012.05
Current children cumulated vsize (Kb) 23468

[startup+1430.14 s]
Raw data (loadavg): 1.03 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 81332 20607 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1019.41
Current children cumulated vsize (Kb) 23468

[startup+1440.14 s]
Raw data (loadavg): 1.02 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 81926 20747 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1026.75
Current children cumulated vsize (Kb) 23468

[startup+1450.14 s]
Raw data (loadavg): 1.02 1.06 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 82441 20906 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1033.49
Current children cumulated vsize (Kb) 23468

[startup+1460.14 s]
Raw data (loadavg): 1.02 1.06 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 83027 21049 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1040.78
Current children cumulated vsize (Kb) 23468

[startup+1470.15 s]
Raw data (loadavg): 1.01 1.06 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 83605 21190 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1047.97
Current children cumulated vsize (Kb) 23468

[startup+1480.15 s]
Raw data (loadavg): 1.01 1.06 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 84116 21350 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1054.68
Current children cumulated vsize (Kb) 23468

[startup+1490.15 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 84701 21490 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (Kb) 23468

[startup+1500.15 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 85304 21625 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1069.31
Current children cumulated vsize (Kb) 23468

[startup+1510.15 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 85912 21755 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1076.69
Current children cumulated vsize (Kb) 23468

[startup+1520.15 s]
Raw data (loadavg): 1.00 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 86430 21918 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1083.5
Current children cumulated vsize (Kb) 23468

[startup+1530.15 s]
Raw data (loadavg): 1.00 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 87024 22053 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1090.79
Current children cumulated vsize (Kb) 23468

[startup+1540.15 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 87590 22200 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1097.92
Current children cumulated vsize (Kb) 23468

[startup+1550.15 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 88120 22357 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1104.79
Current children cumulated vsize (Kb) 23468

[startup+1560.15 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 88698 22499 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1111.99
Current children cumulated vsize (Kb) 23468

[startup+1570.15 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 89322 22632 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1119.56
Current children cumulated vsize (Kb) 23468

[startup+1580.16 s]
Raw data (loadavg): 1.08 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 89833 22803 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1126.38
Current children cumulated vsize (Kb) 23468

[startup+1590.16 s]
Raw data (loadavg): 1.07 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 90414 22948 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1133.64
Current children cumulated vsize (Kb) 23468

[startup+1600.16 s]
Raw data (loadavg): 1.06 1.05 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 91016 23080 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1140.98
Current children cumulated vsize (Kb) 23468

[startup+1610.16 s]
Raw data (loadavg): 1.13 1.06 1.02 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4905 0 0 0 91605 23222 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1148.29
Current children cumulated vsize (Kb) 23468

[startup+1620.16 s]
Raw data (loadavg): 1.18 1.08 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 92124 23387 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1155.13
Current children cumulated vsize (Kb) 23468

[startup+1630.16 s]
Raw data (loadavg): 1.15 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 92719 23533 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1162.54
Current children cumulated vsize (Kb) 23468

[startup+1640.16 s]
Raw data (loadavg): 1.13 1.07 1.03 2/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) R 6581 6581 21452 0 -1 0 4905 0 0 0 93315 23676 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1169.93
Current children cumulated vsize (Kb) 23468

[startup+1650.16 s]
Raw data (loadavg): 1.11 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 93833 23840 0 0 16 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1176.75
Current children cumulated vsize (Kb) 23468

[startup+1660.16 s]
Raw data (loadavg): 1.09 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 94423 23982 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1184.07
Current children cumulated vsize (Kb) 23468

[startup+1670.16 s]
Raw data (loadavg): 1.08 1.06 1.02 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 94999 24135 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1191.36
Current children cumulated vsize (Kb) 23468

[startup+1680.16 s]
Raw data (loadavg): 1.14 1.08 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 95576 24278 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1198.56
Current children cumulated vsize (Kb) 23468

[startup+1690.16 s]
Raw data (loadavg): 1.12 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 96179 24413 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1205.94
Current children cumulated vsize (Kb) 23468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1690.17 s]
Raw data (loadavg): 1.12 1.07 1.03 1/57 6584
Raw data (/proc/6581/stat): 6581 (vallstSAT2005PB) S 6580 6581 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594937 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6581/statm): 532 242 485 147 0 385 0
[pid=6581] vsize: 2128
Raw data (/proc/6584/stat): 6584 (vallst) T 6581 6581 21452 0 -1 0 4905 0 0 0 96179 24413 0 0 15 0 1 0 1847594944 21852160 4875 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6584/statm): 5335 4875 413 48 0 5287 0
[pid=6584] vsize: 21340
Current children cumulated CPU time (s) 1205.94
Current children cumulated vsize (Kb) 23468

Sending SIGTERM to -6581
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6586
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
New process pid=6587
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
One traced child (pid=6584) exited with status: 3
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/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/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/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/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/6544/stat
open syscall for file /proc/6544/status
open syscall for file /proc/6544/cmdline
open syscall for file /proc/6544/environ
open syscall for file /proc/6580/stat
open syscall for file /proc/6580/status
open syscall for file /proc/6580/cmdline
open syscall for file /proc/6580/environ
open syscall for file /proc/6581/stat
open syscall for file /proc/6581/status
open syscall for file /proc/6581/cmdline
open syscall for file /proc/6581/environ
open syscall for file /proc/6586/stat
open syscall for file /proc/6586/status
open syscall for file /proc/6586/cmdline
open syscall for file /proc/6586/environ
open syscall for file /proc/6587/stat
open syscall for file /proc/6587/status
open syscall for file /proc/6587/cmdline
open syscall for file /proc/6587/environ
One traced child (pid=6586) exited with status: 0
One traced child (pid=6587) exited with status: 0
New process pid=6588
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=6588) exited with status: 0
New process pid=6589
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=6589) exited with status: 0
New process pid=6590
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=6590) exited with status: 0
New process pid=6591
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=6591) exited with status: 0
One traced child (pid=6581) 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): 1690.72
CPU time (s): 1206.09
CPU user time (s): 961.827
CPU system time (s): 244.262
CPU usage (%): 71.3359
Max. virtual memory (cumulated for all children) (Kb): 23468

Verifier Data

ERROR: no interpretation found !