Some explanations

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

General information on the benchmark

Namesubmitted/een/normalized-p0201.opb
MD5SUMff4eb45c2603a47e5b79b2649e926ba4
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark221.9
Number of variables195
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint65

Trace number 3560

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-19 01:35:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7313 boxname=wulflinc5 idbench=281 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc5/normalized-p0201.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc5/normalized-p0201.opb 0
IDLAUNCH: 7313
/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:        907784 kB
Buffers:         34836 kB
Cached:          68492 kB
SwapCached:        780 kB
Active:          65276 kB
Inactive:        40704 kB
HighTotal:      131008 kB
HighFree:        58940 kB
LowTotal:       903652 kB
LowFree:        848844 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15292 kB
Committed_AS:    64300 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:02:31 (client local time) WITH STATUS 0 IN 1206.35 SECONDS
stats: 7313 7 1206.35 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 15;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17965 (2014:>=*);
#decisions: 14;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17977 (2002:>=*);
#decisions: 13;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17980 (1999:>=*);
#decisions: 15;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  17997 (1982:>=*);
#decisions: 12;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18000 (1979:>=*);
#decisions: 671;  #end-nodes: 333;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 191 / 245 (80)
#axs: 134, #non-axs: 34
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:  18006 (1973:>=*);
#decisions: 26;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 34
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:  18011 (1968:>=*);
#decisions: 19;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 34
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:  18026 (1953:>=*);
#decisions: 29;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 34
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:  18046 (1933:>=*);
#decisions: 21;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 34
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:  18056 (1923:>=*);
#decisions: 52;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 134, #non-axs: 35
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:  18071 (1908:>=*);
#decisions: 38;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 134, #non-axs: 35
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:  18091 (1888:>=*);
#decisions: 1084;  #end-nodes: 580;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 77 / 94 (81)
#axs: 134, #non-axs: 154
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18108 (1871:>=*);
#decisions: 140;  #end-nodes: 86;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 86 / 90 (80)
#axs: 134, #non-axs: 157
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:  18114 (1865:>=*);
#decisions: 38;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 81 (80)
#axs: 134, #non-axs: 158
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:  18124 (1855:>=*);
#decisions: 54;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 82 (80)
#axs: 134, #non-axs: 160
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:  18139 (1840:>=*);
#decisions: 41;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 134, #non-axs: 160
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:  18149 (1830:>=*);
#decisions: 24;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 160
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:  18159 (1820:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 160
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:  18169 (1810:>=*);
#decisions: 35;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 134, #non-axs: 160
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:  18174 (1805:>=*);
#decisions: 25;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 160
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:  18184 (1795:>=*);
#decisions: 106;  #end-nodes: 79;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 79 / 80 (80)
#axs: 134, #non-axs: 162
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:  18191 (1788:>=*);
#decisions: 49;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 82 (80)
#axs: 134, #non-axs: 164
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:  18211 (1768:>=*);
#decisions: 43;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 134, #non-axs: 164
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:  18221 (1758:>=*);
#decisions: 6794;  #end-nodes: 3639;
#proof improvement attempts: 0;  #restarts: 35
Current batch, end-nodes: 14 / 90 (88)
#axs: 134, #non-axs: 360
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:  18222 (1757:>=*);
#decisions: 34;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 134, #non-axs: 360
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:  18225 (1754:>=*);
#decisions: 27;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 360
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:  18227 (1752:>=*);
#decisions: 30;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 134, #non-axs: 360
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:  18237 (1742:>=*);
#decisions: 37;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 134, #non-axs: 362
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:  18242 (1737:>=*);
#decisions: 33;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 134, #non-axs: 364
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:  18247 (1732:>=*);
#decisions: 31;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 365
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:  18257 (1722:>=*);
#decisions: 41;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 134, #non-axs: 369
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:  18260 (1719:>=*);
#decisions: 35;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 134, #non-axs: 371
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:  18270 (1709:>=*);
#decisions: 35;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 134, #non-axs: 371
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:  18282 (1697:>=*);
#decisions: 86;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 82 (80)
#axs: 134, #non-axs: 373
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:  18302 (1677:>=*);
#decisions: 32314;  #end-nodes: 21287;
#proof improvement attempts: 0;  #restarts: 188
Current batch, end-nodes: 116 / 127 (127)
#axs: 134, #non-axs: 447
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18311 (1668:>=*);
#decisions: 64;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 134, #non-axs: 447
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18316 (1663:>=*);
#decisions: 79;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 81 (80)
#axs: 134, #non-axs: 448
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18324 (1655:>=*);
#decisions: 66;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 134, #non-axs: 448
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18326 (1653:>=*);
#decisions: 57;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 134, #non-axs: 448
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18336 (1643:>=*);
#decisions: 180873;  #end-nodes: 136113;
#proof improvement attempts: 0;  #restarts: 757
Current batch, end-nodes: 74 / 274 (269)
#axs: 134, #non-axs: 943
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18346 (1633:>=*);
#decisions: 31;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 943
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18356 (1623:>=*);
#decisions: 1000543;  #end-nodes: 813607;
#proof improvement attempts: 0;  #restarts: 2243
Current batch, end-nodes: 21 / 640 (640)
#axs: 134, #non-axs: 6352
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  18359 (1620:>=*);
#decisions: 959295;  #end-nodes: 769854;
#proof improvement attempts: 0;  #restarts: 2179
Current batch, end-nodes: 470 / 624 (624)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 45
Model found with constant:  18364 (1615:>=*);
#decisions: 25;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 45
Model found with constant:  18372 (1607:>=*);
#decisions: 22;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 45
Model found with constant:  18384 (1595:>=*);
#decisions: 25;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 45
Model found with constant:  18394 (1585:>=*);
#decisions: 30;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 45
Model found with constant:  18404 (1575:>=*);
#decisions: 63;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 45
Model found with constant:  18416 (1563:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 18416 (1563:>=*)

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: 1  (#equs: 0)
Time taken: 20 min, 6 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/15320/stat): 15320 (vallstSAT2005PB) R 15319 15320 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787755730 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15320/statm): 174 3 169 147 0 27 0
[pid=15320] 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=15321
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=15321) exited with status: 0
New process pid=15322
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=15322) exited with status: 0
New process pid=15323
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/wulflinc5/normalized-p0201.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0041 s]
Raw data (loadavg): 0.93 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 257 0 0 0 423 181 0 0 18 0 1 0 1787755737 2342912 227 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 227 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (Kb) 4416

