Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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 benchmark661.783
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 9251

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927392 kB
Buffers:          9868 kB
Cached:          80640 kB
SwapCached:          0 kB
Active:          50540 kB
Inactive:        42832 kB
HighTotal:      131008 kB
HighFree:        47292 kB
LowTotal:       903652 kB
LowFree:        880100 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8316 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:10:15 (client local time) WITH STATUS 0 IN 1202.21 SECONDS
stats: 7968 7 1202.21 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.
#decisions: 6684787;  #end-nodes: 5247372;
#proof improvement attempts: 0;  #restarts: 3712
Current batch, end-nodes: 6627 / 10136 (1008)
#axs: 29, #non-axs: 7
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 7, end: 11;  meta: start: 24, end (keep): 37
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: 55  (#equs: 0)
Time taken: 20 min, 2 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/5439/stat): 5439 (vallstSAT2005PB) R 5438 5439 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19914677 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5439/statm): 174 3 169 147 0 27 0
[pid=5439] 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=5440
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=5440) exited with status: 0
New process pid=5441
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=5441) exited with status: 0
New process pid=5442
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/wulflinc9/normalized-mps-v2-13-7-lseu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 0.96 1.05 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 256 0 0 0 306 220 0 0 16 0 1 0 19914684 2293760 226 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 560 226 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (Kb) 4368

[startup+20.0048 s]
Raw data (loadavg): 0.97 1.05 1.00 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 263 0 0 0 592 448 0 0 15 0 1 0 19914684 2293760 233 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 560 233 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 10.42
Current children cumulated vsize (Kb) 4368

[startup+30.0056 s]
Raw data (loadavg): 0.97 1.04 1.00 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 293 0 0 0 902 668 0 0 15 0 1 0 19914684 2293760 263 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 560 263 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (Kb) 4368

[startup+40.0064 s]
Raw data (loadavg): 0.97 1.04 1.00 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 309 0 0 0 1207 896 0 0 15 0 1 0 19914684 2293760 279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 560 279 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 21.05
Current children cumulated vsize (Kb) 4368

[startup+50.0072 s]
Raw data (loadavg): 0.98 1.04 1.00 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 315 0 0 0 1579 1106 0 0 16 0 1 0 19914684 2293760 285 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 560 285 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 26.87
Current children cumulated vsize (Kb) 4368

[startup+60.0079 s]
Raw data (loadavg): 0.98 1.04 1.00 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 317 0 0 0 1923 1325 0 0 16 0 1 0 19914684 2293760 287 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 560 287 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 32.5
Current children cumulated vsize (Kb) 4368

