Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
MD5SUMa7baaeaa26a0026c630e11c495604909
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1216914
Optimality of the best value was proved NO
Number of terms in the objective function 5292
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1421968313
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1421968313
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1215.96
Number of variables5292
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint21
Maximum length of a constraint360

Trace number 9387

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 13:09:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8115 boxname=wulflinc15 idbench=1083 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a7baaeaa26a0026c630e11c495604909  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran14x18.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-ran14x18.opb 0
IDLAUNCH: 8115
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        803612 kB
Buffers:         13864 kB
Cached:         197820 kB
SwapCached:          0 kB
Active:         171324 kB
Inactive:        43248 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        803332 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10952 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:33:41 (client local time) WITH STATUS 0 IN 1202.49 SECONDS
stats: 8115 7 1202.49 0

Solver Data

1:
seed: 0
Nr of vars set: 2208  (#equs: 0)
Nr of vars set: 2208  (#equs: 0)
#decisions: 2594;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 317, #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:  1416749722 (5218590:>=*);
#decisions: 2561;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 317, #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:  1416749731 (5218581:>=*);
#decisions: 2565;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 317, #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:  1416749791 (5218521:>=*);
#decisions: 2580;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 317, #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:  1416749835 (5218477:>=*);
#decisions: 2637;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 317, #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:  1416749940 (5218372:>=*);
#decisions: 2622;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 317, #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:  1416750127 (5218185:>=*);
#decisions: 2591;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 317, #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:  1416750141 (5218171:>=*);
#decisions: 2604;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 317, #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:  1416750145 (5218167:>=*);
#decisions: 2592;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 317, #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:  1416750147 (5218165:>=*);
#decisions: 2634;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 317, #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:  1416750156 (5218156:>=*);
#decisions: 2568;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 317, #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:  1416750165 (5218147:>=*);
#decisions: 2571;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 317, #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:  1416750186 (5218126:>=*);
#decisions: 2565;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 317, #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:  1416750195 (5218117:>=*);
#decisions: 2570;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 317, #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:  1416750216 (5218096:>=*);
#decisions: 2570;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 317, #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:  1416750225 (5218087:>=*);
#decisions: 2622;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 317, #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:  1416750238 (5218074:>=*);
#decisions: 2628;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 317, #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:  1416750241 (5218071:>=*);
#decisions: 23827;  #end-nodes: 807;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 76 / 82 (82)
#axs: 317, #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:  1416763806 (5204506:>=*);
#decisions: 12621;  #end-nodes: 393;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 72 / 81 (81)
#axs: 317, #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:  1416814919 (5153393:>=*);
#decisions: 2657;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 317, #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:  1416814959 (5153353:>=*);
#decisions: 2605;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 317, #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:  1416814965 (5153347:>=*);
#decisions: 17071;  #end-nodes: 511;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 28 / 81 (81)
#axs: 317, #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:  1416914291 (5054021:>=*);
#decisions: 2753;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 317, #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:  1416914305 (5054007:>=*);
#decisions: 2744;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 317, #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:  1416914307 (5054005:>=*);
#decisions: 2695;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 317, #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:  1416914316 (5053996:>=*);
#decisions: 2736;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 317, #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:  1416914318 (5053994:>=*);
#decisions: 189664;  #end-nodes: 6819;
#proof improvement attempts: 0;  #restarts: 76
Current batch, end-nodes: 11 / 99 (99)
#axs: 317, #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:  1417050749 (4917563:>=*);
#decisions: 2608;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 317, #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:  1417050754 (4917558:>=*);
#decisions: 2628;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 317, #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:  1417050757 (4917555:>=*);
#decisions: 2627;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 317, #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:  1417050760 (4917552:>=*);
#decisions: 2651;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 317, #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:  1417050767 (4917545:>=*);
#decisions: 2616;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 317, #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:  1417050771 (4917541:>=*);
#decisions: 516711;  #end-nodes: 23307;
#proof improvement attempts: 0;  #restarts: 217
Current batch, end-nodes: 47 / 134 (134)
#axs: 317, #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:  1417107102 (4861210:>=*);
#decisions: 2566;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 317, #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:  1417107104 (4861208:>=*);
#decisions: 2531;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 317, #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:  1417107105 (4861207:>=*);
#decisions: 2521;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 317, #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:  1417107114 (4861198:>=*);
#decisions: 2527;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 317, #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:  1417107116 (4861196:>=*);
#decisions: 2524;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 317, #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:  1417107117 (4861195:>=*);
#decisions: 2520;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 317, #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:  1417107126 (4861186:>=*);
#decisions: 2534;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 317, #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:  1417107127 (4861185:>=*);
#decisions: 2519;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 317, #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:  1417107128 (4861184:>=*);
#decisions: 2588;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 317, #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:  1417107544 (4860768:>=*);
#decisions: 2584;  #end-nodes: 74;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 74 / 80 (80)
#axs: 317, #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:  1417107553 (4860759:>=*);
#decisions: 2565;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 317, #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:  1417107577 (4860735:>=*);
#decisions: 2576;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 317, #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:  1417107579 (4860733:>=*);
#decisions: 287253;  #end-nodes: 11734;
#proof improvement attempts: 0;  #restarts: 122
Current batch, end-nodes: 105 / 110 (110)
#axs: 317, #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:  1417164208 (4804104:>=*);
#decisions: 2558;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 317, #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:  1417164285 (4804027:>=*);
#decisions: 197660;  #end-nodes: 7774;
#proof improvement attempts: 0;  #restarts: 85
Current batch, end-nodes: 75 / 101 (101)
#axs: 317, #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:  1417256076 (4712236:>=*);
#decisions: 2555;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 317, #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:  1417256108 (4712204:>=*);
#decisions: 2952;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 317, #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:  1417256116 (4712196:>=*);
#decisions: 216081;  #end-nodes: 8846;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 317, #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:
  (pushed:) 1417256116 (4712196:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2208  (#equs: 0)
Time taken: 5 min, 14 sec

2:
seed: 0
Nr of vars set: 2208  (#equs: 0)
Nr of vars set: 2208  (#equs: 0)
#decisions: 1237135;  #end-nodes: 93549;
#proof improvement attempts: 0;  #restarts: 509
Current batch, end-nodes: 57 / 247 (247)
#axs: 317, #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:  4295958 (4693666:>=*);
#decisions: 2449;  #end-nodes: 60;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 60 / 120 (120)
#axs: 317, #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:  4296011 (4693613:>=*);
#decisions: 2322;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 317, #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:  4296043 (4693581:>=*);
#decisions: 2334;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 120 (120)
#axs: 317, #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:  4296045 (4693579:>=*);
#decisions: 2457;  #end-nodes: 90;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 90 / 120 (120)
#axs: 317, #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:  4296100 (4693524:>=*);
#decisions: 2470;  #end-nodes: 87;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 87 / 120 (120)
#axs: 317, #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:  4296112 (4693512:>=*);
#decisions: 1641123;  #end-nodes: 135231;
#proof improvement attempts: 0;  #restarts: 665
Current batch, end-nodes: 103 / 286 (286)
#axs: 317, #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:  4345638 (4643986:>=*);
Interupt request received.
#decisions: 1816111;  #end-nodes: 155766;
#proof improvement attempts: 0;  #restarts: 735
Current batch, end-nodes: 0 / 303 (303)
#axs: 317, #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:
  (pushed:) 4345638 (4643986:>=*)

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: 4112  (#equs: 0)
Time taken: 14 min, 48 sec

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/5920/stat): 5920 (vallstSAT2005PB) R 5919 5920 4057 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 20429966 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5920/statm): 174 3 169 147 0 27 0
[pid=5920] 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=5921
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=5921) exited with status: 0
New process pid=5922
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=5922) exited with status: 0
New process pid=5923
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/wulflinc15/normalized-mps-v2-13-7-ran14x18.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 0.87 1.00 1.02 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 566 0 0 0 676 102 0 0 18 0 1 0 20429974 3641344 536 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5923/statm): 889 536 413 48 0 841 0
[pid=5923] vsize: 3556
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (Kb) 5684

[startup+20.0048 s]
Raw data (loadavg): 0.89 1.00 1.02 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 566 0 0 0 1282 232 0 0 16 0 1 0 20429974 3641344 536 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5923/statm): 889 536 413 48 0 841 0
[pid=5923] vsize: 3556
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (Kb) 5684

[startup+30.0067 s]
Raw data (loadavg): 0.91 1.00 1.02 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 662 0 0 0 2036 315 0 0 16 0 1 0 20429974 5128192 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1252 632 413 48 0 1204 0
[pid=5923] vsize: 5008
Current children cumulated CPU time (s) 23.54
Current children cumulated vsize (Kb) 7136

[startup+40.0075 s]
Raw data (loadavg): 0.92 1.00 1.02 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 719 0 0 0 2784 398 0 0 16 0 1 0 20429974 5128192 689 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1252 689 413 48 0 1204 0
[pid=5923] vsize: 5008
Current children cumulated CPU time (s) 31.85
Current children cumulated vsize (Kb) 7136

[startup+50.0083 s]
Raw data (loadavg): 0.93 1.00 1.02 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 798 0 0 0 3569 470 0 0 16 0 1 0 20429974 5316608 768 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 768 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 40.42
Current children cumulated vsize (Kb) 7320

[startup+60.0091 s]
Raw data (loadavg): 0.94 1.00 1.02 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 802 0 0 0 4337 547 0 0 16 0 1 0 20429974 5316608 772 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 772 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 48.87
Current children cumulated vsize (Kb) 7320

[startup+70.0099 s]
Raw data (loadavg): 0.95 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 802 0 0 0 5115 626 0 0 16 0 1 0 20429974 5316608 772 4294967295 134512640 134702520 3221223952 3221158768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 772 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 57.44
Current children cumulated vsize (Kb) 7320

[startup+80.0117 s]
Raw data (loadavg): 0.96 1.00 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 932 0 0 0 5893 698 0 0 16 0 1 0 20429974 5316608 902 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 902 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 65.94
Current children cumulated vsize (Kb) 7320

[startup+90.0126 s]
Raw data (loadavg): 0.96 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 976 0 0 0 6637 780 0 0 16 0 1 0 20429974 5316608 946 4294967295 134512640 134702520 3221223952 3221222928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 946 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 74.2
Current children cumulated vsize (Kb) 7320

[startup+100.013 s]
Raw data (loadavg): 0.97 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 976 0 0 0 7443 844 0 0 16 0 1 0 20429974 5316608 946 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 946 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 82.9
Current children cumulated vsize (Kb) 7320

[startup+110.014 s]
Raw data (loadavg): 0.97 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 977 0 0 0 8202 925 0 0 16 0 1 0 20429974 5316608 947 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 947 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 91.3
Current children cumulated vsize (Kb) 7320

[startup+120.015 s]
Raw data (loadavg): 0.98 1.00 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 990 0 0 0 9025 986 0 0 19 0 1 0 20429974 5316608 960 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 960 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (Kb) 7320

[startup+130.017 s]
Raw data (loadavg): 0.98 1.00 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 991 0 0 0 9967 1008 0 0 19 0 1 0 20429974 5316608 961 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 961 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 109.78
Current children cumulated vsize (Kb) 7320

[startup+140.018 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 993 0 0 0 10790 1067 0 0 17 0 1 0 20429974 5316608 963 4294967295 134512640 134702520 3221223952 3221147408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 963 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 118.6
Current children cumulated vsize (Kb) 7320

[startup+150.018 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 998 0 0 0 11588 1131 0 0 16 0 1 0 20429974 5316608 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 968 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 127.22
Current children cumulated vsize (Kb) 7320

[startup+160.019 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1003 0 0 0 12345 1208 0 0 16 0 1 0 20429974 5316608 973 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 973 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 135.56
Current children cumulated vsize (Kb) 7320

[startup+170.02 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1007 0 0 0 13165 1266 0 0 18 0 1 0 20429974 5316608 977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 977 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 144.34
Current children cumulated vsize (Kb) 7320

[startup+180.021 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1012 0 0 0 14004 1317 0 0 17 0 1 0 20429974 5316608 982 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 982 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 153.24
Current children cumulated vsize (Kb) 7320

[startup+190.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1012 0 0 0 14949 1336 0 0 18 0 1 0 20429974 5316608 982 4294967295 134512640 134702520 3221223952 3221222848 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 982 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 162.88
Current children cumulated vsize (Kb) 7320

[startup+200.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1014 0 0 0 15771 1394 0 0 16 0 1 0 20429974 5316608 984 4294967295 134512640 134702520 3221223952 3221223344 134605161 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1298 984 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 171.68
Current children cumulated vsize (Kb) 7320

[startup+210.023 s]
Raw data (loadavg): 1.07 1.01 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1016 0 0 0 16553 1467 0 0 16 0 1 0 20429974 5316608 986 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1298 986 413 48 0 1250 0
[pid=5923] vsize: 5192
Current children cumulated CPU time (s) 180.23
Current children cumulated vsize (Kb) 7320

[startup+220.024 s]
Raw data (loadavg): 1.13 1.03 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1018 0 0 0 17291 1551 0 0 16 0 1 0 20429974 5439488 988 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 988 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 188.45
Current children cumulated vsize (Kb) 7440

[startup+230.025 s]
Raw data (loadavg): 1.18 1.04 1.02 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1021 0 0 0 18087 1618 0 0 16 0 1 0 20429974 5439488 991 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1328 991 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 197.08
Current children cumulated vsize (Kb) 7440

[startup+240.026 s]
Raw data (loadavg): 1.15 1.04 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1022 0 0 0 18846 1696 0 0 16 0 1 0 20429974 5439488 992 4294967295 134512640 134702520 3221223952 3221223072 134584607 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 992 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 205.45
Current children cumulated vsize (Kb) 7440

[startup+250.027 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1024 0 0 0 19663 1754 0 0 19 0 1 0 20429974 5439488 994 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 994 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 214.2
Current children cumulated vsize (Kb) 7440

[startup+260.028 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1025 0 0 0 20607 1771 0 0 20 0 1 0 20429974 5439488 995 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 995 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 223.81
Current children cumulated vsize (Kb) 7440

[startup+270.028 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1025 0 0 0 21437 1825 0 0 18 0 1 0 20429974 5439488 995 4294967295 134512640 134702520 3221223952 3221111708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 995 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 232.65
Current children cumulated vsize (Kb) 7440

[startup+280.029 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1027 0 0 0 22174 1916 0 0 16 0 1 0 20429974 5439488 997 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 997 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 240.93
Current children cumulated vsize (Kb) 7440

[startup+290.03 s]
Raw data (loadavg): 1.07 1.03 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1028 0 0 0 22972 1981 0 0 16 0 1 0 20429974 5439488 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 998 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 249.56
Current children cumulated vsize (Kb) 7440

[startup+300.031 s]
Raw data (loadavg): 1.06 1.03 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1030 0 0 0 23735 2056 0 0 17 0 1 0 20429974 5439488 1000 4294967295 134512640 134702520 3221223952 3221143868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 1000 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 257.94
Current children cumulated vsize (Kb) 7440

[startup+310.032 s]
Raw data (loadavg): 1.05 1.03 1.01 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1031 0 0 0 24522 2128 0 0 16 0 1 0 20429974 5439488 1001 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 1001 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 266.53
Current children cumulated vsize (Kb) 7440

[startup+320.032 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1032 0 0 0 25284 2206 0 0 16 0 1 0 20429974 5439488 1002 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1328 1002 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 274.93
Current children cumulated vsize (Kb) 7440

[startup+330.034 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1033 0 0 0 26078 2272 0 0 18 0 1 0 20429974 5439488 1003 4294967295 134512640 134702520 3221223952 3220961628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 1003 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 283.53
Current children cumulated vsize (Kb) 7440

[startup+340.035 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) T 5920 5920 4057 0 -1 0 1034 0 0 0 26827 2352 0 0 16 0 1 0 20429974 5439488 1004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5923/statm): 1328 1004 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 291.82
Current children cumulated vsize (Kb) 7440

[startup+350.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1036 0 0 0 27641 2411 0 0 19 0 1 0 20429974 5439488 1006 4294967295 134512640 134702520 3221223952 3221222976 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1328 1006 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 300.55
Current children cumulated vsize (Kb) 7440

[startup+360.037 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5923
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 20429966 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 242 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5923/stat): 5923 (vallst) R 5920 5920 4057 0 -1 0 1037 0 0 0 28584 2432 0 0 18 0 1 0 20429974 5439488 1007 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5923/statm): 1328 1007 413 48 0 1280 0
[pid=5923] vsize: 5312
Current children cumulated CPU time (s) 310.19
Current children cumulated vsize (Kb) 7440
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5923) exited with status: 2
New process pid=5924
execve syscall for /usr/bin/head 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5924) exited with status: 0
New process pid=5925
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+370.037 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 506 0 0 0 432 50 0 0 17 0 1 0 20466386 3350528 477 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 818 477 413 48 0 770 0
[pid=5925] vsize: 3272
Current children cumulated CPU time (s) 318.94
Current children cumulated vsize (Kb) 5400

[startup+380.039 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 507 0 0 0 1033 185 0 0 17 0 1 0 20466386 3350528 478 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 818 478 413 48 0 770 0
[pid=5925] vsize: 3272
Current children cumulated CPU time (s) 326.3
Current children cumulated vsize (Kb) 5400

[startup+390.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 839 0 0 0 1684 301 0 0 17 0 1 0 20466386 4538368 810 4294967295 134512640 134702520 3221223712 3221068128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1108 810 413 48 0 1060 0
[pid=5925] vsize: 4432
Current children cumulated CPU time (s) 333.97
Current children cumulated vsize (Kb) 6560

[startup+400.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 850 0 0 0 2390 396 0 0 17 0 1 0 20466386 4669440 821 4294967295 134512640 134702520 3221223712 3221143468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1140 821 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (Kb) 6688

[startup+410.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 857 0 0 0 3097 490 0 0 16 0 1 0 20466386 4669440 828 4294967295 134512640 134702520 3221223712 3221207488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1140 828 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 6688

[startup+420.042 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 863 0 0 0 3872 563 0 0 16 0 1 0 20466386 4669440 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1140 834 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 358.47
Current children cumulated vsize (Kb) 6688

[startup+430.044 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 863 0 0 0 4527 684 0 0 16 0 1 0 20466386 4669440 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1140 834 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 366.23
Current children cumulated vsize (Kb) 6688

[startup+440.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 865 0 0 0 5186 798 0 0 17 0 1 0 20466386 4669440 836 4294967295 134512640 134702520 3221223712 3221146848 134611996 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1140 836 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 373.96
Current children cumulated vsize (Kb) 6688

[startup+450.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 869 0 0 0 5908 891 0 0 16 0 1 0 20466386 4669440 840 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1140 840 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 382.11
Current children cumulated vsize (Kb) 6688

[startup+460.047 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 874 0 0 0 6655 973 0 0 16 0 1 0 20466386 4669440 845 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1140 845 413 48 0 1092 0
[pid=5925] vsize: 4560
Current children cumulated CPU time (s) 390.4
Current children cumulated vsize (Kb) 6688

[startup+470.048 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 878 0 0 0 7411 1055 0 0 16 0 1 0 20466386 4804608 849 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1173 849 413 48 0 1125 0
[pid=5925] vsize: 4692
Current children cumulated CPU time (s) 398.78
Current children cumulated vsize (Kb) 6820

[startup+480.048 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 879 0 0 0 8006 1192 0 0 16 0 1 0 20466386 4804608 850 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1173 850 413 48 0 1125 0
[pid=5925] vsize: 4692
Current children cumulated CPU time (s) 406.1
Current children cumulated vsize (Kb) 6820

[startup+490.049 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 880 0 0 0 8608 1327 0 0 17 0 1 0 20466386 4792320 851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1170 851 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 413.47
Current children cumulated vsize (Kb) 6808

[startup+500.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 883 0 0 0 9343 1411 0 0 17 0 1 0 20466386 4792320 854 4294967295 134512640 134702520 3221223712 3221071968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1170 854 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 421.66
Current children cumulated vsize (Kb) 6808

[startup+510.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 885 0 0 0 10043 1506 0 0 16 0 1 0 20466386 4792320 856 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1170 856 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 429.61
Current children cumulated vsize (Kb) 6808

[startup+520.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 889 0 0 0 10810 1579 0 0 16 0 1 0 20466386 4792320 860 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1170 860 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 438.01
Current children cumulated vsize (Kb) 6808

[startup+530.052 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 892 0 0 0 11508 1683 0 0 16 0 1 0 20466386 4792320 863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1170 863 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 446.03
Current children cumulated vsize (Kb) 6808

[startup+540.053 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 892 0 0 0 12097 1823 0 0 16 0 1 0 20466386 4792320 863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1170 863 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 453.32
Current children cumulated vsize (Kb) 6808

[startup+550.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 894 0 0 0 12780 1929 0 0 19 0 1 0 20466386 4792320 865 4294967295 134512640 134702520 3221223712 3220941068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1170 865 413 48 0 1122 0
[pid=5925] vsize: 4680
Current children cumulated CPU time (s) 461.21
Current children cumulated vsize (Kb) 6808

[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 13469 2028 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 469.09
Current children cumulated vsize (Kb) 6980

[startup+570.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 14245 2102 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 477.59
Current children cumulated vsize (Kb) 6980

[startup+580.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 14987 2189 0 0 17 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221121088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 485.88
Current children cumulated vsize (Kb) 6980

[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 15594 2326 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 493.32
Current children cumulated vsize (Kb) 6980

[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 16092 2495 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 499.99
Current children cumulated vsize (Kb) 6980

[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 16775 2601 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 507.88
Current children cumulated vsize (Kb) 6980

[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 17525 2684 0 0 17 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221082848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 516.21
Current children cumulated vsize (Kb) 6980

[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 920 0 0 0 18259 2774 0 0 16 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 524.45
Current children cumulated vsize (Kb) 6980

[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 920 0 0 0 19036 2850 0 0 18 0 1 0 20466386 4968448 891 4294967295 134512640 134702520 3221223712 3221073568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1213 891 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 532.98
Current children cumulated vsize (Kb) 6980

[startup+650.062 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 921 0 0 0 19712 2962 0 0 16 0 1 0 20466386 4968448 892 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1213 892 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 540.86
Current children cumulated vsize (Kb) 6980

[startup+660.063 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 921 0 0 0 20356 3089 0 0 16 0 1 0 20466386 4968448 892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1213 892 413 48 0 1165 0
[pid=5925] vsize: 4852
Current children cumulated CPU time (s) 548.57
Current children cumulated vsize (Kb) 6980

[startup+670.065 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 923 0 0 0 21080 3181 0 0 16 0 1 0 20466386 4972544 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 894 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 556.73
Current children cumulated vsize (Kb) 6984

[startup+680.067 s]
Raw data (loadavg): 1.12 1.03 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 923 0 0 0 21771 3285 0 0 16 0 1 0 20466386 4972544 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 894 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 564.68
Current children cumulated vsize (Kb) 6984

[startup+690.067 s]
Raw data (loadavg): 1.18 1.04 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 923 0 0 0 22505 3369 0 0 17 0 1 0 20466386 4972544 894 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 894 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 572.86
Current children cumulated vsize (Kb) 6984

[startup+700.068 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 925 0 0 0 23241 3454 0 0 16 0 1 0 20466386 4972544 896 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 896 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 581.07
Current children cumulated vsize (Kb) 6984

[startup+710.07 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 926 0 0 0 23937 3557 0 0 16 0 1 0 20466386 4972544 897 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 897 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 589.06
Current children cumulated vsize (Kb) 6984

[startup+720.071 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 926 0 0 0 24508 3702 0 0 16 0 1 0 20466386 4972544 897 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 897 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 596.22
Current children cumulated vsize (Kb) 6984

[startup+730.073 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 927 0 0 0 25157 3820 0 0 16 0 1 0 20466386 4972544 898 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 898 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 603.89
Current children cumulated vsize (Kb) 6984

[startup+740.075 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 928 0 0 0 25879 3915 0 0 18 0 1 0 20466386 4972544 899 4294967295 134512640 134702520 3221223712 3221064608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 899 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 612.06
Current children cumulated vsize (Kb) 6984

[startup+750.075 s]
Raw data (loadavg): 1.06 1.03 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 929 0 0 0 26583 4012 0 0 16 0 1 0 20466386 4972544 900 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 900 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 6984

[startup+760.076 s]
Raw data (loadavg): 1.05 1.03 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 930 0 0 0 27348 4088 0 0 15 0 1 0 20466386 4972544 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 901 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 628.48
Current children cumulated vsize (Kb) 6984

[startup+770.077 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 930 0 0 0 27889 4246 0 0 16 0 1 0 20466386 4972544 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 901 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 635.47
Current children cumulated vsize (Kb) 6984

[startup+780.078 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 932 0 0 0 28410 4409 0 0 16 0 1 0 20466386 4972544 903 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 903 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (Kb) 6984

[startup+790.079 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 933 0 0 0 29163 4485 0 0 16 0 1 0 20466386 4972544 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 904 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 650.6
Current children cumulated vsize (Kb) 6984

[startup+800.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 933 0 0 0 29859 4587 0 0 16 0 1 0 20466386 4972544 904 4294967295 134512640 134702520 3221223712 3221215968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 904 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 658.58
Current children cumulated vsize (Kb) 6984

[startup+810.081 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 935 0 0 0 30617 4665 0 0 16 0 1 0 20466386 4972544 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 906 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 666.94
Current children cumulated vsize (Kb) 6984

[startup+820.082 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 936 0 0 0 31333 4766 0 0 16 0 1 0 20466386 4972544 907 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 907 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 675.11
Current children cumulated vsize (Kb) 6984

[startup+830.083 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 936 0 0 0 31928 4914 0 0 16 0 1 0 20466386 4972544 907 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 907 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 682.54
Current children cumulated vsize (Kb) 6984

[startup+840.084 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 938 0 0 0 32637 5008 0 0 16 0 1 0 20466386 4972544 909 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 909 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 690.57
Current children cumulated vsize (Kb) 6984

[startup+850.085 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 938 0 0 0 33360 5097 0 0 17 0 1 0 20466386 4972544 909 4294967295 134512640 134702520 3221223712 3221160128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 909 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 698.69
Current children cumulated vsize (Kb) 6984

[startup+860.085 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 941 0 0 0 34117 5177 0 0 17 0 1 0 20466386 4972544 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 912 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 707.06
Current children cumulated vsize (Kb) 6984

[startup+870.086 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 941 0 0 0 34895 5251 0 0 18 0 1 0 20466386 4972544 912 4294967295 134512640 134702520 3221223712 3221024108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 912 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 715.58
Current children cumulated vsize (Kb) 6984

[startup+880.087 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 943 0 0 0 35522 5377 0 0 16 0 1 0 20466386 4972544 914 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 914 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 723.11
Current children cumulated vsize (Kb) 6984

[startup+890.088 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 944 0 0 0 36072 5531 0 0 16 0 1 0 20466386 4972544 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 915 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 730.15
Current children cumulated vsize (Kb) 6984

[startup+900.088 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 944 0 0 0 36789 5618 0 0 16 0 1 0 20466386 4972544 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 915 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 738.19
Current children cumulated vsize (Kb) 6984

[startup+910.089 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 946 0 0 0 37581 5689 0 0 17 0 1 0 20466386 4972544 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 917 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 746.82
Current children cumulated vsize (Kb) 6984

[startup+920.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 946 0 0 0 38290 5781 0 0 16 0 1 0 20466386 4972544 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 917 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 754.83
Current children cumulated vsize (Kb) 6984

[startup+930.091 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 948 0 0 0 39085 5850 0 0 16 0 1 0 20466386 4972544 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 919 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 763.47
Current children cumulated vsize (Kb) 6984

[startup+940.092 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 948 0 0 0 39625 6003 0 0 16 0 1 0 20466386 4972544 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 919 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 770.4
Current children cumulated vsize (Kb) 6984

[startup+950.093 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 949 0 0 0 40126 6169 0 0 16 0 1 0 20466386 4972544 920 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1214 920 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 777.07
Current children cumulated vsize (Kb) 6984

[startup+960.094 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 951 0 0 0 40858 6260 0 0 16 0 1 0 20466386 4972544 922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 922 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 785.3
Current children cumulated vsize (Kb) 6984

[startup+970.094 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 952 0 0 0 41624 6335 0 0 17 0 1 0 20466386 4972544 923 4294967295 134512640 134702520 3221223712 3221120908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1214 923 413 48 0 1166 0
[pid=5925] vsize: 4856
Current children cumulated CPU time (s) 793.71
Current children cumulated vsize (Kb) 6984

[startup+980.096 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 954 0 0 0 42396 6412 0 0 17 0 1 0 20466386 5095424 925 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 925 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 802.2
Current children cumulated vsize (Kb) 7104

[startup+990.097 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 959 0 0 0 43157 6490 0 0 16 0 1 0 20466386 5095424 930 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 930 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 810.59
Current children cumulated vsize (Kb) 7104

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 961 0 0 0 43891 6582 0 0 16 0 1 0 20466386 5095424 932 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 932 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 818.85
Current children cumulated vsize (Kb) 7104

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 961 0 0 0 44537 6700 0 0 16 0 1 0 20466386 5095424 932 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 932 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 826.49
Current children cumulated vsize (Kb) 7104

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 963 0 0 0 45276 6784 0 0 16 0 1 0 20466386 5095424 934 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 934 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 834.72
Current children cumulated vsize (Kb) 7104

[startup+1030.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 964 0 0 0 46019 6870 0 0 16 0 1 0 20466386 5095424 935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 935 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 843.01
Current children cumulated vsize (Kb) 7104

[startup+1040.1 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 965 0 0 0 46826 6934 0 0 18 0 1 0 20466386 5095424 936 4294967295 134512640 134702520 3221223712 3221115488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 936 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 851.72
Current children cumulated vsize (Kb) 7104

[startup+1050.1 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 967 0 0 0 47612 7003 0 0 16 0 1 0 20466386 5095424 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 938 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 860.27
Current children cumulated vsize (Kb) 7104

[startup+1060.1 s]
Raw data (loadavg): 1.16 1.06 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 968 0 0 0 48276 7114 0 0 16 0 1 0 20466386 5095424 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 939 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 868.02
Current children cumulated vsize (Kb) 7104

[startup+1070.11 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 970 0 0 0 49010 7201 0 0 16 0 1 0 20466386 5095424 941 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 941 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 876.23
Current children cumulated vsize (Kb) 7104

[startup+1080.11 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 970 0 0 0 49756 7284 0 0 16 0 1 0 20466386 5095424 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 941 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 884.52
Current children cumulated vsize (Kb) 7104

[startup+1090.11 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 971 0 0 0 50423 7393 0 0 16 0 1 0 20466386 5095424 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 942 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 892.28
Current children cumulated vsize (Kb) 7104

[startup+1100.11 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 971 0 0 0 50985 7547 0 0 16 0 1 0 20466386 5095424 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 942 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 899.44
Current children cumulated vsize (Kb) 7104

[startup+1110.11 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 973 0 0 0 51617 7672 0 0 16 0 1 0 20466386 5095424 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 944 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 907.01
Current children cumulated vsize (Kb) 7104

[startup+1120.11 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 973 0 0 0 52352 7760 0 0 19 0 1 0 20466386 5095424 944 4294967295 134512640 134702520 3221223712 3220988448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 944 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 915.24
Current children cumulated vsize (Kb) 7104

[startup+1130.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 973 0 0 0 53041 7865 0 0 17 0 1 0 20466386 5095424 944 4294967295 134512640 134702520 3221223712 3221208428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 944 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 923.18
Current children cumulated vsize (Kb) 7104

[startup+1140.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 975 0 0 0 53817 7937 0 0 16 0 1 0 20466386 5095424 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 946 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 931.66
Current children cumulated vsize (Kb) 7104

[startup+1150.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 975 0 0 0 54351 8095 0 0 16 0 1 0 20466386 5095424 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 946 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 938.58
Current children cumulated vsize (Kb) 7104

[startup+1160.11 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 976 0 0 0 54866 8262 0 0 16 0 1 0 20466386 5095424 947 4294967295 134512640 134702520 3221223712 3221223196 134608160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 947 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 945.4
Current children cumulated vsize (Kb) 7104

[startup+1170.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 976 0 0 0 55628 8339 0 0 18 0 1 0 20466386 5095424 947 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 947 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 953.79
Current children cumulated vsize (Kb) 7104

[startup+1180.11 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 976 0 0 0 56325 8434 0 0 16 0 1 0 20466386 5095424 947 4294967295 134512640 134702520 3221223712 3221199628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 947 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 961.71
Current children cumulated vsize (Kb) 7104

[startup+1190.11 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 977 0 0 0 57085 8516 0 0 16 0 1 0 20466386 5095424 948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 948 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 970.13
Current children cumulated vsize (Kb) 7104

[startup+1200.12 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 978 0 0 0 57744 8633 0 0 16 0 1 0 20466386 5095424 949 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 949 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 977.89
Current children cumulated vsize (Kb) 7104

[startup+1210.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 979 0 0 0 58238 8800 0 0 16 0 1 0 20466386 5095424 950 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 950 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 984.5
Current children cumulated vsize (Kb) 7104

[startup+1220.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 980 0 0 0 58858 8929 0 0 18 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221071168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 991.99
Current children cumulated vsize (Kb) 7104

[startup+1230.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 59580 9024 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1000.16
Current children cumulated vsize (Kb) 7104

[startup+1240.12 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 980 0 0 0 60368 9095 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1008.75
Current children cumulated vsize (Kb) 7104

[startup+1250.12 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 61081 9188 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1016.81
Current children cumulated vsize (Kb) 7104

[startup+1260.12 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 61792 9285 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1024.89
Current children cumulated vsize (Kb) 7104

[startup+1270.12 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 62434 9409 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1032.55
Current children cumulated vsize (Kb) 7104

[startup+1280.12 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 980 0 0 0 63141 9498 0 0 16 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1040.51
Current children cumulated vsize (Kb) 7104

[startup+1290.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 980 0 0 0 63926 9565 0 0 18 0 1 0 20466386 5095424 951 4294967295 134512640 134702520 3221223712 3220997568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1244 951 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1049.03
Current children cumulated vsize (Kb) 7104

[startup+1300.12 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 981 0 0 0 64653 9650 0 0 16 0 1 0 20466386 5095424 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 952 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1057.15
Current children cumulated vsize (Kb) 7104

[startup+1310.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 982 0 0 0 65446 9718 0 0 18 0 1 0 20466386 5095424 953 4294967295 134512640 134702520 3221223712 3220992908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1244 953 413 48 0 1196 0
[pid=5925] vsize: 4976
Current children cumulated CPU time (s) 1065.76
Current children cumulated vsize (Kb) 7104

[startup+1320.12 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 983 0 0 0 66057 9849 0 0 16 0 1 0 20466386 5230592 954 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1277 954 413 48 0 1229 0
[pid=5925] vsize: 5108
Current children cumulated CPU time (s) 1073.18
Current children cumulated vsize (Kb) 7236

[startup+1330.12 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 984 0 0 0 66588 10013 0 0 15 0 1 0 20466386 5206016 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1271 955 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1080.13
Current children cumulated vsize (Kb) 7212

[startup+1340.13 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 985 0 0 0 67318 10098 0 0 17 0 1 0 20466386 5206016 956 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1271 956 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1088.28
Current children cumulated vsize (Kb) 7212

[startup+1350.13 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 985 0 0 0 68104 10167 0 0 18 0 1 0 20466386 5206016 956 4294967295 134512640 134702520 3221223712 3221010988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 956 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1096.83
Current children cumulated vsize (Kb) 7212

[startup+1360.13 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 987 0 0 0 68856 10249 0 0 17 0 1 0 20466386 5206016 958 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1271 958 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1105.17
Current children cumulated vsize (Kb) 7212

[startup+1370.13 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 987 0 0 0 69617 10326 0 0 17 0 1 0 20466386 5206016 958 4294967295 134512640 134702520 3221223712 3221142528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 958 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1113.55
Current children cumulated vsize (Kb) 7212

[startup+1380.13 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 988 0 0 0 70283 10446 0 0 16 0 1 0 20466386 5206016 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1271 959 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1121.41
Current children cumulated vsize (Kb) 7212

[startup+1390.13 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 989 0 0 0 70880 10589 0 0 16 0 1 0 20466386 5206016 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 960 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1128.81
Current children cumulated vsize (Kb) 7212

[startup+1400.13 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 989 0 0 0 71617 10677 0 0 16 0 1 0 20466386 5206016 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 960 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1137.06
Current children cumulated vsize (Kb) 7212

[startup+1410.13 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 991 0 0 0 72383 10754 0 0 17 0 1 0 20466386 5206016 962 4294967295 134512640 134702520 3221223712 3221096928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 962 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1145.49
Current children cumulated vsize (Kb) 7212

[startup+1420.13 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 991 0 0 0 73150 10836 0 0 16 0 1 0 20466386 5206016 962 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1271 962 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1153.98
Current children cumulated vsize (Kb) 7212

[startup+1430.13 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 992 0 0 0 73908 10918 0 0 16 0 1 0 20466386 5206016 963 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 963 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1162.38
Current children cumulated vsize (Kb) 7212

[startup+1440.13 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 994 0 0 0 74607 11022 0 0 16 0 1 0 20466386 5206016 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 965 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1170.41
Current children cumulated vsize (Kb) 7212

[startup+1450.13 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 994 0 0 0 75195 11163 0 0 16 0 1 0 20466386 5206016 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 965 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1177.7
Current children cumulated vsize (Kb) 7212

[startup+1460.14 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 996 0 0 0 75891 11265 0 0 16 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1185.68
Current children cumulated vsize (Kb) 7212

[startup+1470.14 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 996 0 0 0 76637 11351 0 0 17 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1194
Current children cumulated vsize (Kb) 7212

[startup+1480.14 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) R 5920 5920 4057 0 -1 0 996 0 0 0 77388 11432 0 0 16 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1202.32
Current children cumulated vsize (Kb) 7212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1480.14 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5925
Raw data (/proc/5920/stat): 5920 (vallstSAT2005PB) S 5919 5920 4057 0 -1 0 378 1412 0 0 1 1 28969 2441 17 0 1 0 20429966 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5920/statm): 532 248 485 147 0 385 0
[pid=5920] vsize: 2128
Raw data (/proc/5925/stat): 5925 (vallst) T 5920 5920 4057 0 -1 0 996 0 0 0 77388 11432 0 0 16 0 1 0 20466386 5206016 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5925/statm): 1271 967 413 48 0 1223 0
[pid=5925] vsize: 5084
Current children cumulated CPU time (s) 1202.32
Current children cumulated vsize (Kb) 7212

Sending SIGTERM to -5920
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5927
New process pid=5928
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
One traced child (pid=5925) exited with status: 3
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4039/stat
open syscall for file /proc/4039/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/4039/cmdline
open syscall for file /proc/4039/environ
open syscall for file /proc/4065/stat
open syscall for file /proc/4065/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/4065/cmdline
open syscall for file /proc/4065/environ
open syscall for file /proc/5881/stat
open syscall for file /proc/5881/status
open syscall for file /proc/5881/cmdline
open syscall for file /proc/5881/environ
open syscall for file /proc/5919/stat
open syscall for file /proc/5919/status
open syscall for file /proc/5919/cmdline
open syscall for file /proc/5919/environ
open syscall for file /proc/5920/stat
open syscall for file /proc/5920/status
open syscall for file /proc/5920/cmdline
open syscall for file /proc/5920/environ
open syscall for file /proc/5927/stat
open syscall for file /proc/5927/status
open syscall for file /proc/5927/cmdline
open syscall for file /proc/5927/environ
open syscall for file /proc/5928/stat
open syscall for file /proc/5928/status
open syscall for file /proc/5928/cmdline
open syscall for file /proc/5928/environ
One traced child (pid=5927) exited with status: 0
One traced child (pid=5928) exited with status: 0
New process pid=5929
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=5929) exited with status: 0
New process pid=5930
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=5930) exited with status: 0
One traced child (pid=5920) 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): 1480.62
CPU time (s): 1202.49
CPU user time (s): 1063.67
CPU system time (s): 138.82
CPU usage (%): 81.2151
Max. virtual memory (cumulated for all children) (Kb): 7440

Verifier Data

ERROR: no interpretation found !