[startup+20.0049 s]
Raw data (loadavg): 0.94 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 261 0 0 0 977 331 0 0 17 0 1 0 1787755737 2342912 231 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 231 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (Kb) 4416

[startup+30.0056 s]
Raw data (loadavg): 0.95 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 272 0 0 0 1537 477 0 0 17 0 1 0 1787755737 2342912 242 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 242 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 20.17
Current children cumulated vsize (Kb) 4416

[startup+40.0064 s]
Raw data (loadavg): 0.95 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 275 0 0 0 2113 614 0 0 18 0 1 0 1787755737 2342912 245 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 245 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 27.3
Current children cumulated vsize (Kb) 4416

[startup+50.0081 s]
Raw data (loadavg): 0.96 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 275 0 0 0 2668 760 0 0 18 0 1 0 1787755737 2342912 245 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 245 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 34.31
Current children cumulated vsize (Kb) 4416

[startup+60.0089 s]
Raw data (loadavg): 0.97 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 277 0 0 0 3242 900 0 0 17 0 1 0 1787755737 2342912 247 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 247 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 41.45
Current children cumulated vsize (Kb) 4416

[startup+70.0096 s]
Raw data (loadavg): 0.97 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 282 0 0 0 3812 1046 0 0 18 0 1 0 1787755737 2342912 252 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 252 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (Kb) 4416

[startup+80.0113 s]
Raw data (loadavg): 0.97 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 284 0 0 0 4370 1190 0 0 17 0 1 0 1787755737 2342912 254 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 254 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 55.63
Current children cumulated vsize (Kb) 4416

[startup+90.0121 s]
Raw data (loadavg): 0.98 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 328 0 0 0 4956 1323 0 0 18 0 1 0 1787755737 2342912 298 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 298 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 62.82
Current children cumulated vsize (Kb) 4416