[startup+70.0087 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 319 0 0 0 2242 1547 0 0 16 0 1 0 19914684 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 560 289 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (Kb) 4368

[startup+80.0095 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 319 0 0 0 2553 1761 0 0 16 0 1 0 19914684 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5442/statm): 560 289 413 48 0 512 0
[pid=5442] vsize: 2240
Current children cumulated CPU time (s) 43.16
Current children cumulated vsize (Kb) 4368

[startup+90.0103 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 326 0 0 0 2906 1979 0 0 16 0 1 0 19914684 2428928 296 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 593 296 413 48 0 545 0
[pid=5442] vsize: 2372
Current children cumulated CPU time (s) 48.87
Current children cumulated vsize (Kb) 4500

[startup+100.011 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 335 0 0 0 3304 2182 0 0 15 0 1 0 19914684 2428928 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 593 305 413 48 0 545 0
[pid=5442] vsize: 2372
Current children cumulated CPU time (s) 54.88
Current children cumulated vsize (Kb) 4500

[startup+110.012 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 343 0 0 0 3723 2374 0 0 16 0 1 0 19914684 2428928 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 593 313 413 48 0 545 0
[pid=5442] vsize: 2372
Current children cumulated CPU time (s) 60.99
Current children cumulated vsize (Kb) 4500

[startup+120.013 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 346 0 0 0 4148 2566 0 0 16 0 1 0 19914684 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 593 316 413 48 0 545 0
[pid=5442] vsize: 2372
Current children cumulated CPU time (s) 67.16
Current children cumulated vsize (Kb) 4500

[startup+130.013 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 354 0 0 0 4599 2753 0 0 16 0 1 0 19914684 2428928 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 593 324 413 48 0 545 0
[pid=5442] vsize: 2372
Current children cumulated CPU time (s) 73.54
Current children cumulated vsize (Kb) 4500

[startup+140.014 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 362 0 0 0 5058 2929 0 0 16 0 1 0 19914684 2564096 332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 626 332 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (Kb) 4632

[startup+150.015 s]
Raw data (loadavg): 1.19 1.08 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 367 0 0 0 5518 3107 0 0 16 0 1 0 19914684 2564096 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 626 337 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 86.27
Current children cumulated vsize (Kb) 4632

[startup+160.016 s]
Raw data (loadavg): 1.16 1.08 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 371 0 0 0 5978 3285 0 0 16 0 1 0 19914684 2564096 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 626 341 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 92.65
Current children cumulated vsize (Kb) 4632

[startup+170.017 s]
Raw data (loadavg): 1.13 1.08 1.01 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 374 0 0 0 6371 3486 0 0 16 0 1 0 19914684 2564096 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 626 344 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 98.59
Current children cumulated vsize (Kb) 4632

[startup+180.016 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 377 0 0 0 6702 3703 0 0 16 0 1 0 19914684 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 626 347 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 104.07
Current children cumulated vsize (Kb) 4632

[startup+190.018 s]
Raw data (loadavg): 1.17 1.09 1.02 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 377 0 0 0 7034 3921 0 0 16 0 1 0 19914684 2564096 347 4294967295 134512640 134702520 3221223952 3221222720 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 626 347 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 109.57
Current children cumulated vsize (Kb) 4632

[startup+200.018 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 381 0 0 0 7441 4121 0 0 16 0 1 0 19914684 2564096 351 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 626 351 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 115.64
Current children cumulated vsize (Kb) 4632

[startup+210.019 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 383 0 0 0 7898 4307 0 0 16 0 1 0 19914684 2564096 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 626 353 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 122.07
Current children cumulated vsize (Kb) 4632

[startup+220.019 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 386 0 0 0 8340 4489 0 0 16 0 1 0 19914684 2564096 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 626 356 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 128.31
Current children cumulated vsize (Kb) 4632

[startup+230.019 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 391 0 0 0 8788 4669 0 0 15 0 1 0 19914684 2564096 361 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 626 361 413 48 0 578 0
[pid=5442] vsize: 2504
Current children cumulated CPU time (s) 134.59
Current children cumulated vsize (Kb) 4632

[startup+240.02 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 394 0 0 0 9287 4843 0 0 16 0 1 0 19914684 2699264 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 364 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 141.32
Current children cumulated vsize (Kb) 4764

[startup+250.021 s]
Raw data (loadavg): 1.19 1.10 1.02 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 394 0 0 0 9755 5018 0 0 16 0 1 0 19914684 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 659 364 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 147.75
Current children cumulated vsize (Kb) 4764

[startup+260.023 s]
Raw data (loadavg): 1.24 1.11 1.02 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 395 0 0 0 10232 5189 0 0 16 0 1 0 19914684 2699264 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 659 365 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 154.23
Current children cumulated vsize (Kb) 4764

[startup+270.023 s]
Raw data (loadavg): 1.28 1.13 1.03 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 399 0 0 0 10711 5362 0 0 16 0 1 0 19914684 2699264 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 369 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (Kb) 4764

[startup+280.023 s]
Raw data (loadavg): 1.31 1.14 1.03 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 401 0 0 0 11164 5544 0 0 16 0 1 0 19914684 2699264 371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 659 371 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 167.1
Current children cumulated vsize (Kb) 4764

[startup+290.024 s]
Raw data (loadavg): 1.26 1.13 1.03 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 405 0 0 0 11650 5717 0 0 16 0 1 0 19914684 2699264 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 659 375 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 173.69
Current children cumulated vsize (Kb) 4764

[startup+300.025 s]
Raw data (loadavg): 1.30 1.14 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 405 0 0 0 11971 5938 0 0 16 0 1 0 19914684 2699264 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 375 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 179.11
Current children cumulated vsize (Kb) 4764

[startup+310.026 s]
Raw data (loadavg): 1.25 1.14 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 407 0 0 0 12343 6142 0 0 15 0 1 0 19914684 2699264 377 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 377 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 184.87
Current children cumulated vsize (Kb) 4764

[startup+320.027 s]
Raw data (loadavg): 1.37 1.17 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 407 0 0 0 12749 6339 0 0 16 0 1 0 19914684 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 377 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 190.9
Current children cumulated vsize (Kb) 4764

[startup+330.028 s]
Raw data (loadavg): 1.31 1.16 1.04 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 407 0 0 0 13138 6538 0 0 16 0 1 0 19914684 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 377 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 196.78
Current children cumulated vsize (Kb) 4764

[startup+340.029 s]
Raw data (loadavg): 1.26 1.16 1.04 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 409 0 0 0 13588 6720 0 0 16 0 1 0 19914684 2699264 379 4294967295 134512640 134702520 3221223952 3221223072 134584554 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 379 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 203.1
Current children cumulated vsize (Kb) 4764

[startup+350.03 s]
Raw data (loadavg): 1.22 1.15 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 410 0 0 0 14017 6909 0 0 15 0 1 0 19914684 2699264 380 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 380 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 209.28
Current children cumulated vsize (Kb) 4764

[startup+360.031 s]
Raw data (loadavg): 1.19 1.14 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 411 0 0 0 14547 7063 0 0 16 0 1 0 19914684 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 381 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 216.12
Current children cumulated vsize (Kb) 4764

[startup+370.032 s]
Raw data (loadavg): 1.16 1.14 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 412 0 0 0 14998 7245 0 0 16 0 1 0 19914684 2699264 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 659 382 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (Kb) 4764

[startup+380.032 s]
Raw data (loadavg): 1.13 1.13 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 412 0 0 0 15443 7424 0 0 15 0 1 0 19914684 2699264 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 382 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 228.69
Current children cumulated vsize (Kb) 4764

[startup+390.033 s]
Raw data (loadavg): 1.11 1.13 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 15871 7622 0 0 16 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 386 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 234.95
Current children cumulated vsize (Kb) 4764

[startup+400.033 s]
Raw data (loadavg): 1.09 1.12 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 16342 7799 0 0 15 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 386 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 241.43
Current children cumulated vsize (Kb) 4764

[startup+410.034 s]
Raw data (loadavg): 1.15 1.14 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 16827 7969 0 0 15 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 659 386 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 247.98
Current children cumulated vsize (Kb) 4764

[startup+420.035 s]
Raw data (loadavg): 1.13 1.13 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 17386 8118 0 0 16 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 386 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 255.06
Current children cumulated vsize (Kb) 4764

[startup+430.036 s]
Raw data (loadavg): 1.11 1.13 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 422 0 0 0 17884 8281 0 0 15 0 1 0 19914684 2699264 392 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 392 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 261.67
Current children cumulated vsize (Kb) 4764

[startup+440.036 s]
Raw data (loadavg): 1.09 1.12 1.04 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 423 0 0 0 18403 8443 0 0 16 0 1 0 19914684 2699264 393 4294967295 134512640 134702520 3221223952 3221223232 134557446 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 659 393 413 48 0 611 0
[pid=5442] vsize: 2636
Current children cumulated CPU time (s) 268.48
Current children cumulated vsize (Kb) 4764

[startup+450.037 s]
Raw data (loadavg): 1.08 1.12 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 428 0 0 0 18900 8615 0 0 16 0 1 0 19914684 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 398 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 275.17
Current children cumulated vsize (Kb) 4896

[startup+460.038 s]
Raw data (loadavg): 1.14 1.13 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 432 0 0 0 19474 8758 0 0 16 0 1 0 19914684 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 402 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (Kb) 4896

[startup+470.039 s]
Raw data (loadavg): 1.12 1.12 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 434 0 0 0 19994 8913 0 0 16 0 1 0 19914684 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 404 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 289.09
Current children cumulated vsize (Kb) 4896

[startup+480.038 s]
Raw data (loadavg): 1.18 1.14 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 434 0 0 0 20542 9062 0 0 15 0 1 0 19914684 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 404 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 296.06
Current children cumulated vsize (Kb) 4896

[startup+490.039 s]
Raw data (loadavg): 1.15 1.13 1.04 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 434 0 0 0 21035 9230 0 0 16 0 1 0 19914684 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 404 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 302.67
Current children cumulated vsize (Kb) 4896

[startup+500.04 s]
Raw data (loadavg): 1.20 1.14 1.05 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 436 0 0 0 21605 9376 0 0 15 0 1 0 19914684 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 406 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 309.83
Current children cumulated vsize (Kb) 4896

[startup+510.041 s]
Raw data (loadavg): 1.17 1.14 1.05 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 437 0 0 0 22120 9541 0 0 16 0 1 0 19914684 2834432 407 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 407 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 316.63
Current children cumulated vsize (Kb) 4896

[startup+520.042 s]
Raw data (loadavg): 1.22 1.15 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 439 0 0 0 22663 9692 0 0 16 0 1 0 19914684 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 409 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (Kb) 4896

[startup+530.041 s]
Raw data (loadavg): 1.18 1.14 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 442 0 0 0 23178 9849 0 0 15 0 1 0 19914684 2834432 412 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 412 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 330.29
Current children cumulated vsize (Kb) 4896

[startup+540.042 s]
Raw data (loadavg): 1.15 1.14 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 445 0 0 0 23745 9995 0 0 16 0 1 0 19914684 2834432 415 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 415 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 337.42
Current children cumulated vsize (Kb) 4896

[startup+550.044 s]
Raw data (loadavg): 1.13 1.13 1.05 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 447 0 0 0 24243 10163 0 0 16 0 1 0 19914684 2834432 417 4294967295 134512640 134702520 3221223952 3221223072 134573103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 417 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 344.08
Current children cumulated vsize (Kb) 4896

[startup+560.045 s]
Raw data (loadavg): 1.11 1.13 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 447 0 0 0 24804 10311 0 0 16 0 1 0 19914684 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 417 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 351.17
Current children cumulated vsize (Kb) 4896

[startup+570.046 s]
Raw data (loadavg): 1.09 1.12 1.05 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 449 0 0 0 25255 10496 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 357.53
Current children cumulated vsize (Kb) 4896

[startup+580.046 s]
Raw data (loadavg): 1.23 1.15 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 25566 10715 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 362.83
Current children cumulated vsize (Kb) 4896

[startup+590.047 s]
Raw data (loadavg): 1.20 1.15 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 449 0 0 0 25952 10917 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 368.71
Current children cumulated vsize (Kb) 4896

[startup+600.048 s]
Raw data (loadavg): 1.24 1.16 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 26362 11111 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 374.75
Current children cumulated vsize (Kb) 4896

[startup+610.049 s]
Raw data (loadavg): 1.27 1.17 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 26798 11298 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 380.98
Current children cumulated vsize (Kb) 4896

[startup+620.05 s]
Raw data (loadavg): 1.23 1.16 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 27219 11492 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 387.13
Current children cumulated vsize (Kb) 4896

[startup+630.05 s]
Raw data (loadavg): 1.20 1.16 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 27589 11698 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 392.89
Current children cumulated vsize (Kb) 4896

[startup+640.051 s]
Raw data (loadavg): 1.16 1.15 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 28061 11873 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 399.36
Current children cumulated vsize (Kb) 4896

[startup+650.05 s]
Raw data (loadavg): 1.14 1.15 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 28501 12059 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 405.62
Current children cumulated vsize (Kb) 4896

[startup+660.051 s]
Raw data (loadavg): 1.12 1.14 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 29000 12230 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 419 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 412.32
Current children cumulated vsize (Kb) 4896

[startup+670.14 s]
Raw data (loadavg): 1.10 1.14 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 451 0 0 0 29475 12408 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 421 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 418.85
Current children cumulated vsize (Kb) 4896

[startup+680.14 s]
Raw data (loadavg): 1.08 1.13 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 451 0 0 0 29942 12588 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 421 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 425.32
Current children cumulated vsize (Kb) 4896

[startup+690.14 s]
Raw data (loadavg): 1.07 1.13 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 451 0 0 0 30403 12772 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 421 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 431.77
Current children cumulated vsize (Kb) 4896

[startup+700.141 s]
Raw data (loadavg): 1.06 1.12 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 451 0 0 0 30944 12924 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 692 421 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 438.7
Current children cumulated vsize (Kb) 4896

[startup+710.143 s]
Raw data (loadavg): 1.05 1.12 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 453 0 0 0 31428 13092 0 0 16 0 1 0 19914684 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 423 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 445.22
Current children cumulated vsize (Kb) 4896

[startup+720.144 s]
Raw data (loadavg): 1.04 1.11 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 453 0 0 0 31975 13243 0 0 16 0 1 0 19914684 2834432 423 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 423 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 452.2
Current children cumulated vsize (Kb) 4896

[startup+730.145 s]
Raw data (loadavg): 1.03 1.11 1.05 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 453 0 0 0 32476 13409 0 0 16 0 1 0 19914684 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 423 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 458.87
Current children cumulated vsize (Kb) 4896

[startup+740.147 s]
Raw data (loadavg): 1.11 1.12 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 454 0 0 0 33047 13548 0 0 16 0 1 0 19914684 2834432 424 4294967295 134512640 134702520 3221223952 3221223344 134603823 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 692 424 413 48 0 644 0
[pid=5442] vsize: 2768
Current children cumulated CPU time (s) 465.97
Current children cumulated vsize (Kb) 4896

[startup+750.148 s]
Raw data (loadavg): 1.17 1.13 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 33548 13716 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 429 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 472.66
Current children cumulated vsize (Kb) 5032

[startup+760.149 s]
Raw data (loadavg): 1.22 1.14 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 34130 13861 0 0 15 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 429 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 479.93
Current children cumulated vsize (Kb) 5032

[startup+770.149 s]
Raw data (loadavg): 1.18 1.14 1.07 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 459 0 0 0 34618 14029 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 429 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 486.49
Current children cumulated vsize (Kb) 5032

[startup+780.149 s]
Raw data (loadavg): 1.16 1.13 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 35087 14200 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 429 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 492.89
Current children cumulated vsize (Kb) 5032

[startup+790.151 s]
Raw data (loadavg): 1.13 1.13 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 35599 14362 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 429 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 499.63
Current children cumulated vsize (Kb) 5032

[startup+800.152 s]
Raw data (loadavg): 1.11 1.12 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 36103 14527 0 0 16 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 431 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 506.32
Current children cumulated vsize (Kb) 5032

[startup+810.154 s]
Raw data (loadavg): 1.09 1.12 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 36669 14669 0 0 15 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 431 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 513.4
Current children cumulated vsize (Kb) 5032

[startup+820.154 s]
Raw data (loadavg): 1.08 1.12 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 37155 14842 0 0 16 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 431 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 519.99
Current children cumulated vsize (Kb) 5032

[startup+830.154 s]
Raw data (loadavg): 1.07 1.11 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 37716 14991 0 0 16 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 431 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 527.09
Current children cumulated vsize (Kb) 5032

[startup+840.155 s]
Raw data (loadavg): 1.06 1.11 1.06 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 38218 15159 0 0 15 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 431 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 533.79
Current children cumulated vsize (Kb) 5032

[startup+850.156 s]
Raw data (loadavg): 1.05 1.10 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 465 0 0 0 38804 15300 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 435 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 541.06
Current children cumulated vsize (Kb) 5032

[startup+860.156 s]
Raw data (loadavg): 1.04 1.10 1.06 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 465 0 0 0 39398 15441 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 435 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 548.41
Current children cumulated vsize (Kb) 5032

[startup+870.157 s]
Raw data (loadavg): 1.19 1.13 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 465 0 0 0 39900 15611 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 435 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 555.13
Current children cumulated vsize (Kb) 5032

[startup+880.158 s]
Raw data (loadavg): 1.24 1.14 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 465 0 0 0 40470 15751 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 435 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 562.23
Current children cumulated vsize (Kb) 5032

[startup+890.159 s]
Raw data (loadavg): 1.20 1.14 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 465 0 0 0 40947 15929 0 0 15 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 435 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 568.78
Current children cumulated vsize (Kb) 5032

[startup+900.159 s]
Raw data (loadavg): 1.17 1.13 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 467 0 0 0 41516 16075 0 0 15 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 437 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 575.93
Current children cumulated vsize (Kb) 5032

[startup+910.161 s]
Raw data (loadavg): 1.14 1.13 1.07 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 42022 16241 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 437 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 582.65
Current children cumulated vsize (Kb) 5032

[startup+920.162 s]
Raw data (loadavg): 1.12 1.12 1.07 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 42584 16390 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223072 134572168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 437 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 589.76
Current children cumulated vsize (Kb) 5032

[startup+930.162 s]
Raw data (loadavg): 1.10 1.12 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 467 0 0 0 43168 16528 0 0 15 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 437 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 596.98
Current children cumulated vsize (Kb) 5032

[startup+940.163 s]
Raw data (loadavg): 1.16 1.13 1.07 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 43672 16697 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 437 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 603.71
Current children cumulated vsize (Kb) 5032

[startup+950.163 s]
Raw data (loadavg): 1.21 1.14 1.08 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 44249 16840 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 437 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 610.91
Current children cumulated vsize (Kb) 5032

[startup+960.164 s]
Raw data (loadavg): 1.25 1.15 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 44765 17011 0 0 16 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 440 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 617.78
Current children cumulated vsize (Kb) 5032

[startup+970.165 s]
Raw data (loadavg): 1.21 1.15 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 45369 17142 0 0 16 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 440 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 625.13
Current children cumulated vsize (Kb) 5032

[startup+980.165 s]
Raw data (loadavg): 1.18 1.14 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 45953 17285 0 0 16 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 440 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 632.4
Current children cumulated vsize (Kb) 5032

[startup+990.166 s]
Raw data (loadavg): 1.15 1.14 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 46554 17423 0 0 15 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 440 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (Kb) 5032

[startup+1000.17 s]
Raw data (loadavg): 1.13 1.13 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 472 0 0 0 47074 17583 0 0 16 0 1 0 19914684 2973696 442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 442 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 646.59
Current children cumulated vsize (Kb) 5032

[startup+1010.17 s]
Raw data (loadavg): 1.11 1.13 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 474 0 0 0 47659 17721 0 0 15 0 1 0 19914684 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 444 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 653.82
Current children cumulated vsize (Kb) 5032

[startup+1020.17 s]
Raw data (loadavg): 1.09 1.12 1.07 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 474 0 0 0 48255 17853 0 0 16 0 1 0 19914684 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 444 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 661.1
Current children cumulated vsize (Kb) 5032

[startup+1030.17 s]
Raw data (loadavg): 1.15 1.13 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 474 0 0 0 48769 18009 0 0 16 0 1 0 19914684 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 444 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 667.8
Current children cumulated vsize (Kb) 5032

[startup+1040.17 s]
Raw data (loadavg): 1.20 1.14 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 476 0 0 0 49366 18145 0 0 16 0 1 0 19914684 2973696 446 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 726 446 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 675.13
Current children cumulated vsize (Kb) 5032

[startup+1050.17 s]
Raw data (loadavg): 1.17 1.14 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 480 0 0 0 49979 18276 0 0 16 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 450 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 682.57
Current children cumulated vsize (Kb) 5032

[startup+1060.17 s]
Raw data (loadavg): 1.22 1.15 1.09 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 480 0 0 0 50476 18442 0 0 16 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223072 134573047 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 450 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 689.2
Current children cumulated vsize (Kb) 5032

[startup+1070.17 s]
Raw data (loadavg): 1.19 1.15 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 480 0 0 0 51081 18575 0 0 15 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 450 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 696.58
Current children cumulated vsize (Kb) 5032

[startup+1080.17 s]
Raw data (loadavg): 1.16 1.14 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 480 0 0 0 51669 18717 0 0 16 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 726 450 413 48 0 678 0
[pid=5442] vsize: 2904
Current children cumulated CPU time (s) 703.88
Current children cumulated vsize (Kb) 5032

[startup+1090.17 s]
Raw data (loadavg): 1.13 1.14 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 697 0 0 0 52298 18844 0 0 16 0 1 0 19914684 3952640 667 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 965 667 413 48 0 917 0
[pid=5442] vsize: 3860
Current children cumulated CPU time (s) 711.44
Current children cumulated vsize (Kb) 5988

[startup+1100.17 s]
Raw data (loadavg): 1.11 1.13 1.08 2/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1044 0 0 0 53160 18892 0 0 17 0 1 0 19914684 5365760 1014 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 1310 1014 413 48 0 1262 0
[pid=5442] vsize: 5240
Current children cumulated CPU time (s) 720.54
Current children cumulated vsize (Kb) 7368

[startup+1110.18 s]
Raw data (loadavg): 1.10 1.13 1.08 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 1240 0 0 0 53918 18973 0 0 15 0 1 0 19914684 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 1498 1210 413 48 0 1450 0
[pid=5442] vsize: 5992
Current children cumulated CPU time (s) 728.93
Current children cumulated vsize (Kb) 8120

[startup+1120.18 s]
Raw data (loadavg): 1.15 1.14 1.09 1/56 5442
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 1240 0 0 0 54799 19014 0 0 17 0 1 0 19914684 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 1498 1210 413 48 0 1450 0
[pid=5442] vsize: 5992
Current children cumulated CPU time (s) 738.15
Current children cumulated vsize (Kb) 8120

[startup+1130.18 s]
Raw data (loadavg): 1.21 1.15 1.09 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1590 0 0 0 55705 19046 0 0 18 0 1 0 19914684 7512064 1560 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 1834 1560 413 48 0 1786 0
[pid=5442] vsize: 7336
Current children cumulated CPU time (s) 747.53
Current children cumulated vsize (Kb) 9464

[startup+1140.18 s]
Raw data (loadavg): 1.18 1.14 1.09 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1848 0 0 0 56643 19066 0 0 18 0 1 0 19914684 8663040 1818 4294967295 134512640 134702520 3221223952 3221222816 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2115 1818 413 48 0 2067 0
[pid=5442] vsize: 8460
Current children cumulated CPU time (s) 757.11
Current children cumulated vsize (Kb) 10588

[startup+1150.18 s]
Raw data (loadavg): 1.15 1.14 1.09 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1905 0 0 0 57589 19085 0 0 25 0 1 0 19914684 8937472 1875 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2182 1875 413 48 0 2134 0
[pid=5442] vsize: 8728
Current children cumulated CPU time (s) 766.76
Current children cumulated vsize (Kb) 10856

[startup+1160.18 s]
Raw data (loadavg): 1.13 1.13 1.09 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2095 0 0 0 58544 19103 0 0 25 0 1 0 19914684 9752576 2065 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2381 2065 413 48 0 2333 0
[pid=5442] vsize: 9524
Current children cumulated CPU time (s) 776.49
Current children cumulated vsize (Kb) 11652

[startup+1170.18 s]
Raw data (loadavg): 1.11 1.13 1.09 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2160 0 0 0 59491 19122 0 0 25 0 1 0 19914684 10039296 2130 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2451 2130 413 48 0 2403 0
[pid=5442] vsize: 9804
Current children cumulated CPU time (s) 786.15
Current children cumulated vsize (Kb) 11932

[startup+1180.18 s]
Raw data (loadavg): 1.09 1.12 1.08 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 2358 0 0 0 60437 19141 0 0 25 0 1 0 19914684 10862592 2328 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 2652 2328 413 48 0 2604 0
[pid=5442] vsize: 10608
Current children cumulated CPU time (s) 795.8
Current children cumulated vsize (Kb) 12736

[startup+1190.18 s]
Raw data (loadavg): 1.08 1.12 1.08 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2485 0 0 0 61402 19154 0 0 25 0 1 0 19914684 11411456 2455 4294967295 134512640 134702520 3221223952 3221222816 134564339 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2786 2455 413 48 0 2738 0
[pid=5442] vsize: 11144
Current children cumulated CPU time (s) 805.58
Current children cumulated vsize (Kb) 13272

[startup+1200.18 s]
Raw data (loadavg): 1.06 1.12 1.08 2/56 5444
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2512 0 0 0 62355 19170 0 0 25 0 1 0 19914684 11546624 2482 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2819 2482 413 48 0 2771 0
[pid=5442] vsize: 11276
Current children cumulated CPU time (s) 815.27
Current children cumulated vsize (Kb) 13404

[startup+1210.18 s]
Raw data (loadavg): 1.05 1.11 1.08 3/60 5448
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 2697 0 0 0 63308 19184 0 0 18 0 1 0 19914684 12267520 2667 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 2995 2667 413 48 0 2947 0
[pid=5442] vsize: 11980
Current children cumulated CPU time (s) 824.94
Current children cumulated vsize (Kb) 14108

[startup+1220.18 s]
Raw data (loadavg): 1.04 1.11 1.08 1/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 2853 0 0 0 64252 19207 0 0 19 0 1 0 19914684 12967936 2823 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3166 2823 413 48 0 3118 0
[pid=5442] vsize: 12664
Current children cumulated CPU time (s) 834.61
Current children cumulated vsize (Kb) 14792

[startup+1230.19 s]
Raw data (loadavg): 1.04 1.10 1.08 2/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3048 0 0 0 65205 19225 0 0 18 0 1 0 19914684 13811712 3018 4294967295 134512640 134702520 3221223952 3221223232 134557211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3372 3018 413 48 0 3324 0
[pid=5442] vsize: 13488
Current children cumulated CPU time (s) 844.32
Current children cumulated vsize (Kb) 15616

[startup+1240.19 s]
Raw data (loadavg): 1.03 1.10 1.08 1/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3245 0 0 0 66153 19243 0 0 25 0 1 0 19914684 14667776 3215 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3581 3215 413 48 0 3533 0
[pid=5442] vsize: 14324
Current children cumulated CPU time (s) 853.98
Current children cumulated vsize (Kb) 16452

[startup+1250.19 s]
Raw data (loadavg): 1.03 1.10 1.08 1/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3312 0 0 0 67126 19253 0 0 25 0 1 0 19914684 14938112 3282 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3647 3282 413 48 0 3599 0
[pid=5442] vsize: 14588
Current children cumulated CPU time (s) 863.81
Current children cumulated vsize (Kb) 16716

[startup+1260.19 s]
Raw data (loadavg): 1.02 1.09 1.08 2/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3317 0 0 0 68092 19265 0 0 25 0 1 0 19914684 14938112 3287 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3647 3287 413 48 0 3599 0
[pid=5442] vsize: 14588
Current children cumulated CPU time (s) 873.59
Current children cumulated vsize (Kb) 16716

[startup+1270.19 s]
Raw data (loadavg): 1.02 1.09 1.08 2/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3374 0 0 0 69048 19280 0 0 25 0 1 0 19914684 15077376 3344 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3681 3344 413 48 0 3633 0
[pid=5442] vsize: 14724
Current children cumulated CPU time (s) 883.3
Current children cumulated vsize (Kb) 16852

[startup+1280.19 s]
Raw data (loadavg): 1.01 1.08 1.08 2/56 5499
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3481 0 0 0 70017 19291 0 0 25 0 1 0 19914684 15654912 3451 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3822 3451 413 48 0 3774 0
[pid=5442] vsize: 15288
Current children cumulated CPU time (s) 893.1
Current children cumulated vsize (Kb) 17416

[startup+1290.19 s]
Raw data (loadavg): 1.01 1.08 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3485 0 0 0 70980 19304 0 0 25 0 1 0 19914684 15654912 3455 4294967295 134512640 134702520 3221223952 3221223232 134557206 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3822 3455 413 48 0 3774 0
[pid=5442] vsize: 15288
Current children cumulated CPU time (s) 902.86
Current children cumulated vsize (Kb) 17416

[startup+1300.19 s]
Raw data (loadavg): 1.01 1.08 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3561 0 0 0 71940 19317 0 0 25 0 1 0 19914684 15933440 3531 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 3890 3531 413 48 0 3842 0
[pid=5442] vsize: 15560
Current children cumulated CPU time (s) 912.59
Current children cumulated vsize (Kb) 17688

[startup+1310.19 s]
Raw data (loadavg): 1.01 1.08 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3713 0 0 0 72896 19332 0 0 18 0 1 0 19914684 16736256 3683 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4086 3683 413 48 0 4038 0
[pid=5442] vsize: 16344
Current children cumulated CPU time (s) 922.3
Current children cumulated vsize (Kb) 18472

[startup+1320.19 s]
Raw data (loadavg): 1.01 1.07 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 73856 19345 0 0 20 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223376 134594357 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 932.03
Current children cumulated vsize (Kb) 19036

[startup+1330.19 s]
Raw data (loadavg): 1.00 1.07 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 74669 19403 0 0 17 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 940.74
Current children cumulated vsize (Kb) 19036

[startup+1340.19 s]
Raw data (loadavg): 1.00 1.07 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 75579 19434 0 0 17 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 950.15
Current children cumulated vsize (Kb) 19036

[startup+1350.19 s]
Raw data (loadavg): 1.00 1.06 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 76504 19460 0 0 18 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 959.66
Current children cumulated vsize (Kb) 19036

[startup+1360.2 s]
Raw data (loadavg): 1.00 1.06 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 77446 19480 0 0 20 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 969.28
Current children cumulated vsize (Kb) 19036

[startup+1370.2 s]
Raw data (loadavg): 1.00 1.06 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 78266 19542 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 978.1
Current children cumulated vsize (Kb) 19036

[startup+1380.2 s]
Raw data (loadavg): 1.07 1.07 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 78874 19677 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 985.53
Current children cumulated vsize (Kb) 19036

[startup+1390.2 s]
Raw data (loadavg): 1.06 1.07 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 79454 19817 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 992.73
Current children cumulated vsize (Kb) 19036

[startup+1400.2 s]
Raw data (loadavg): 1.05 1.07 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 80060 19954 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1000.16
Current children cumulated vsize (Kb) 19036

[startup+1410.2 s]
Raw data (loadavg): 1.04 1.06 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 80592 20111 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1007.05
Current children cumulated vsize (Kb) 19036

[startup+1420.2 s]
Raw data (loadavg): 1.04 1.06 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 81166 20257 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223344 134605734 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1014.25
Current children cumulated vsize (Kb) 19036

[startup+1430.2 s]
Raw data (loadavg): 1.03 1.06 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 81749 20400 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1021.51
Current children cumulated vsize (Kb) 19036

[startup+1440.2 s]
Raw data (loadavg): 1.02 1.06 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 82286 20554 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1028.42
Current children cumulated vsize (Kb) 19036

[startup+1450.2 s]
Raw data (loadavg): 1.02 1.05 1.06 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 82872 20697 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1035.71
Current children cumulated vsize (Kb) 19036

[startup+1460.2 s]
Raw data (loadavg): 1.02 1.05 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 83476 20831 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1043.09
Current children cumulated vsize (Kb) 19036

[startup+1470.2 s]
Raw data (loadavg): 1.01 1.05 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 84004 20991 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1049.97
Current children cumulated vsize (Kb) 19036

[startup+1480.21 s]
Raw data (loadavg): 1.01 1.05 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 84580 21131 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1057.13
Current children cumulated vsize (Kb) 19036

[startup+1490.21 s]
Raw data (loadavg): 1.01 1.05 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 85165 21272 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1064.39
Current children cumulated vsize (Kb) 19036

[startup+1500.21 s]
Raw data (loadavg): 1.01 1.04 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 85783 21403 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1071.88
Current children cumulated vsize (Kb) 19036

[startup+1510.21 s]
Raw data (loadavg): 1.09 1.06 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 86365 21548 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1079.15
Current children cumulated vsize (Kb) 19036

[startup+1520.21 s]
Raw data (loadavg): 1.07 1.06 1.06 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 86887 21714 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223344 134603736 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1086.03
Current children cumulated vsize (Kb) 19036

[startup+1530.22 s]
Raw data (loadavg): 1.14 1.07 1.07 2/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 87485 21853 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223232 134557232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1093.4
Current children cumulated vsize (Kb) 19036

[startup+1540.22 s]
Raw data (loadavg): 1.12 1.07 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 88092 21985 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1100.79
Current children cumulated vsize (Kb) 19036

[startup+1550.22 s]
Raw data (loadavg): 1.10 1.07 1.06 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 88679 22126 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1108.07
Current children cumulated vsize (Kb) 19036

[startup+1560.22 s]
Raw data (loadavg): 1.16 1.08 1.07 1/56 5503
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 89207 22288 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1114.97
Current children cumulated vsize (Kb) 19036

[startup+1570.22 s]
Raw data (loadavg): 1.14 1.08 1.07 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 89789 22424 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1122.15
Current children cumulated vsize (Kb) 19036

[startup+1580.22 s]
Raw data (loadavg): 1.12 1.07 1.07 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 90386 22560 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1129.48
Current children cumulated vsize (Kb) 19036

[startup+1590.22 s]
Raw data (loadavg): 1.10 1.07 1.07 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 90966 22704 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1136.72
Current children cumulated vsize (Kb) 19036

[startup+1600.22 s]
Raw data (loadavg): 1.24 1.10 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 91504 22856 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1143.62
Current children cumulated vsize (Kb) 19036

[startup+1610.22 s]
Raw data (loadavg): 1.20 1.10 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 92099 22995 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1150.96
Current children cumulated vsize (Kb) 19036

[startup+1620.22 s]
Raw data (loadavg): 1.24 1.11 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 92709 23127 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1158.38
Current children cumulated vsize (Kb) 19036

[startup+1630.22 s]
Raw data (loadavg): 1.20 1.11 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 93310 23260 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1165.72
Current children cumulated vsize (Kb) 19036

[startup+1640.22 s]
Raw data (loadavg): 1.17 1.10 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 93878 23411 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1172.91
Current children cumulated vsize (Kb) 19036

[startup+1650.22 s]
Raw data (loadavg): 1.15 1.10 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 94430 23559 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1179.91
Current children cumulated vsize (Kb) 19036

[startup+1660.23 s]
Raw data (loadavg): 1.20 1.11 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 95028 23698 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1187.28
Current children cumulated vsize (Kb) 19036

[startup+1670.23 s]
Raw data (loadavg): 1.17 1.11 1.08 2/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 95633 23828 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1194.63
Current children cumulated vsize (Kb) 19036

[startup+1680.23 s]
Raw data (loadavg): 1.14 1.10 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 96241 23962 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1202.05
Current children cumulated vsize (Kb) 19036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1680.23 s]
Raw data (loadavg): 1.14 1.10 1.08 1/56 5505
Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5439/statm): 532 242 485 147 0 385 0
[pid=5439] vsize: 2128
Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 96241 23962 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0
[pid=5442] vsize: 16908
Current children cumulated CPU time (s) 1202.05
Current children cumulated vsize (Kb) 19036

Sending SIGTERM to -5439
Sleeping 2 seconds
New process pid=5507
New process pid=5508
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
One traced child (pid=5442) exited with status: 3
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/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/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/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/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/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/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5400/stat
open syscall for file /proc/5400/status
open syscall for file /proc/5400/cmdline
open syscall for file /proc/5400/environ
open syscall for file /proc/5438/stat
open syscall for file /proc/5438/status
open syscall for file /proc/5438/cmdline
open syscall for file /proc/5438/environ
open syscall for file /proc/5439/stat
open syscall for file /proc/5439/status
open syscall for file /proc/5439/cmdline
open syscall for file /proc/5439/environ
open syscall for file /proc/5507/stat
open syscall for file /proc/5507/status
open syscall for file /proc/5507/cmdline
open syscall for file /proc/5507/environ
open syscall for file /proc/5508/stat
open syscall for file /proc/5508/status
open syscall for file /proc/5508/cmdline
open syscall for file /proc/5508/environ
One traced child (pid=5507) exited with status: 0
One traced child (pid=5508) exited with status: 0
New process pid=5509
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=5509) exited with status: 0
New process pid=5510
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=5510) exited with status: 0
New process pid=5511
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=5511) exited with status: 0
New process pid=5512
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=5512) exited with status: 0
One traced child (pid=5439) 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): 1680.78
CPU time (s): 1202.21
CPU user time (s): 962.46
CPU system time (s): 239.75
CPU usage (%): 71.5268
Max. virtual memory (cumulated for all children) (Kb): 19036

Verifier Data

ERROR: no interpretation found !