Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM99657262afbbfce7034a3ec6b29d9b3b
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.762
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 4932

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-19 20:58:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7669 boxname=wulflinc8 idbench=637 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-lseu.opb 0
IDLAUNCH: 7669
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888776 kB
Buffers:         36600 kB
Cached:          84260 kB
SwapCached:        792 kB
Active:          70020 kB
Inactive:        53500 kB
HighTotal:      131008 kB
HighFree:        47068 kB
LowTotal:       903652 kB
LowFree:        841708 kB
SwapTotal:     2097136 kB
SwapFree:      2095876 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5756 kB
Slab:            16768 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 21:26:34 (client local time) WITH STATUS 0 IN 1201.41 SECONDS
stats: 7669 7 1201.41 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: 6362378;  #end-nodes: 5002991;
#proof improvement attempts: 0;  #restarts: 3726
Current batch, end-nodes: 1862 / 5363 (1011)
#axs: 29, #non-axs: 13
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 8, end: 13;  meta: start: 25, end (keep): 39
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: 60  (#equs: 0)
Time taken: 20 min, 1 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/15308/stat): 15308 (vallstSAT2005PB) R 15307 15308 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1781166533 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15308/statm): 174 3 169 147 0 27 0
[pid=15308] 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=15309
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=15309) exited with status: 0
New process pid=15310
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=15310) exited with status: 0
New process pid=15311
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/wulflinc8/normalized-mps-v2-20-10-lseu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0039 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 256 0 0 0 307 215 0 0 16 0 1 0 1781166540 2293760 226 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 560 226 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (Kb) 4368