[startup+100.013 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 329 0 0 0 5513 1466 0 0 18 0 1 0 1787755737 2342912 299 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 299 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 4416

[startup+110.014 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 332 0 0 0 6103 1602 0 0 17 0 1 0 1787755737 2342912 302 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 302 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 77.08
Current children cumulated vsize (Kb) 4416

[startup+120.014 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 332 0 0 0 6671 1749 0 0 17 0 1 0 1787755737 2342912 302 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 302 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 84.23
Current children cumulated vsize (Kb) 4416

[startup+130.015 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 335 0 0 0 7248 1890 0 0 17 0 1 0 1787755737 2473984 305 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 305 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 91.41
Current children cumulated vsize (Kb) 4544

[startup+140.016 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 338 0 0 0 7822 2035 0 0 18 0 1 0 1787755737 2473984 308 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 308 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (Kb) 4544

[startup+150.018 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 340 0 0 0 8392 2173 0 0 17 0 1 0 1787755737 2473984 310 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 310 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (Kb) 4544

[startup+160.018 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 343 0 0 0 8994 2308 0 0 18 0 1 0 1787755737 2473984 313 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 313 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 113.05
Current children cumulated vsize (Kb) 4544

[startup+170.019 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 343 0 0 0 9580 2449 0 0 18 0 1 0 1787755737 2473984 313 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 313 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 120.32
Current children cumulated vsize (Kb) 4544

[startup+180.02 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 10129 2598 0 0 18 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 127.3
Current children cumulated vsize (Kb) 4544

[startup+190.02 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 10684 2748 0 0 17 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 134.35
Current children cumulated vsize (Kb) 4544

[startup+200.022 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 11246 2894 0 0 15 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 141.43
Current children cumulated vsize (Kb) 4544

[startup+210.023 s]
Raw data (loadavg): 0.99 1.01 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 11808 3042 0 0 16 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 148.53
Current children cumulated vsize (Kb) 4544

[startup+220.024 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 12397 3177 0 0 15 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 155.77
Current children cumulated vsize (Kb) 4544

[startup+230.024 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 12951 3329 0 0 15 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 162.83
Current children cumulated vsize (Kb) 4544

[startup+240.025 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 345 0 0 0 13530 3472 0 0 16 0 1 0 1787755737 2473984 315 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 315 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 4544

[startup+250.027 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 345 0 0 0 14101 3622 0 0 15 0 1 0 1787755737 2473984 315 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 315 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 177.26
Current children cumulated vsize (Kb) 4544

[startup+260.028 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 345 0 0 0 14667 3772 0 0 15 0 1 0 1787755737 2473984 315 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 315 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 184.42
Current children cumulated vsize (Kb) 4544

[startup+270.027 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 346 0 0 0 15263 3916 0 0 16 0 1 0 1787755737 2473984 316 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 316 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (Kb) 4544

[startup+280.028 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 347 0 0 0 15820 4066 0 0 16 0 1 0 1787755737 2473984 317 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 317 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 198.89
Current children cumulated vsize (Kb) 4544

[startup+290.029 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 348 0 0 0 16428 4198 0 0 15 0 1 0 1787755737 2473984 318 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 318 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 206.29
Current children cumulated vsize (Kb) 4544

[startup+300.03 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 348 0 0 0 16989 4348 0 0 15 0 1 0 1787755737 2473984 318 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 318 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 213.4
Current children cumulated vsize (Kb) 4544

[startup+310.03 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 351 0 0 0 17610 4477 0 0 15 0 1 0 1787755737 2473984 321 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 321 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 220.9
Current children cumulated vsize (Kb) 4544

[startup+320.031 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 352 0 0 0 18179 4623 0 0 15 0 1 0 1787755737 2473984 322 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 322 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 228.05
Current children cumulated vsize (Kb) 4544

[startup+330.032 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 355 0 0 0 18810 4749 0 0 15 0 1 0 1787755737 2473984 325 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 325 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 235.62
Current children cumulated vsize (Kb) 4544

[startup+340.033 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 356 0 0 0 19379 4888 0 0 15 0 1 0 1787755737 2473984 326 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 326 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 242.7
Current children cumulated vsize (Kb) 4544

[startup+350.034 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 358 0 0 0 19998 5018 0 0 15 0 1 0 1787755737 2473984 328 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 328 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 250.19
Current children cumulated vsize (Kb) 4544

[startup+360.035 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 358 0 0 0 20569 5161 0 0 16 0 1 0 1787755737 2473984 328 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 328 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 257.33
Current children cumulated vsize (Kb) 4544

[startup+370.036 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 361 0 0 0 21190 5286 0 0 15 0 1 0 1787755737 2473984 331 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 331 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 264.79
Current children cumulated vsize (Kb) 4544

[startup+380.037 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 361 0 0 0 21765 5435 0 0 15 0 1 0 1787755737 2473984 331 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 331 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 272.03
Current children cumulated vsize (Kb) 4544

[startup+390.037 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 364 0 0 0 22400 5557 0 0 16 0 1 0 1787755737 2473984 334 4294967295 134512640 134702520 3221223968 3221223188 134550182 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 334 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (Kb) 4544

[startup+400.039 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 365 0 0 0 22975 5703 0 0 16 0 1 0 1787755737 2473984 335 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 335 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 286.81
Current children cumulated vsize (Kb) 4544

[startup+410.04 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 366 0 0 0 23618 5823 0 0 16 0 1 0 1787755737 2609152 336 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 336 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 294.44
Current children cumulated vsize (Kb) 4676

[startup+420.04 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 367 0 0 0 24215 5960 0 0 15 0 1 0 1787755737 2609152 337 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 337 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 301.78
Current children cumulated vsize (Kb) 4676

[startup+430.041 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 368 0 0 0 24839 6090 0 0 15 0 1 0 1787755737 2609152 338 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 338 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 309.32
Current children cumulated vsize (Kb) 4676

[startup+440.042 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 369 0 0 0 25461 6218 0 0 16 0 1 0 1787755737 2609152 339 4294967295 134512640 134702520 3221223968 3221222736 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 339 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 316.82
Current children cumulated vsize (Kb) 4676

[startup+450.043 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 370 0 0 0 26059 6352 0 0 15 0 1 0 1787755737 2609152 340 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 340 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 324.14
Current children cumulated vsize (Kb) 4676

[startup+460.045 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 374 0 0 0 26730 6462 0 0 16 0 1 0 1787755737 2609152 344 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 344 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 331.95
Current children cumulated vsize (Kb) 4676

[startup+470.045 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 375 0 0 0 27296 6611 0 0 16 0 1 0 1787755737 2609152 345 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 345 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (Kb) 4676

[startup+480.046 s]
Raw data (loadavg): 1.12 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 376 0 0 0 27936 6733 0 0 16 0 1 0 1787755737 2609152 346 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 346 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 346.72
Current children cumulated vsize (Kb) 4676

[startup+490.047 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 377 0 0 0 28531 6872 0 0 15 0 1 0 1787755737 2609152 347 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 347 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 354.06
Current children cumulated vsize (Kb) 4676

[startup+500.049 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 379 0 0 0 29165 6996 0 0 16 0 1 0 1787755737 2609152 349 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 349 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 361.64
Current children cumulated vsize (Kb) 4676

[startup+510.049 s]
Raw data (loadavg): 1.07 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 381 0 0 0 29815 7111 0 0 15 0 1 0 1787755737 2609152 351 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 351 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 369.29
Current children cumulated vsize (Kb) 4676

[startup+520.05 s]
Raw data (loadavg): 1.06 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 381 0 0 0 30414 7252 0 0 15 0 1 0 1787755737 2609152 351 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 351 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 376.69
Current children cumulated vsize (Kb) 4676

[startup+530.052 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 383 0 0 0 31059 7373 0 0 15 0 1 0 1787755737 2609152 353 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 353 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 384.35
Current children cumulated vsize (Kb) 4676

[startup+540.053 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 383 0 0 0 31643 7515 0 0 15 0 1 0 1787755737 2609152 353 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 353 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 391.61
Current children cumulated vsize (Kb) 4676

[startup+550.054 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 385 0 0 0 32306 7626 0 0 16 0 1 0 1787755737 2609152 355 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 355 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 399.35
Current children cumulated vsize (Kb) 4676

[startup+560.056 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 387 0 0 0 32951 7746 0 0 16 0 1 0 1787755737 2609152 357 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 357 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 407
Current children cumulated vsize (Kb) 4676

[startup+570.056 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 387 0 0 0 33556 7880 0 0 15 0 1 0 1787755737 2609152 357 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 357 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 414.39
Current children cumulated vsize (Kb) 4676

[startup+580.056 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 389 0 0 0 34213 7996 0 0 15 0 1 0 1787755737 2609152 359 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 359 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 422.12
Current children cumulated vsize (Kb) 4676

[startup+590.057 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 389 0 0 0 34803 8131 0 0 16 0 1 0 1787755737 2609152 359 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 359 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 429.37
Current children cumulated vsize (Kb) 4676

[startup+600.059 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 393 0 0 0 35459 8250 0 0 15 0 1 0 1787755737 2609152 363 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 363 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 437.12
Current children cumulated vsize (Kb) 4676

[startup+610.061 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 396 0 0 0 36116 8362 0 0 15 0 1 0 1787755737 2609152 366 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 366 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 444.81
Current children cumulated vsize (Kb) 4676

[startup+620.061 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 396 0 0 0 36702 8507 0 0 16 0 1 0 1787755737 2609152 366 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 366 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 452.12
Current children cumulated vsize (Kb) 4676

[startup+630.062 s]
Raw data (loadavg): 1.08 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 398 0 0 0 37368 8620 0 0 16 0 1 0 1787755737 2609152 368 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 368 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (Kb) 4676

[startup+640.063 s]
Raw data (loadavg): 1.07 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 399 0 0 0 37993 8748 0 0 15 0 1 0 1787755737 2744320 369 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 670 369 413 48 0 622 0
[pid=15323] vsize: 2680
Current children cumulated CPU time (s) 467.44
Current children cumulated vsize (Kb) 4808

[startup+650.065 s]
Raw data (loadavg): 1.06 1.06 1.00 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 38629 8874 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222932 1074952478 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 475.06
Current children cumulated vsize (Kb) 5356

[startup+660.065 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 39237 9001 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 482.41
Current children cumulated vsize (Kb) 5356

[startup+670.066 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 39797 9152 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 489.52
Current children cumulated vsize (Kb) 5356

[startup+680.067 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 40368 9304 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 496.75
Current children cumulated vsize (Kb) 5356

[startup+690.068 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 40952 9448 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 504.03
Current children cumulated vsize (Kb) 5356

[startup+700.069 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 41521 9595 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 511.19
Current children cumulated vsize (Kb) 5356

[startup+710.07 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 42126 9734 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 518.63
Current children cumulated vsize (Kb) 5356

[startup+720.07 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 42698 9877 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 525.78
Current children cumulated vsize (Kb) 5356

[startup+730.072 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 43312 10007 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 533.22
Current children cumulated vsize (Kb) 5356

[startup+740.072 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 43880 10151 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 540.34
Current children cumulated vsize (Kb) 5356

[startup+750.073 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 44494 10284 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 547.81
Current children cumulated vsize (Kb) 5356

[startup+760.074 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 45061 10431 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 554.95
Current children cumulated vsize (Kb) 5356

[startup+770.075 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 45671 10563 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 562.37
Current children cumulated vsize (Kb) 5356

[startup+780.075 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 46248 10711 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 569.62
Current children cumulated vsize (Kb) 5356

[startup+790.076 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 46871 10841 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 577.15
Current children cumulated vsize (Kb) 5356

[startup+800.078 s]
Raw data (loadavg): 1.11 1.06 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 47451 10986 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 584.4
Current children cumulated vsize (Kb) 5356

[startup+810.078 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 48065 11116 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 591.84
Current children cumulated vsize (Kb) 5356

[startup+820.079 s]
Raw data (loadavg): 1.08 1.06 1.00 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 48652 11260 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223088 134578840 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 599.15
Current children cumulated vsize (Kb) 5356

[startup+830.081 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 49273 11393 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 606.69
Current children cumulated vsize (Kb) 5356

[startup+840.082 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 49855 11531 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 613.89
Current children cumulated vsize (Kb) 5356

[startup+850.083 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 50493 11654 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 621.5
Current children cumulated vsize (Kb) 5356

[startup+860.084 s]
Raw data (loadavg): 1.19 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 51075 11790 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 628.68
Current children cumulated vsize (Kb) 5356

[startup+870.085 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 51715 11912 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 636.3
Current children cumulated vsize (Kb) 5356

[startup+880.087 s]
Raw data (loadavg): 1.21 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 52293 12059 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 643.55
Current children cumulated vsize (Kb) 5356

[startup+890.087 s]
Raw data (loadavg): 1.18 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 52928 12182 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 651.13
Current children cumulated vsize (Kb) 5356

[startup+900.088 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 53509 12320 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 658.32
Current children cumulated vsize (Kb) 5356

[startup+910.089 s]
Raw data (loadavg): 1.13 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 54153 12440 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 665.96
Current children cumulated vsize (Kb) 5356

[startup+920.09 s]
Raw data (loadavg): 1.11 1.08 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 54759 12571 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 673.33
Current children cumulated vsize (Kb) 5356

[startup+930.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 55378 12704 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 680.85
Current children cumulated vsize (Kb) 5356

[startup+940.092 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 56015 12823 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 688.41
Current children cumulated vsize (Kb) 5356

[startup+950.093 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 56614 12959 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 695.76
Current children cumulated vsize (Kb) 5356

[startup+960.094 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 57268 13081 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 703.52
Current children cumulated vsize (Kb) 5356

[startup+970.095 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 57848 13221 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 710.72
Current children cumulated vsize (Kb) 5356

[startup+980.096 s]
Raw data (loadavg): 1.18 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 58495 13341 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 718.39
Current children cumulated vsize (Kb) 5356

[startup+990.097 s]
Raw data (loadavg): 1.15 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 59111 13474 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 725.88
Current children cumulated vsize (Kb) 5356

[startup+1000.1 s]
Raw data (loadavg): 1.13 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 59752 13596 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 733.51
Current children cumulated vsize (Kb) 5356

[startup+1010.1 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 60413 13715 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 741.31
Current children cumulated vsize (Kb) 5356

[startup+1020.1 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 60997 13859 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 748.59
Current children cumulated vsize (Kb) 5356

[startup+1030.1 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 61661 13972 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 756.36
Current children cumulated vsize (Kb) 5356

[startup+1040.1 s]
Raw data (loadavg): 1.13 1.09 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 62257 14109 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 763.69
Current children cumulated vsize (Kb) 5356

[startup+1050.1 s]
Raw data (loadavg): 1.11 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 62905 14230 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 771.38
Current children cumulated vsize (Kb) 5356

[startup+1060.1 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 63563 14351 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 779.17
Current children cumulated vsize (Kb) 5356

[startup+1070.1 s]
Raw data (loadavg): 1.08 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 64146 14487 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 786.36
Current children cumulated vsize (Kb) 5356

[startup+1080.1 s]
Raw data (loadavg): 1.06 1.08 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 64815 14599 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223248 134550688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 794.17
Current children cumulated vsize (Kb) 5356

[startup+1090.11 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 65446 14724 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 801.73
Current children cumulated vsize (Kb) 5356

[startup+1100.11 s]
Raw data (loadavg): 1.04 1.07 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 66068 14856 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 809.27
Current children cumulated vsize (Kb) 5356

[startup+1110.11 s]
Raw data (loadavg): 1.12 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 66732 14967 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 817.02
Current children cumulated vsize (Kb) 5356

[startup+1120.11 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 67306 15109 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 824.18
Current children cumulated vsize (Kb) 5356

[startup+1130.11 s]
Raw data (loadavg): 1.16 1.10 1.02 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 67990 15221 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223228 134549068 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 832.14
Current children cumulated vsize (Kb) 5356

[startup+1140.11 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 68637 15339 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 839.79
Current children cumulated vsize (Kb) 5632

[startup+1150.11 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 69196 15493 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 846.92
Current children cumulated vsize (Kb) 5632

[startup+1160.11 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 69803 15625 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 854.31
Current children cumulated vsize (Kb) 5632

[startup+1170.11 s]
Raw data (loadavg): 1.13 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 70367 15772 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 861.42
Current children cumulated vsize (Kb) 5632

[startup+1180.11 s]
Raw data (loadavg): 1.11 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 70966 15906 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 868.75
Current children cumulated vsize (Kb) 5632

[startup+1190.11 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 71552 16044 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 875.99
Current children cumulated vsize (Kb) 5632

[startup+1200.11 s]
Raw data (loadavg): 1.08 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 72136 16184 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 883.23
Current children cumulated vsize (Kb) 5632

[startup+1210.12 s]
Raw data (loadavg): 1.07 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 72732 16323 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 890.58
Current children cumulated vsize (Kb) 5632

[startup+1220.12 s]
Raw data (loadavg): 1.14 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 73316 16461 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 897.8
Current children cumulated vsize (Kb) 5632

[startup+1230.12 s]
Raw data (loadavg): 1.19 1.11 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 73923 16597 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 905.23
Current children cumulated vsize (Kb) 5632

[startup+1240.12 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 74496 16737 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 912.36
Current children cumulated vsize (Kb) 5632

[startup+1250.12 s]
Raw data (loadavg): 1.13 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 75119 16867 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 919.89
Current children cumulated vsize (Kb) 5632

[startup+1260.12 s]
Raw data (loadavg): 1.19 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 75692 17021 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 927.16
Current children cumulated vsize (Kb) 5632

[startup+1270.12 s]
Raw data (loadavg): 1.16 1.11 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 76321 17147 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 934.71
Current children cumulated vsize (Kb) 5632

[startup+1280.12 s]
Raw data (loadavg): 1.22 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 76893 17293 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (Kb) 5632

[startup+1290.12 s]
Raw data (loadavg): 1.26 1.13 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 77518 17421 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 949.42
Current children cumulated vsize (Kb) 5632

[startup+1300.12 s]
Raw data (loadavg): 1.22 1.13 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 78093 17566 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 956.62
Current children cumulated vsize (Kb) 5632

[startup+1310.12 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 78729 17690 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 964.22
Current children cumulated vsize (Kb) 5632

[startup+1320.13 s]
Raw data (loadavg): 1.16 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 79315 17829 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 971.47
Current children cumulated vsize (Kb) 5632

[startup+1330.13 s]
Raw data (loadavg): 1.13 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 79957 17952 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 979.12
Current children cumulated vsize (Kb) 5632

[startup+1340.13 s]
Raw data (loadavg): 1.11 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 80547 18092 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 986.42
Current children cumulated vsize (Kb) 5632

[startup+1350.13 s]
Raw data (loadavg): 1.10 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 81170 18222 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 993.95
Current children cumulated vsize (Kb) 5632

[startup+1360.13 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 81781 18361 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1001.45
Current children cumulated vsize (Kb) 5632

[startup+1370.13 s]
Raw data (loadavg): 1.07 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 82398 18487 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1008.88
Current children cumulated vsize (Kb) 5632

[startup+1380.13 s]
Raw data (loadavg): 1.06 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 83030 18615 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1016.48
Current children cumulated vsize (Kb) 5632

[startup+1390.13 s]
Raw data (loadavg): 1.05 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 83621 18753 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1023.77
Current children cumulated vsize (Kb) 5632

[startup+1400.13 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 84262 18873 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1031.38
Current children cumulated vsize (Kb) 5632

[startup+1410.14 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 84850 19014 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1038.67
Current children cumulated vsize (Kb) 5632

[startup+1420.14 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 85496 19134 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1046.33
Current children cumulated vsize (Kb) 5632

[startup+1430.14 s]
Raw data (loadavg): 1.07 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 86074 19279 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1053.56
Current children cumulated vsize (Kb) 5632

[startup+1440.14 s]
Raw data (loadavg): 1.06 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 86712 19402 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1061.17
Current children cumulated vsize (Kb) 5632

[startup+1450.14 s]
Raw data (loadavg): 1.05 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 87338 19531 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1068.72
Current children cumulated vsize (Kb) 5632

[startup+1460.14 s]
Raw data (loadavg): 1.04 1.08 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 87937 19666 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1076.06
Current children cumulated vsize (Kb) 5632

[startup+1470.14 s]
Raw data (loadavg): 1.04 1.08 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 88592 19781 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1083.76
Current children cumulated vsize (Kb) 5632

[startup+1480.14 s]
Raw data (loadavg): 1.03 1.08 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 89173 19932 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1091.08
Current children cumulated vsize (Kb) 5632

[startup+1490.14 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 89830 20050 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1098.83
Current children cumulated vsize (Kb) 5632

[startup+1500.14 s]
Raw data (loadavg): 1.15 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 90448 20183 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1106.34
Current children cumulated vsize (Kb) 5632

[startup+1510.15 s]
Raw data (loadavg): 1.20 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 91077 20311 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1113.91
Current children cumulated vsize (Kb) 5632

[startup+1520.15 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 91740 20425 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (Kb) 5632

[startup+1530.15 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 92327 20564 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1128.94
Current children cumulated vsize (Kb) 5632

[startup+1540.15 s]
Raw data (loadavg): 1.19 1.12 1.04 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 92985 20684 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1136.72
Current children cumulated vsize (Kb) 5632

[startup+1550.15 s]
Raw data (loadavg): 1.16 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 93614 20814 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1144.31
Current children cumulated vsize (Kb) 5632

[startup+1560.15 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 94224 20942 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1151.69
Current children cumulated vsize (Kb) 5632

[startup+1570.15 s]
Raw data (loadavg): 1.12 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 94894 21052 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1159.49
Current children cumulated vsize (Kb) 5632

[startup+1580.15 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 95475 21191 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1166.69
Current children cumulated vsize (Kb) 5632

[startup+1590.15 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 96133 21310 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1174.46
Current children cumulated vsize (Kb) 5632

[startup+1600.15 s]
Raw data (loadavg): 1.07 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 96781 21431 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1182.15
Current children cumulated vsize (Kb) 5632

[startup+1610.15 s]
Raw data (loadavg): 1.13 1.11 1.03 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 634 0 0 0 97378 21567 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223248 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1189.48
Current children cumulated vsize (Kb) 5632

[startup+1620.16 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 661 0 0 0 98112 21658 0 0 15 0 1 0 1787755737 3739648 631 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 913 631 413 48 0 865 0
[pid=15323] vsize: 3652
Current children cumulated CPU time (s) 1197.73
Current children cumulated vsize (Kb) 5780

[startup+1630.16 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 735 0 0 0 98878 21738 0 0 15 0 1 0 1787755737 4001792 705 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 977 705 413 48 0 929 0
[pid=15323] vsize: 3908
Current children cumulated CPU time (s) 1206.19
Current children cumulated vsize (Kb) 6036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1630.16 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 735 0 0 0 98878 21738 0 0 15 0 1 0 1787755737 4001792 705 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 977 705 413 48 0 929 0
[pid=15323] vsize: 3908
Current children cumulated CPU time (s) 1206.19
Current children cumulated vsize (Kb) 6036

Sending SIGTERM to -15320
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=15325
New process pid=15326
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=15323) exited with status: 3
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/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/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/15283/stat
open syscall for file /proc/15283/status
open syscall for file /proc/15283/cmdline
open syscall for file /proc/15283/environ
open syscall for file /proc/15319/stat
open syscall for file /proc/15319/status
open syscall for file /proc/15319/cmdline
open syscall for file /proc/15319/environ
open syscall for file /proc/15320/stat
open syscall for file /proc/15320/status
open syscall for file /proc/15320/cmdline
open syscall for file /proc/15320/environ
open syscall for file /proc/15325/stat
open syscall for file /proc/15325/status
open syscall for file /proc/15325/cmdline
open syscall for file /proc/15325/environ
open syscall for file /proc/15326/stat
open syscall for file /proc/15326/status
open syscall for file /proc/15326/cmdline
open syscall for file /proc/15326/environ
One traced child (pid=15325) exited with status: 0
One traced child (pid=15326) exited with status: 0
New process pid=15327
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=15327) exited with status: 0
New process pid=15328
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=15328) exited with status: 0
New process pid=15329
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=15329) exited with status: 0
New process pid=15330
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=15330) exited with status: 0
One traced child (pid=15320) 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): 1630.72
CPU time (s): 1206.35
CPU user time (s): 988.848
CPU system time (s): 217.501
CPU usage (%): 73.9766
Max. virtual memory (cumulated for all children) (Kb): 6036

Verifier Data

ERROR: no interpretation found !