[startup+20.0047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 263 0 0 0 590 447 0 0 16 0 1 0 1781166540 2293760 233 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 560 233 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 10.4
Current children cumulated vsize (Kb) 4368

[startup+30.0065 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 293 0 0 0 903 669 0 0 16 0 1 0 1781166540 2293760 263 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 560 263 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (Kb) 4368

[startup+40.0073 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 309 0 0 0 1203 898 0 0 16 0 1 0 1781166540 2293760 279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 560 279 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 21.04
Current children cumulated vsize (Kb) 4368

[startup+50.009 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 315 0 0 0 1574 1109 0 0 15 0 1 0 1781166540 2293760 285 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 560 285 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 26.86
Current children cumulated vsize (Kb) 4368

[startup+60.0098 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 317 0 0 0 1918 1323 0 0 16 0 1 0 1781166540 2293760 287 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 560 287 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 32.44
Current children cumulated vsize (Kb) 4368

[startup+70.0106 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 319 0 0 0 2238 1542 0 0 16 0 1 0 1781166540 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 560 289 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 37.83
Current children cumulated vsize (Kb) 4368

[startup+80.0114 s]
Raw data (loadavg): 1.18 1.04 1.01 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 319 0 0 0 2548 1765 0 0 16 0 1 0 1781166540 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 560 289 413 48 0 512 0
[pid=15311] vsize: 2240
Current children cumulated CPU time (s) 43.16
Current children cumulated vsize (Kb) 4368

[startup+90.0122 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 327 0 0 0 2892 1984 0 0 16 0 1 0 1781166540 2428928 297 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 593 297 413 48 0 545 0
[pid=15311] vsize: 2372
Current children cumulated CPU time (s) 48.79
Current children cumulated vsize (Kb) 4500

[startup+100.014 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 335 0 0 0 3284 2187 0 0 16 0 1 0 1781166540 2428928 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 593 305 413 48 0 545 0
[pid=15311] vsize: 2372
Current children cumulated CPU time (s) 54.74
Current children cumulated vsize (Kb) 4500

[startup+110.015 s]
Raw data (loadavg): 1.18 1.06 1.01 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 343 0 0 0 3695 2384 0 0 16 0 1 0 1781166540 2428928 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 593 313 413 48 0 545 0
[pid=15311] vsize: 2372
Current children cumulated CPU time (s) 60.82
Current children cumulated vsize (Kb) 4500

[startup+120.016 s]
Raw data (loadavg): 1.31 1.09 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 346 0 0 0 4120 2569 0 0 16 0 1 0 1781166540 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 593 316 413 48 0 545 0
[pid=15311] vsize: 2372
Current children cumulated CPU time (s) 66.92
Current children cumulated vsize (Kb) 4500

[startup+130.017 s]
Raw data (loadavg): 1.34 1.10 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 354 0 0 0 4570 2747 0 0 16 0 1 0 1781166540 2428928 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 593 324 413 48 0 545 0
[pid=15311] vsize: 2372
Current children cumulated CPU time (s) 73.2
Current children cumulated vsize (Kb) 4500

[startup+140.018 s]
Raw data (loadavg): 1.29 1.10 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 363 0 0 0 5028 2927 0 0 16 0 1 0 1781166540 2564096 333 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 626 333 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 79.58
Current children cumulated vsize (Kb) 4632

[startup+150.02 s]
Raw data (loadavg): 1.24 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 367 0 0 0 5469 3114 0 0 15 0 1 0 1781166540 2564096 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 626 337 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 85.86
Current children cumulated vsize (Kb) 4632

[startup+160.021 s]
Raw data (loadavg): 1.28 1.10 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 371 0 0 0 5915 3297 0 0 16 0 1 0 1781166540 2564096 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 626 341 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 92.15
Current children cumulated vsize (Kb) 4632

[startup+170.02 s]
Raw data (loadavg): 1.24 1.10 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 374 0 0 0 6309 3495 0 0 15 0 1 0 1781166540 2564096 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 626 344 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 98.07
Current children cumulated vsize (Kb) 4632

[startup+180.021 s]
Raw data (loadavg): 1.20 1.10 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 377 0 0 0 6644 3709 0 0 15 0 1 0 1781166540 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 626 347 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 103.56
Current children cumulated vsize (Kb) 4632

[startup+190.023 s]
Raw data (loadavg): 1.25 1.11 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 377 0 0 0 6972 3929 0 0 16 0 1 0 1781166540 2564096 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 626 347 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 109.04
Current children cumulated vsize (Kb) 4632

[startup+200.024 s]
Raw data (loadavg): 1.29 1.12 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 381 0 0 0 7390 4120 0 0 16 0 1 0 1781166540 2564096 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 626 351 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 115.13
Current children cumulated vsize (Kb) 4632

[startup+210.025 s]
Raw data (loadavg): 1.24 1.12 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 383 0 0 0 7848 4299 0 0 15 0 1 0 1781166540 2564096 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 626 353 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 121.5
Current children cumulated vsize (Kb) 4632

[startup+220.025 s]
Raw data (loadavg): 1.20 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 386 0 0 0 8284 4493 0 0 16 0 1 0 1781166540 2564096 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 626 356 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 127.8
Current children cumulated vsize (Kb) 4632

[startup+230.026 s]
Raw data (loadavg): 1.17 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 391 0 0 0 8709 4684 0 0 16 0 1 0 1781166540 2564096 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 626 361 413 48 0 578 0
[pid=15311] vsize: 2504
Current children cumulated CPU time (s) 133.96
Current children cumulated vsize (Kb) 4632

[startup+240.027 s]
Raw data (loadavg): 1.22 1.12 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 394 0 0 0 9204 4849 0 0 16 0 1 0 1781166540 2699264 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 364 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 140.56
Current children cumulated vsize (Kb) 4764

[startup+250.029 s]
Raw data (loadavg): 1.18 1.12 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 394 0 0 0 9682 5020 0 0 16 0 1 0 1781166540 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 364 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (Kb) 4764

[startup+260.029 s]
Raw data (loadavg): 1.16 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 395 0 0 0 10150 5197 0 0 16 0 1 0 1781166540 2699264 365 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 365 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 153.5
Current children cumulated vsize (Kb) 4764

[startup+270.029 s]
Raw data (loadavg): 1.13 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 399 0 0 0 10633 5369 0 0 16 0 1 0 1781166540 2699264 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 369 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 4764

[startup+280.03 s]
Raw data (loadavg): 1.11 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 401 0 0 0 11087 5556 0 0 15 0 1 0 1781166540 2699264 371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 371 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 166.46
Current children cumulated vsize (Kb) 4764

[startup+290.031 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 405 0 0 0 11565 5733 0 0 16 0 1 0 1781166540 2699264 375 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 375 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 173.01
Current children cumulated vsize (Kb) 4764

[startup+300.032 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 405 0 0 0 11887 5951 0 0 15 0 1 0 1781166540 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 375 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 178.41
Current children cumulated vsize (Kb) 4764

[startup+310.032 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 407 0 0 0 12258 6157 0 0 16 0 1 0 1781166540 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 377 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 184.18
Current children cumulated vsize (Kb) 4764

[startup+320.033 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 407 0 0 0 12647 6358 0 0 16 0 1 0 1781166540 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 377 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 190.08
Current children cumulated vsize (Kb) 4764

[startup+330.034 s]
Raw data (loadavg): 1.12 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 407 0 0 0 13042 6558 0 0 16 0 1 0 1781166540 2699264 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 377 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 196.03
Current children cumulated vsize (Kb) 4764

[startup+340.035 s]
Raw data (loadavg): 1.10 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 409 0 0 0 13490 6743 0 0 15 0 1 0 1781166540 2699264 379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 379 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 202.36
Current children cumulated vsize (Kb) 4764

[startup+350.036 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 410 0 0 0 13905 6942 0 0 16 0 1 0 1781166540 2699264 380 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 380 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 208.5
Current children cumulated vsize (Kb) 4764

[startup+360.037 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 411 0 0 0 14438 7098 0 0 16 0 1 0 1781166540 2699264 381 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 381 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 215.39
Current children cumulated vsize (Kb) 4764

[startup+370.038 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 412 0 0 0 14887 7292 0 0 16 0 1 0 1781166540 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 659 382 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (Kb) 4764

[startup+380.039 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 412 0 0 0 15336 7477 0 0 16 0 1 0 1781166540 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 382 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 228.16
Current children cumulated vsize (Kb) 4764

[startup+390.04 s]
Raw data (loadavg): 1.12 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 416 0 0 0 15773 7670 0 0 16 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 386 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 234.46
Current children cumulated vsize (Kb) 4764

[startup+400.041 s]
Raw data (loadavg): 1.10 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 416 0 0 0 16254 7842 0 0 15 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 386 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 240.99
Current children cumulated vsize (Kb) 4764

[startup+410.042 s]
Raw data (loadavg): 1.16 1.11 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 416 0 0 0 16730 8015 0 0 16 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 386 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 247.48
Current children cumulated vsize (Kb) 4764

[startup+420.042 s]
Raw data (loadavg): 1.21 1.12 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 416 0 0 0 17270 8173 0 0 15 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 386 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 254.46
Current children cumulated vsize (Kb) 4764

[startup+430.044 s]
Raw data (loadavg): 1.18 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 422 0 0 0 17764 8340 0 0 16 0 1 0 1781166540 2699264 392 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 659 392 413 48 0 611 0
[pid=15311] vsize: 2636
Current children cumulated CPU time (s) 261.07
Current children cumulated vsize (Kb) 4764

[startup+440.044 s]
Raw data (loadavg): 1.15 1.11 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 425 0 0 0 18308 8493 0 0 16 0 1 0 1781166540 2834432 395 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 395 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 268.04
Current children cumulated vsize (Kb) 4896

[startup+450.045 s]
Raw data (loadavg): 1.21 1.12 1.05 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 428 0 0 0 18800 8662 0 0 16 0 1 0 1781166540 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 398 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 274.65
Current children cumulated vsize (Kb) 4896

[startup+460.047 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 432 0 0 0 19379 8808 0 0 16 0 1 0 1781166540 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 402 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 281.9
Current children cumulated vsize (Kb) 4896

[startup+470.048 s]
Raw data (loadavg): 1.15 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 434 0 0 0 19896 8970 0 0 15 0 1 0 1781166540 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 404 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 288.69
Current children cumulated vsize (Kb) 4896

[startup+480.049 s]
Raw data (loadavg): 1.12 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 434 0 0 0 20436 9127 0 0 16 0 1 0 1781166540 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 404 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 295.66
Current children cumulated vsize (Kb) 4896

[startup+490.049 s]
Raw data (loadavg): 1.10 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 434 0 0 0 20936 9297 0 0 15 0 1 0 1781166540 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 404 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 302.36
Current children cumulated vsize (Kb) 4896

[startup+500.051 s]
Raw data (loadavg): 1.09 1.10 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 436 0 0 0 21506 9440 0 0 16 0 1 0 1781166540 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222298933 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 406 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 309.49
Current children cumulated vsize (Kb) 4896

[startup+510.052 s]
Raw data (loadavg): 1.07 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 437 0 0 0 22014 9605 0 0 15 0 1 0 1781166540 2834432 407 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 407 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 316.22
Current children cumulated vsize (Kb) 4896

[startup+520.053 s]
Raw data (loadavg): 1.06 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 439 0 0 0 22582 9747 0 0 15 0 1 0 1781166540 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 409 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 323.32
Current children cumulated vsize (Kb) 4896

[startup+530.056 s]
Raw data (loadavg): 1.05 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 442 0 0 0 23074 9923 0 0 15 0 1 0 1781166540 2834432 412 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 412 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 4896

[startup+540.057 s]
Raw data (loadavg): 1.04 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 445 0 0 0 23662 10062 0 0 16 0 1 0 1781166540 2834432 415 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 415 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 337.27
Current children cumulated vsize (Kb) 4896

[startup+550.059 s]
Raw data (loadavg): 1.04 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 447 0 0 0 24157 10232 0 0 16 0 1 0 1781166540 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 417 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 343.92
Current children cumulated vsize (Kb) 4896

[startup+560.061 s]
Raw data (loadavg): 1.03 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 447 0 0 0 24720 10384 0 0 16 0 1 0 1781166540 2834432 417 4294967295 134512640 134702520 3221223952 3221223204 134564366 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 417 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 351.07
Current children cumulated vsize (Kb) 4896

[startup+570.061 s]
Raw data (loadavg): 1.10 1.09 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 449 0 0 0 25157 10568 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223344 134604421 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 357.28
Current children cumulated vsize (Kb) 4896

[startup+580.061 s]
Raw data (loadavg): 1.16 1.11 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 25484 10785 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 362.72
Current children cumulated vsize (Kb) 4896

[startup+590.062 s]
Raw data (loadavg): 1.14 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 25876 10979 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 368.58
Current children cumulated vsize (Kb) 4896

[startup+600.064 s]
Raw data (loadavg): 1.12 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 26282 11175 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 374.6
Current children cumulated vsize (Kb) 4896

[startup+610.065 s]
Raw data (loadavg): 1.17 1.11 1.05 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 26698 11366 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 380.67
Current children cumulated vsize (Kb) 4896

[startup+620.065 s]
Raw data (loadavg): 1.14 1.11 1.05 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 27104 11564 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 386.71
Current children cumulated vsize (Kb) 4896

[startup+630.066 s]
Raw data (loadavg): 1.12 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 27478 11776 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 392.57
Current children cumulated vsize (Kb) 4896

[startup+640.067 s]
Raw data (loadavg): 1.10 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 27931 11960 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 398.94
Current children cumulated vsize (Kb) 4896

[startup+650.069 s]
Raw data (loadavg): 1.09 1.10 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 449 0 0 0 28360 12147 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 405.1
Current children cumulated vsize (Kb) 4896

[startup+660.069 s]
Raw data (loadavg): 1.07 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 28869 12314 0 0 15 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 419 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 411.86
Current children cumulated vsize (Kb) 4896

[startup+670.07 s]
Raw data (loadavg): 1.06 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 451 0 0 0 29346 12488 0 0 16 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 421 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 418.37
Current children cumulated vsize (Kb) 4896

[startup+680.071 s]
Raw data (loadavg): 1.13 1.10 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 451 0 0 0 29810 12674 0 0 16 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223344 134603635 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 421 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 424.87
Current children cumulated vsize (Kb) 4896

[startup+690.072 s]
Raw data (loadavg): 1.11 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 451 0 0 0 30268 12853 0 0 15 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 421 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 431.24
Current children cumulated vsize (Kb) 4896

[startup+700.074 s]
Raw data (loadavg): 1.09 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 451 0 0 0 30819 13009 0 0 15 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 421 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 438.31
Current children cumulated vsize (Kb) 4896

[startup+710.074 s]
Raw data (loadavg): 1.08 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 453 0 0 0 31300 13181 0 0 15 0 1 0 1781166540 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 423 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 444.84
Current children cumulated vsize (Kb) 4896

[startup+720.074 s]
Raw data (loadavg): 1.07 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 453 0 0 0 31822 13344 0 0 16 0 1 0 1781166540 2834432 423 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 423 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 451.69
Current children cumulated vsize (Kb) 4896

[startup+730.076 s]
Raw data (loadavg): 1.06 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 453 0 0 0 32349 13501 0 0 16 0 1 0 1781166540 2834432 423 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 692 423 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 458.53
Current children cumulated vsize (Kb) 4896

[startup+740.077 s]
Raw data (loadavg): 1.05 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 454 0 0 0 32891 13658 0 0 16 0 1 0 1781166540 2834432 424 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 692 424 413 48 0 644 0
[pid=15311] vsize: 2768
Current children cumulated CPU time (s) 465.52
Current children cumulated vsize (Kb) 4896

[startup+750.077 s]
Raw data (loadavg): 1.04 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 459 0 0 0 33420 13811 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 429 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 472.34
Current children cumulated vsize (Kb) 5032

[startup+760.078 s]
Raw data (loadavg): 1.11 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 459 0 0 0 34007 13953 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 429 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 479.63
Current children cumulated vsize (Kb) 5032

[startup+770.079 s]
Raw data (loadavg): 1.09 1.09 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 459 0 0 0 34482 14131 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 429 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 486.16
Current children cumulated vsize (Kb) 5032

[startup+780.08 s]
Raw data (loadavg): 1.08 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 459 0 0 0 34943 14313 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223072 134574704 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 429 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 492.59
Current children cumulated vsize (Kb) 5032

[startup+790.081 s]
Raw data (loadavg): 1.06 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 459 0 0 0 35459 14484 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 429 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 499.46
Current children cumulated vsize (Kb) 5032

[startup+800.082 s]
Raw data (loadavg): 1.05 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 35970 14648 0 0 16 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 431 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 506.21
Current children cumulated vsize (Kb) 5032

[startup+810.083 s]
Raw data (loadavg): 1.04 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 36531 14795 0 0 16 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 431 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 513.29
Current children cumulated vsize (Kb) 5032

[startup+820.083 s]
Raw data (loadavg): 1.04 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 461 0 0 0 37035 14965 0 0 16 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 431 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 520.03
Current children cumulated vsize (Kb) 5032

[startup+830.084 s]
Raw data (loadavg): 1.03 1.07 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 37593 15113 0 0 15 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 431 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 527.09
Current children cumulated vsize (Kb) 5032

[startup+840.084 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 38095 15285 0 0 15 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 431 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 533.83
Current children cumulated vsize (Kb) 5032

[startup+850.086 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 465 0 0 0 38679 15425 0 0 15 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 435 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 541.07
Current children cumulated vsize (Kb) 5032

[startup+860.087 s]
Raw data (loadavg): 1.07 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 465 0 0 0 39270 15564 0 0 16 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 435 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 548.37
Current children cumulated vsize (Kb) 5032

[startup+870.088 s]
Raw data (loadavg): 1.06 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 465 0 0 0 39779 15728 0 0 16 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 435 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 555.1
Current children cumulated vsize (Kb) 5032

[startup+880.09 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 465 0 0 0 40342 15879 0 0 16 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 435 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 562.24
Current children cumulated vsize (Kb) 5032

[startup+890.09 s]
Raw data (loadavg): 1.12 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 465 0 0 0 40824 16051 0 0 15 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 435 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 568.78
Current children cumulated vsize (Kb) 5032

[startup+900.092 s]
Raw data (loadavg): 1.10 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 41403 16193 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 437 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 575.99
Current children cumulated vsize (Kb) 5032

[startup+910.094 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 467 0 0 0 41911 16357 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223072 134588287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 437 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 582.71
Current children cumulated vsize (Kb) 5032

[startup+920.095 s]
Raw data (loadavg): 1.07 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 42473 16505 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 437 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 589.81
Current children cumulated vsize (Kb) 5032

[startup+930.096 s]
Raw data (loadavg): 1.14 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 43060 16646 0 0 15 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 437 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 597.09
Current children cumulated vsize (Kb) 5032

[startup+940.098 s]
Raw data (loadavg): 1.11 1.09 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 467 0 0 0 43557 16814 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 437 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 603.74
Current children cumulated vsize (Kb) 5032

[startup+950.099 s]
Raw data (loadavg): 1.10 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 44140 16957 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 437 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 611
Current children cumulated vsize (Kb) 5032

[startup+960.1 s]
Raw data (loadavg): 1.08 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 470 0 0 0 44658 17121 0 0 16 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 440 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 617.82
Current children cumulated vsize (Kb) 5032

[startup+970.101 s]
Raw data (loadavg): 1.07 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 470 0 0 0 45244 17262 0 0 16 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 440 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 625.09
Current children cumulated vsize (Kb) 5032

[startup+980.101 s]
Raw data (loadavg): 1.06 1.07 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 470 0 0 0 45850 17399 0 0 15 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 440 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 632.52
Current children cumulated vsize (Kb) 5032

[startup+990.102 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 470 0 0 0 46450 17544 0 0 16 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 440 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 639.97
Current children cumulated vsize (Kb) 5032

[startup+1000.1 s]
Raw data (loadavg): 1.04 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 472 0 0 0 46964 17701 0 0 16 0 1 0 1781166540 2973696 442 4294967295 134512640 134702520 3221223952 3221223232 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 442 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 646.68
Current children cumulated vsize (Kb) 5032

[startup+1010.1 s]
Raw data (loadavg): 1.03 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 474 0 0 0 47533 17844 0 0 16 0 1 0 1781166540 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 444 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 653.8
Current children cumulated vsize (Kb) 5032

[startup+1020.11 s]
Raw data (loadavg): 1.03 1.06 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 474 0 0 0 48139 17980 0 0 16 0 1 0 1781166540 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 726 444 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 661.22
Current children cumulated vsize (Kb) 5032

[startup+1030.11 s]
Raw data (loadavg): 1.10 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 474 0 0 0 48652 18149 0 0 15 0 1 0 1781166540 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 444 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 668.04
Current children cumulated vsize (Kb) 5032

[startup+1040.11 s]
Raw data (loadavg): 1.08 1.07 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 476 0 0 0 49237 18288 0 0 16 0 1 0 1781166540 2973696 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 446 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 675.28
Current children cumulated vsize (Kb) 5032

[startup+1050.11 s]
Raw data (loadavg): 1.07 1.07 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 480 0 0 0 49854 18419 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 450 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 682.76
Current children cumulated vsize (Kb) 5032

[startup+1060.11 s]
Raw data (loadavg): 1.06 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 480 0 0 0 50347 18593 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223420 134657244 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 450 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 689.43
Current children cumulated vsize (Kb) 5032

[startup+1070.11 s]
Raw data (loadavg): 1.13 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 480 0 0 0 50926 18738 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 450 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 696.67
Current children cumulated vsize (Kb) 5032

[startup+1080.12 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 480 0 0 0 51520 18874 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 726 450 413 48 0 678 0
[pid=15311] vsize: 2904
Current children cumulated CPU time (s) 703.97
Current children cumulated vsize (Kb) 5032

[startup+1090.12 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 785 0 0 0 52174 18997 0 0 16 0 1 0 1781166540 4243456 755 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 1036 755 413 48 0 988 0
[pid=15311] vsize: 4144
Current children cumulated CPU time (s) 711.74
Current children cumulated vsize (Kb) 6272

[startup+1100.13 s]
Raw data (loadavg): 1.08 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1081 0 0 0 53045 19044 0 0 17 0 1 0 1781166540 5505024 1051 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 1344 1051 413 48 0 1296 0
[pid=15311] vsize: 5376
Current children cumulated CPU time (s) 720.92
Current children cumulated vsize (Kb) 7504

[startup+1110.13 s]
Raw data (loadavg): 1.06 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1240 0 0 0 53802 19126 0 0 16 0 1 0 1781166540 6135808 1210 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 1498 1210 413 48 0 1450 0
[pid=15311] vsize: 5992
Current children cumulated CPU time (s) 729.31
Current children cumulated vsize (Kb) 8120

[startup+1120.13 s]
Raw data (loadavg): 1.05 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1287 0 0 0 54687 19166 0 0 16 0 1 0 1781166540 6279168 1257 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 1533 1257 413 48 0 1485 0
[pid=15311] vsize: 6132
Current children cumulated CPU time (s) 738.56
Current children cumulated vsize (Kb) 8260

[startup+1130.13 s]
Raw data (loadavg): 1.12 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1608 0 0 0 55601 19200 0 0 18 0 1 0 1781166540 7655424 1578 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 1869 1578 413 48 0 1821 0
[pid=15311] vsize: 7476
Current children cumulated CPU time (s) 748.04
Current children cumulated vsize (Kb) 9604

[startup+1140.13 s]
Raw data (loadavg): 1.11 1.08 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 1848 0 0 0 56534 19224 0 0 19 0 1 0 1781166540 8663040 1818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 2115 1818 413 48 0 2067 0
[pid=15311] vsize: 8460
Current children cumulated CPU time (s) 757.61
Current children cumulated vsize (Kb) 10588

[startup+1150.13 s]
Raw data (loadavg): 1.09 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1927 0 0 0 57473 19245 0 0 25 0 1 0 1781166540 9080832 1897 4294967295 134512640 134702520 3221223952 3221223344 134604364 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 2217 1897 413 48 0 2169 0
[pid=15311] vsize: 8868
Current children cumulated CPU time (s) 767.21
Current children cumulated vsize (Kb) 10996

[startup+1160.13 s]
Raw data (loadavg): 1.07 1.07 1.04 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2171 0 0 0 58409 19268 0 0 25 0 1 0 1781166540 10043392 2141 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 2452 2141 413 48 0 2404 0
[pid=15311] vsize: 9808
Current children cumulated CPU time (s) 776.8
Current children cumulated vsize (Kb) 11936

[startup+1170.13 s]
Raw data (loadavg): 1.06 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2373 0 0 0 59357 19287 0 0 18 0 1 0 1781166540 10887168 2343 4294967295 134512640 134702520 3221223952 3221223204 134564366 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 2658 2343 413 48 0 2610 0
[pid=15311] vsize: 10632
Current children cumulated CPU time (s) 786.47
Current children cumulated vsize (Kb) 12760

[startup+1180.13 s]
Raw data (loadavg): 1.05 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2566 0 0 0 60307 19307 0 0 25 0 1 0 1781166540 11788288 2536 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 2878 2536 413 48 0 2830 0
[pid=15311] vsize: 11512
Current children cumulated CPU time (s) 796.17
Current children cumulated vsize (Kb) 13640

[startup+1190.13 s]
Raw data (loadavg): 1.04 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2790 0 0 0 61254 19325 0 0 25 0 1 0 1781166540 12771328 2760 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 3118 2760 413 48 0 3070 0
[pid=15311] vsize: 12472
Current children cumulated CPU time (s) 805.82
Current children cumulated vsize (Kb) 14600

[startup+1200.13 s]
Raw data (loadavg): 1.04 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2991 0 0 0 62207 19343 0 0 25 0 1 0 1781166540 13660160 2961 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 3335 2961 413 48 0 3287 0
[pid=15311] vsize: 13340
Current children cumulated CPU time (s) 815.53
Current children cumulated vsize (Kb) 15468

[startup+1210.14 s]
Raw data (loadavg): 1.03 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3147 0 0 0 63161 19360 0 0 25 0 1 0 1781166540 14221312 3117 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 3472 3117 413 48 0 3424 0
[pid=15311] vsize: 13888
Current children cumulated CPU time (s) 825.24
Current children cumulated vsize (Kb) 16016

[startup+1220.14 s]
Raw data (loadavg): 1.03 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3353 0 0 0 64110 19379 0 0 20 0 1 0 1781166540 15192064 3323 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 3709 3323 413 48 0 3661 0
[pid=15311] vsize: 14836
Current children cumulated CPU time (s) 834.92
Current children cumulated vsize (Kb) 16964

[startup+1230.14 s]
Raw data (loadavg): 1.09 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3494 0 0 0 65073 19391 0 0 25 0 1 0 1781166540 15798272 3464 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 3857 3464 413 48 0 3809 0
[pid=15311] vsize: 15428
Current children cumulated CPU time (s) 844.67
Current children cumulated vsize (Kb) 17556

[startup+1240.14 s]
Raw data (loadavg): 1.08 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 3501 0 0 0 66045 19401 0 0 22 0 1 0 1781166540 15798272 3471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 3857 3471 413 48 0 3809 0
[pid=15311] vsize: 15428
Current children cumulated CPU time (s) 854.49
Current children cumulated vsize (Kb) 17556

[startup+1250.14 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 3506 0 0 0 66998 19418 0 0 17 0 1 0 1781166540 15798272 3476 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 3857 3476 413 48 0 3809 0
[pid=15311] vsize: 15428
Current children cumulated CPU time (s) 864.19
Current children cumulated vsize (Kb) 17556

[startup+1260.14 s]
Raw data (loadavg): 1.06 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3623 0 0 0 67956 19435 0 0 25 0 1 0 1781166540 16224256 3593 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 3961 3593 413 48 0 3913 0
[pid=15311] vsize: 15844
Current children cumulated CPU time (s) 873.94
Current children cumulated vsize (Kb) 17972

[startup+1270.14 s]
Raw data (loadavg): 1.05 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3774 0 0 0 68917 19448 0 0 25 0 1 0 1781166540 16936960 3744 4294967295 134512640 134702520 3221223952 3221223344 134604336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4135 3744 413 48 0 4087 0
[pid=15311] vsize: 16540
Current children cumulated CPU time (s) 883.68
Current children cumulated vsize (Kb) 18668

[startup+1280.14 s]
Raw data (loadavg): 1.04 1.06 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3940 0 0 0 69868 19464 0 0 25 0 1 0 1781166540 17625088 3910 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4303 3910 413 48 0 4255 0
[pid=15311] vsize: 17212
Current children cumulated CPU time (s) 893.35
Current children cumulated vsize (Kb) 19340

[startup+1290.14 s]
Raw data (loadavg): 1.03 1.05 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4065 0 0 0 70832 19476 0 0 25 0 1 0 1781166540 18219008 4035 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4448 4035 413 48 0 4400 0
[pid=15311] vsize: 17792
Current children cumulated CPU time (s) 903.11
Current children cumulated vsize (Kb) 19920

[startup+1300.14 s]
Raw data (loadavg): 1.03 1.05 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4138 0 0 0 71810 19482 0 0 25 0 1 0 1781166540 18497536 4108 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4516 4108 413 48 0 4468 0
[pid=15311] vsize: 18064
Current children cumulated CPU time (s) 912.95
Current children cumulated vsize (Kb) 20192

[startup+1310.14 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4142 0 0 0 72778 19493 0 0 25 0 1 0 1781166540 18497536 4112 4294967295 134512640 134702520 3221223952 3221223232 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4516 4112 413 48 0 4468 0
[pid=15311] vsize: 18064
Current children cumulated CPU time (s) 922.74
Current children cumulated vsize (Kb) 20192

[startup+1320.14 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4147 0 0 0 73748 19504 0 0 25 0 1 0 1781166540 18497536 4117 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4516 4117 413 48 0 4468 0
[pid=15311] vsize: 18064
Current children cumulated CPU time (s) 932.55
Current children cumulated vsize (Kb) 20192

[startup+1330.15 s]
Raw data (loadavg): 1.02 1.05 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4191 0 0 0 74711 19517 0 0 18 0 1 0 1781166540 18644992 4161 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4552 4161 413 48 0 4504 0
[pid=15311] vsize: 18208
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (Kb) 20336

[startup+1340.15 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4247 0 0 0 75691 19526 0 0 25 0 1 0 1781166540 18944000 4217 4294967295 134512640 134702520 3221223952 3221223336 134609929 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4625 4217 413 48 0 4577 0
[pid=15311] vsize: 18500
Current children cumulated CPU time (s) 952.2
Current children cumulated vsize (Kb) 20628

[startup+1350.15 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4248 0 0 0 76663 19535 0 0 25 0 1 0 1781166540 18849792 4217 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4602 4217 413 48 0 4554 0
[pid=15311] vsize: 18408
Current children cumulated CPU time (s) 962.01
Current children cumulated vsize (Kb) 20536

[startup+1360.15 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4266 0 0 0 77627 19548 0 0 25 0 1 0 1781166540 19001344 4235 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4639 4235 413 48 0 4591 0
[pid=15311] vsize: 18556
Current children cumulated CPU time (s) 971.78
Current children cumulated vsize (Kb) 20684

[startup+1370.15 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4386 0 0 0 78590 19564 0 0 25 0 1 0 1781166540 19406848 4355 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4738 4355 413 48 0 4690 0
[pid=15311] vsize: 18952
Current children cumulated CPU time (s) 981.57
Current children cumulated vsize (Kb) 21080

[startup+1380.15 s]
Raw data (loadavg): 1.00 1.04 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4499 0 0 0 79558 19576 0 0 25 0 1 0 1781166540 19976192 4468 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4877 4468 413 48 0 4829 0
[pid=15311] vsize: 19508
Current children cumulated CPU time (s) 991.37
Current children cumulated vsize (Kb) 21636

[startup+1390.15 s]
Raw data (loadavg): 1.00 1.03 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 80452 19613 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1000.68
Current children cumulated vsize (Kb) 21804

[startup+1400.15 s]
Raw data (loadavg): 1.08 1.05 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 81067 19745 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1008.15
Current children cumulated vsize (Kb) 21804

[startup+1410.15 s]
Raw data (loadavg): 1.06 1.05 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 81604 19905 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1015.12
Current children cumulated vsize (Kb) 21804

[startup+1420.15 s]
Raw data (loadavg): 1.05 1.04 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 82211 20043 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1022.57
Current children cumulated vsize (Kb) 21804

[startup+1430.16 s]
Raw data (loadavg): 1.05 1.04 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 82800 20183 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1029.86
Current children cumulated vsize (Kb) 21804

[startup+1440.16 s]
Raw data (loadavg): 1.04 1.04 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 83292 20355 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1036.5
Current children cumulated vsize (Kb) 21804

[startup+1450.16 s]
Raw data (loadavg): 1.11 1.06 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 83876 20498 0 0 15 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1043.77
Current children cumulated vsize (Kb) 21804

[startup+1460.16 s]
Raw data (loadavg): 1.09 1.05 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 84470 20635 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1051.08
Current children cumulated vsize (Kb) 21804

[startup+1470.16 s]
Raw data (loadavg): 1.15 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 84962 20810 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1057.75
Current children cumulated vsize (Kb) 21804

[startup+1480.16 s]
Raw data (loadavg): 1.13 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 85526 20962 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1064.91
Current children cumulated vsize (Kb) 21804

[startup+1490.16 s]
Raw data (loadavg): 1.11 1.06 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 86099 21104 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1072.06
Current children cumulated vsize (Kb) 21804

[startup+1500.16 s]
Raw data (loadavg): 1.09 1.06 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 86632 21257 0 0 15 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1078.92
Current children cumulated vsize (Kb) 21804

[startup+1510.16 s]
Raw data (loadavg): 1.08 1.06 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 87217 21397 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223232 134557238 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1086.17
Current children cumulated vsize (Kb) 21804

[startup+1520.16 s]
Raw data (loadavg): 1.14 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 87772 21551 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1093.26
Current children cumulated vsize (Kb) 21804

[startup+1530.16 s]
Raw data (loadavg): 1.12 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 88261 21720 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1099.84
Current children cumulated vsize (Kb) 21804

[startup+1540.16 s]
Raw data (loadavg): 1.10 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 88863 21856 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1107.22
Current children cumulated vsize (Kb) 21804

[startup+1550.16 s]
Raw data (loadavg): 1.08 1.06 1.02 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 89452 22001 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223232 134551020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1114.56
Current children cumulated vsize (Kb) 21804

[startup+1560.17 s]
Raw data (loadavg): 1.07 1.06 1.02 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 90052 22140 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (Kb) 21804

[startup+1570.17 s]
Raw data (loadavg): 1.14 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 90549 22315 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1128.67
Current children cumulated vsize (Kb) 21804

[startup+1580.17 s]
Raw data (loadavg): 1.12 1.07 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 91129 22457 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223344 134605720 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1135.89
Current children cumulated vsize (Kb) 21804

[startup+1590.17 s]
Raw data (loadavg): 1.10 1.07 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 91735 22591 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1143.29
Current children cumulated vsize (Kb) 21804

[startup+1600.17 s]
Raw data (loadavg): 1.16 1.08 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 92280 22743 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1150.26
Current children cumulated vsize (Kb) 21804

[startup+1610.17 s]
Raw data (loadavg): 1.14 1.08 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 92869 22883 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1157.55
Current children cumulated vsize (Kb) 21804

[startup+1620.17 s]
Raw data (loadavg): 1.19 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 93449 23028 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1164.8
Current children cumulated vsize (Kb) 21804

[startup+1630.17 s]
Raw data (loadavg): 1.16 1.09 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 94055 23162 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1172.2
Current children cumulated vsize (Kb) 21804

[startup+1640.17 s]
Raw data (loadavg): 1.22 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 94684 23291 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1179.78
Current children cumulated vsize (Kb) 21804

[startup+1650.17 s]
Raw data (loadavg): 1.18 1.10 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 95203 23459 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1186.65
Current children cumulated vsize (Kb) 21804

[startup+1660.17 s]
Raw data (loadavg): 1.15 1.09 1.04 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 95813 23592 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1194.08
Current children cumulated vsize (Kb) 21804

[startup+1670.17 s]
Raw data (loadavg): 1.13 1.09 1.03 2/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 96391 23732 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223344 134604438 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1201.26
Current children cumulated vsize (Kb) 21804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1670.18 s]
Raw data (loadavg): 1.13 1.09 1.03 1/57 15311
Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15308/statm): 532 242 485 147 0 385 0
[pid=15308] vsize: 2128
Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 96391 23732 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0
[pid=15311] vsize: 19676
Current children cumulated CPU time (s) 1201.26
Current children cumulated vsize (Kb) 21804

Sending SIGTERM to -15308
Sleeping 2 seconds
New process pid=15313
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=15314
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
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
One traced child (pid=15311) exited with status: 3
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15266/stat
open syscall for file /proc/15266/status
open syscall for file /proc/15266/cmdline
open syscall for file /proc/15266/environ
open syscall for file /proc/27911/stat
open syscall for file /proc/27911/status
open syscall for file /proc/27911/cmdline
open syscall for file /proc/27911/environ
open syscall for file /proc/27938/stat
open syscall for file /proc/27938/status
open syscall for file /proc/27938/cmdline
open syscall for file /proc/27938/environ
open syscall for file /proc/27962/stat
open syscall for file /proc/27962/status
open syscall for file /proc/27962/cmdline
open syscall for file /proc/27962/environ
open syscall for file /proc/10488/stat
open syscall for file /proc/10488/status
open syscall for file /proc/10488/cmdline
open syscall for file /proc/10488/environ
open syscall for file /proc/10750/stat
open syscall for file /proc/10750/status
open syscall for file /proc/10750/cmdline
open syscall for file /proc/10750/environ
open syscall for file /proc/30349/stat
open syscall for file /proc/30349/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/30349/cmdline
open syscall for file /proc/30349/environ
open syscall for file /proc/30384/stat
open syscall for file /proc/30384/status
open syscall for file /proc/30384/cmdline
open syscall for file /proc/30384/environ
open syscall for file /proc/27660/stat
open syscall for file /proc/27660/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/27660/cmdline
open syscall for file /proc/27660/environ
open syscall for file /proc/27661/stat
open syscall for file /proc/27661/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/27661/cmdline
open syscall for file /proc/27661/environ
open syscall for file /proc/27670/stat
open syscall for file /proc/27670/status
open syscall for file /proc/27670/cmdline
open syscall for file /proc/27670/environ
open syscall for file /proc/15271/stat
open syscall for file /proc/15271/status
open syscall for file /proc/15271/cmdline
open syscall for file /proc/15271/environ
open syscall for file /proc/15307/stat
open syscall for file /proc/15307/status
open syscall for file /proc/15307/cmdline
open syscall for file /proc/15307/environ
open syscall for file /proc/15308/stat
open syscall for file /proc/15308/status
open syscall for file /proc/15308/cmdline
open syscall for file /proc/15308/environ
open syscall for file /proc/15313/stat
open syscall for file /proc/15313/status
open syscall for file /proc/15313/cmdline
open syscall for file /proc/15313/environ
open syscall for file /proc/15314/stat
open syscall for file /proc/15314/status
open syscall for file /proc/15314/cmdline
open syscall for file /proc/15314/environ
One traced child (pid=15313) exited with status: 0
One traced child (pid=15314) exited with status: 0
New process pid=15315
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=15315) exited with status: 0
New process pid=15316
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=15316) exited with status: 0
New process pid=15317
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=15317) exited with status: 0
New process pid=15318
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=15318) exited with status: 0
One traced child (pid=15308) 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): 1670.73
CPU time (s): 1201.41
CPU user time (s): 963.961
CPU system time (s): 237.448
CPU usage (%): 71.9092
Max. virtual memory (cumulated for all children) (Kb): 21804

Verifier Data

ERROR: no interpretation found !