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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUMb2c6bc03457d15976fdaf81252d9cdae
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved NO
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.11
Number of variables435
Total number of constraints935
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)532
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16

Trace number 3832

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-19 02:43:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7434 boxname=wulflinc4 idbench=402 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc4/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc4/normalized-10:10:4.5:0.95:100.opb 0
IDLAUNCH: 7434
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        912836 kB
Buffers:         31268 kB
Cached:          65708 kB
SwapCached:        944 kB
Active:          52548 kB
Inactive:        47068 kB
HighTotal:      131008 kB
HighFree:        62412 kB
LowTotal:       903652 kB
LowFree:        850424 kB
SwapTotal:     2097136 kB
SwapFree:      2095644 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            16492 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 03:10:55 (client local time) WITH STATUS 0 IN 1203.8 SECONDS
stats: 7434 7 1203.8 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 162;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  675 (492:>=*);
#decisions: 195;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  677 (490:>=*);
#decisions: 157;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  678 (489:>=*);
#decisions: 192;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  680 (487:>=*);
#decisions: 148;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  681 (486:>=*);
#decisions: 146;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  682 (485:>=*);
#decisions: 145;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  683 (484:>=*);
#decisions: 145;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  684 (483:>=*);
#decisions: 144;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  685 (482:>=*);
#decisions: 143;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  686 (481:>=*);
#decisions: 145;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  687 (480:>=*);
#decisions: 143;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  688 (479:>=*);
#decisions: 142;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  689 (478:>=*);
#decisions: 142;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  690 (477:>=*);
#decisions: 140;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  691 (476:>=*);
#decisions: 137;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  692 (475:>=*);
#decisions: 137;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  693 (474:>=*);
#decisions: 135;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  694 (473:>=*);
#decisions: 134;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  695 (472:>=*);
#decisions: 132;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  696 (471:>=*);
#decisions: 133;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  697 (470:>=*);
#decisions: 131;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  698 (469:>=*);
#decisions: 130;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  699 (468:>=*);
#decisions: 130;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  700 (467:>=*);
#decisions: 128;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  701 (466:>=*);
#decisions: 127;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  702 (465:>=*);
#decisions: 125;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  703 (464:>=*);
#decisions: 124;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  704 (463:>=*);
#decisions: 125;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  705 (462:>=*);
#decisions: 123;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  706 (461:>=*);
#decisions: 122;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  707 (460:>=*);
#decisions: 170;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  709 (458:>=*);
#decisions: 121;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  710 (457:>=*);
#decisions: 120;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  711 (456:>=*);
#decisions: 121;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  712 (455:>=*);
#decisions: 117;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  713 (454:>=*);
#decisions: 115;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  714 (453:>=*);
#decisions: 113;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  715 (452:>=*);
#decisions: 113;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  716 (451:>=*);
#decisions: 110;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  717 (450:>=*);
#decisions: 109;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  718 (449:>=*);
#decisions: 109;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  719 (448:>=*);
#decisions: 100;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  720 (447:>=*);
#decisions: 99;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  721 (446:>=*);
#decisions: 99;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  722 (445:>=*);
#decisions: 98;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  723 (444:>=*);
#decisions: 96;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  724 (443:>=*);
#decisions: 98;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  725 (442:>=*);
#decisions: 94;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  726 (441:>=*);
#decisions: 93;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  727 (440:>=*);
#decisions: 95;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  728 (439:>=*);
#decisions: 93;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  729 (438:>=*);
#decisions: 92;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  730 (437:>=*);
#decisions: 94;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  731 (436:>=*);
#decisions: 91;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  732 (435:>=*);
#decisions: 90;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  733 (434:>=*);
#decisions: 89;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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:  734 (433:>=*);
#decisions: 91;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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:  735 (432:>=*);
#decisions: 101;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 501, #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:  736 (431:>=*);
#decisions: 113;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 501, #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:  737 (430:>=*);
#decisions: 123;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 501, #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:  738 (429:>=*);
#decisions: 109;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 501, #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:  739 (428:>=*);
#decisions: 133;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 501, #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:  740 (427:>=*);
#decisions: 98;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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:  741 (426:>=*);
#decisions: 94;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 501, #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:  742 (425:>=*);
#decisions: 259;  #end-nodes: 82;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  743 (424:>=*);
#decisions: 90;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  744 (423:>=*);
#decisions: 88;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  745 (422:>=*);
#decisions: 87;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  746 (421:>=*);
#decisions: 86;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  747 (420:>=*);
#decisions: 86;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  748 (419:>=*);
#decisions: 85;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  749 (418:>=*);
#decisions: 84;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  750 (417:>=*);
#decisions: 83;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  751 (416:>=*);
#decisions: 91;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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:  752 (415:>=*);
#decisions: 87;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  753 (414:>=*);
#decisions: 87;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  754 (413:>=*);
#decisions: 85;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  755 (412:>=*);
#decisions: 85;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  756 (411:>=*);
#decisions: 84;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  757 (410:>=*);
#decisions: 87;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  758 (409:>=*);
#decisions: 83;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  759 (408:>=*);
#decisions: 82;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  760 (407:>=*);
#decisions: 86;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 501, #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:  761 (406:>=*);
#decisions: 92;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 501, #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:  762 (405:>=*);
#decisions: 93;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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:  763 (404:>=*);
#decisions: 95;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 501, #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:  764 (403:>=*);
#decisions: 157;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 501, #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:  765 (402:>=*);
#decisions: 92;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 501, #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:  766 (401:>=*);
#decisions: 90;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 501, #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:  767 (400:>=*);
#decisions: 94;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 501, #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:  768 (399:>=*);
#decisions: 87;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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:  769 (398:>=*);
#decisions: 87;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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:  770 (397:>=*);
#decisions: 1038;  #end-nodes: 497;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 12 / 81 (81)
#axs: 501, #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:  771 (396:>=*);
#decisions: 117;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 501, #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:  772 (395:>=*);
#decisions: 93;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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:  773 (394:>=*);
#decisions: 90;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  774 (393:>=*);
#decisions: 107;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 501, #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:  775 (392:>=*);
#decisions: 91;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 501, #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:  776 (391:>=*);
#decisions: 89;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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:  777 (390:>=*);
#decisions: 143;  #end-nodes: 59;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 501, #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:  778 (389:>=*);
#decisions: 757;  #end-nodes: 386;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 64 / 81 (81)
#axs: 501, #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:  779 (388:>=*);
#decisions: 127;  #end-nodes: 48;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 501, #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:  780 (387:>=*);
#decisions: 84;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 501, #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:  781 (386:>=*);
#decisions: 102;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 501, #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:  782 (385:>=*);
#decisions: 86;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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:  783 (384:>=*);
#decisions: 111;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 501, #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:  784 (383:>=*);
#decisions: 83;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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:  785 (382:>=*);
#decisions: 14918;  #end-nodes: 8322;
#proof improvement attempts: 0;  #restarts: 91
Current batch, end-nodes: 0 / 102 (102)
#axs: 501, #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:  786 (381:>=*);
#decisions: 77;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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:  787 (380:>=*);
#decisions: 75;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  788 (379:>=*);
#decisions: 78;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  789 (378:>=*);
#decisions: 83;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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:  790 (377:>=*);
#decisions: 76;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  791 (376:>=*);
#decisions: 79;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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:  792 (375:>=*);
#decisions: 75;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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:  793 (374:>=*);
#decisions: 119;  #end-nodes: 49;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 501, #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:  794 (373:>=*);
#decisions: 145;  #end-nodes: 74;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 74 / 80 (80)
#axs: 501, #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:  795 (372:>=*);
#decisions: 110;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 501, #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:  796 (371:>=*);
#decisions: 18567;  #end-nodes: 10657;
#proof improvement attempts: 0;  #restarts: 113
Current batch, end-nodes: 13 / 108 (108)
#axs: 501, #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:  797 (370:>=*);
#decisions: 86;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  798 (369:>=*);
#decisions: 86;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  799 (368:>=*);
#decisions: 128565;  #end-nodes: 88455;
#proof improvement attempts: 0;  #restarts: 580
Current batch, end-nodes: 25 / 225 (225)
#axs: 501, #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:  800 (367:>=*);
#decisions: 101;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 501, #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:  801 (366:>=*);
#decisions: 98;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 501, #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:  802 (365:>=*);
#decisions: 86;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  803 (364:>=*);
#decisions: 87;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  804 (363:>=*);
#decisions: 88;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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:  805 (362:>=*);
#decisions: 150;  #end-nodes: 69;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 69 / 80 (80)
#axs: 501, #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:  806 (361:>=*);
#decisions: 109;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 501, #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:  807 (360:>=*);
#decisions: 2103805;  #end-nodes: 1864654;
#proof improvement attempts: 0;  #restarts: 3555
Current batch, end-nodes: 657 / 968 (968)
#axs: 501, #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:  808 (359:>=*);
#decisions: 156241;  #end-nodes: 110827;
#proof improvement attempts: 0;  #restarts: 674
Current batch, end-nodes: 176 / 248 (248)
#axs: 501, #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:  809 (358:>=*);
#decisions: 158;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 501, #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:  810 (357:>=*);
#decisions: 126;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 501, #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:  811 (356:>=*);
#decisions: 96;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 501, #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:  812 (355:>=*);
#decisions: 68424;  #end-nodes: 44695;
#proof improvement attempts: 0;  #restarts: 358
Current batch, end-nodes: 67 / 169 (169)
#axs: 501, #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:  813 (354:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 813 (354:>=*)

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: 0  (#equs: 0)
Time taken: 20 min, 3 sec
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) R 29938 29939 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788144801 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/29939/statm): 174 3 169 147 0 27 0
[pid=29939] 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=29940
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=29940) exited with status: 0
New process pid=29941
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=29941) exited with status: 0
New process pid=29942
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/wulflinc4/normalized-10:10:4.5:0.95:100.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.23 0.05 0.02 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 332 0 0 0 384 191 0 0 17 0 1 0 1788144810 2441216 302 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 596 302 413 48 0 548 0
[pid=29942] vsize: 2384
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (Kb) 4512

[startup+20.004 s]
Raw data (loadavg): 0.35 0.08 0.03 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 341 0 0 0 948 334 0 0 18 0 1 0 1788144810 2441216 311 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 596 311 413 48 0 548 0
[pid=29942] vsize: 2384
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (Kb) 4512

[startup+30.0059 s]
Raw data (loadavg): 0.45 0.11 0.04 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 345 0 0 0 1460 486 0 0 16 0 1 0 1788144810 2441216 315 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 596 315 413 48 0 548 0
[pid=29942] vsize: 2384
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (Kb) 4512

[startup+40.0057 s]
Raw data (loadavg): 0.60 0.15 0.05 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 347 0 0 0 1977 642 0 0 19 0 1 0 1788144810 2441216 317 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 596 317 413 48 0 548 0
[pid=29942] vsize: 2384
Current children cumulated CPU time (s) 26.21
Current children cumulated vsize (Kb) 4512

[startup+50.0065 s]
Raw data (loadavg): 0.66 0.18 0.06 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 348 0 0 0 2487 803 0 0 17 0 1 0 1788144810 2441216 318 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 596 318 413 48 0 548 0
[pid=29942] vsize: 2384
Current children cumulated CPU time (s) 32.92
Current children cumulated vsize (Kb) 4512

[startup+60.0074 s]
Raw data (loadavg): 0.72 0.21 0.07 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 350 0 0 0 3031 950 0 0 17 0 1 0 1788144810 2441216 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 596 320 413 48 0 548 0
[pid=29942] vsize: 2384
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 4512

[startup+70.0092 s]
Raw data (loadavg): 0.76 0.23 0.08 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 352 0 0 0 3536 1109 0 0 19 0 1 0 1788144810 2568192 322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 322 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 46.47
Current children cumulated vsize (Kb) 4636

[startup+80.01 s]
Raw data (loadavg): 0.80 0.26 0.09 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 357 0 0 0 4115 1247 0 0 18 0 1 0 1788144810 2568192 327 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 627 327 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 53.64
Current children cumulated vsize (Kb) 4636

[startup+90.0109 s]
Raw data (loadavg): 0.83 0.28 0.10 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 358 0 0 0 4619 1407 0 0 17 0 1 0 1788144810 2568192 328 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 328 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 60.28
Current children cumulated vsize (Kb) 4636

[startup+100.012 s]
Raw data (loadavg): 0.85 0.31 0.11 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 364 0 0 0 5207 1540 0 0 17 0 1 0 1788144810 2568192 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 334 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 67.49
Current children cumulated vsize (Kb) 4636

[startup+110.013 s]
Raw data (loadavg): 0.87 0.33 0.12 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 366 0 0 0 5723 1696 0 0 19 0 1 0 1788144810 2568192 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 627 336 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 74.21
Current children cumulated vsize (Kb) 4636

[startup+120.014 s]
Raw data (loadavg): 0.89 0.35 0.12 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 371 0 0 0 6305 1832 0 0 17 0 1 0 1788144810 2568192 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 627 341 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 81.39
Current children cumulated vsize (Kb) 4636

[startup+130.015 s]
Raw data (loadavg): 0.91 0.37 0.13 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 372 0 0 0 6846 1981 0 0 19 0 1 0 1788144810 2568192 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 342 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 88.29
Current children cumulated vsize (Kb) 4636

[startup+140.016 s]
Raw data (loadavg): 1.00 0.41 0.15 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 377 0 0 0 7439 2112 0 0 17 0 1 0 1788144810 2568192 347 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 347 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 95.53
Current children cumulated vsize (Kb) 4636

[startup+150.017 s]
Raw data (loadavg): 1.00 0.43 0.16 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 378 0 0 0 7934 2277 0 0 17 0 1 0 1788144810 2568192 348 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 348 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (Kb) 4636

[startup+160.018 s]
Raw data (loadavg): 1.00 0.45 0.17 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 378 0 0 0 8476 2423 0 0 17 0 1 0 1788144810 2568192 348 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 348 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 109.01
Current children cumulated vsize (Kb) 4636

[startup+170.019 s]
Raw data (loadavg): 1.00 0.46 0.17 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 378 0 0 0 8992 2579 0 0 19 0 1 0 1788144810 2568192 348 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 348 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 115.73
Current children cumulated vsize (Kb) 4636

[startup+180.02 s]
Raw data (loadavg): 1.00 0.48 0.18 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 378 0 0 0 9503 2736 0 0 17 0 1 0 1788144810 2568192 348 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 348 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 122.41
Current children cumulated vsize (Kb) 4636

[startup+190.02 s]
Raw data (loadavg): 1.00 0.50 0.19 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 378 0 0 0 10055 2883 0 0 17 0 1 0 1788144810 2568192 348 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 627 348 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 129.4
Current children cumulated vsize (Kb) 4636

[startup+200.022 s]
Raw data (loadavg): 1.07 0.53 0.20 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 378 0 0 0 10573 3042 0 0 15 0 1 0 1788144810 2568192 348 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 348 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 136.17
Current children cumulated vsize (Kb) 4636

[startup+210.023 s]
Raw data (loadavg): 1.06 0.54 0.21 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 379 0 0 0 11163 3175 0 0 15 0 1 0 1788144810 2568192 349 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 349 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 143.4
Current children cumulated vsize (Kb) 4636

[startup+220.024 s]
Raw data (loadavg): 1.05 0.56 0.22 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 381 0 0 0 11669 3338 0 0 15 0 1 0 1788144810 2568192 351 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 351 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 150.09
Current children cumulated vsize (Kb) 4636

[startup+230.024 s]
Raw data (loadavg): 1.12 0.59 0.23 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 382 0 0 0 12265 3470 0 0 16 0 1 0 1788144810 2568192 352 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 627 352 413 48 0 579 0
[pid=29942] vsize: 2508
Current children cumulated CPU time (s) 157.37
Current children cumulated vsize (Kb) 4636

[startup+240.025 s]
Raw data (loadavg): 1.10 0.60 0.24 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 383 0 0 0 12780 3624 0 0 15 0 1 0 1788144810 2695168 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 353 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 164.06
Current children cumulated vsize (Kb) 4760

[startup+250.026 s]
Raw data (loadavg): 1.08 0.61 0.25 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 385 0 0 0 13388 3753 0 0 15 0 1 0 1788144810 2695168 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 355 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 171.43
Current children cumulated vsize (Kb) 4760

[startup+260.027 s]
Raw data (loadavg): 1.07 0.63 0.26 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 386 0 0 0 13909 3903 0 0 15 0 1 0 1788144810 2695168 356 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 356 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 178.14
Current children cumulated vsize (Kb) 4760

[startup+270.029 s]
Raw data (loadavg): 1.06 0.64 0.26 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 389 0 0 0 14536 4031 0 0 16 0 1 0 1788144810 2695168 359 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 359 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 185.69
Current children cumulated vsize (Kb) 4760

[startup+280.03 s]
Raw data (loadavg): 1.05 0.65 0.27 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 390 0 0 0 15067 4185 0 0 15 0 1 0 1788144810 2695168 360 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 360 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 192.54
Current children cumulated vsize (Kb) 4760

[startup+290.031 s]
Raw data (loadavg): 1.04 0.66 0.28 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 391 0 0 0 15664 4317 0 0 15 0 1 0 1788144810 2695168 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 658 361 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (Kb) 4760

[startup+300.031 s]
Raw data (loadavg): 1.11 0.69 0.29 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 391 0 0 0 16229 4458 0 0 15 0 1 0 1788144810 2695168 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 361 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 206.89
Current children cumulated vsize (Kb) 4760

[startup+310.031 s]
Raw data (loadavg): 1.10 0.70 0.30 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 393 0 0 0 16827 4593 0 0 16 0 1 0 1788144810 2695168 363 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 363 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 214.22
Current children cumulated vsize (Kb) 4760

[startup+320.033 s]
Raw data (loadavg): 1.08 0.71 0.31 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 396 0 0 0 17417 4735 0 0 15 0 1 0 1788144810 2695168 366 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 658 366 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (Kb) 4760

[startup+330.034 s]
Raw data (loadavg): 1.14 0.73 0.32 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 396 0 0 0 17988 4879 0 0 16 0 1 0 1788144810 2695168 366 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 658 366 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 228.69
Current children cumulated vsize (Kb) 4760

[startup+340.035 s]
Raw data (loadavg): 1.12 0.74 0.32 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 397 0 0 0 18596 5007 0 0 15 0 1 0 1788144810 2695168 367 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 367 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 236.05
Current children cumulated vsize (Kb) 4760

[startup+350.036 s]
Raw data (loadavg): 1.10 0.75 0.33 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 399 0 0 0 19144 5148 0 0 15 0 1 0 1788144810 2695168 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 369 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 242.94
Current children cumulated vsize (Kb) 4760

[startup+360.037 s]
Raw data (loadavg): 1.08 0.76 0.34 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 403 0 0 0 19784 5267 0 0 16 0 1 0 1788144810 2695168 373 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 373 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 250.53
Current children cumulated vsize (Kb) 4760

[startup+370.038 s]
Raw data (loadavg): 1.07 0.77 0.34 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 404 0 0 0 20315 5414 0 0 16 0 1 0 1788144810 2695168 374 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 658 374 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 257.31
Current children cumulated vsize (Kb) 4760

[startup+380.039 s]
Raw data (loadavg): 1.06 0.77 0.35 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 406 0 0 0 20951 5536 0 0 15 0 1 0 1788144810 2695168 376 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 658 376 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 264.89
Current children cumulated vsize (Kb) 4760

[startup+390.041 s]
Raw data (loadavg): 1.13 0.80 0.36 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 410 0 0 0 21512 5679 0 0 15 0 1 0 1788144810 2695168 380 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 658 380 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 271.93
Current children cumulated vsize (Kb) 4760

[startup+400.042 s]
Raw data (loadavg): 1.11 0.80 0.37 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 413 0 0 0 22121 5806 0 0 15 0 1 0 1788144810 2695168 383 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 658 383 413 48 0 610 0
[pid=29942] vsize: 2632
Current children cumulated CPU time (s) 279.29
Current children cumulated vsize (Kb) 4760

[startup+410.042 s]
Raw data (loadavg): 1.09 0.81 0.38 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 415 0 0 0 22750 5932 0 0 15 0 1 0 1788144810 2822144 385 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 385 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 286.84
Current children cumulated vsize (Kb) 4884

[startup+420.043 s]
Raw data (loadavg): 1.08 0.81 0.38 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 418 0 0 0 23304 6081 0 0 16 0 1 0 1788144810 2822144 388 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 388 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 293.87
Current children cumulated vsize (Kb) 4884

[startup+430.044 s]
Raw data (loadavg): 1.07 0.82 0.39 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 421 0 0 0 23941 6205 0 0 15 0 1 0 1788144810 2822144 391 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 689 391 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 301.48
Current children cumulated vsize (Kb) 4884

[startup+440.045 s]
Raw data (loadavg): 1.06 0.82 0.39 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 423 0 0 0 24465 6368 0 0 15 0 1 0 1788144810 2822144 393 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 393 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 308.35
Current children cumulated vsize (Kb) 4884

[startup+450.047 s]
Raw data (loadavg): 1.12 0.85 0.40 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 428 0 0 0 25130 6477 0 0 16 0 1 0 1788144810 2822144 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 689 398 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 316.09
Current children cumulated vsize (Kb) 4884

[startup+460.048 s]
Raw data (loadavg): 1.10 0.85 0.41 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 430 0 0 0 25752 6603 0 0 15 0 1 0 1788144810 2822144 400 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 400 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (Kb) 4884

[startup+470.049 s]
Raw data (loadavg): 1.08 0.86 0.42 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 431 0 0 0 26326 6749 0 0 16 0 1 0 1788144810 2822144 401 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 401 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 330.77
Current children cumulated vsize (Kb) 4884

[startup+480.05 s]
Raw data (loadavg): 1.07 0.86 0.42 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 434 0 0 0 26973 6865 0 0 16 0 1 0 1788144810 2822144 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 404 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 338.4
Current children cumulated vsize (Kb) 4884

[startup+490.051 s]
Raw data (loadavg): 1.06 0.86 0.43 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 435 0 0 0 27493 7018 0 0 15 0 1 0 1788144810 2822144 405 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 405 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 345.13
Current children cumulated vsize (Kb) 4884

[startup+500.052 s]
Raw data (loadavg): 1.05 0.87 0.43 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 437 0 0 0 28171 7127 0 0 16 0 1 0 1788144810 2822144 407 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 407 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 353
Current children cumulated vsize (Kb) 4884

[startup+510.053 s]
Raw data (loadavg): 1.12 0.89 0.44 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 437 0 0 0 28816 7243 0 0 15 0 1 0 1788144810 2822144 407 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 407 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 360.61
Current children cumulated vsize (Kb) 4884

[startup+520.054 s]
Raw data (loadavg): 1.10 0.89 0.45 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 438 0 0 0 29381 7395 0 0 15 0 1 0 1788144810 2822144 408 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 408 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 367.78
Current children cumulated vsize (Kb) 4884

[startup+530.054 s]
Raw data (loadavg): 1.09 0.89 0.46 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 441 0 0 0 30060 7502 0 0 16 0 1 0 1788144810 2822144 411 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 689 411 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 375.64
Current children cumulated vsize (Kb) 4884

[startup+540.054 s]
Raw data (loadavg): 1.07 0.90 0.46 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 442 0 0 0 30638 7641 0 0 15 0 1 0 1788144810 2822144 412 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 689 412 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 382.81
Current children cumulated vsize (Kb) 4884

[startup+550.055 s]
Raw data (loadavg): 1.06 0.90 0.47 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 443 0 0 0 31255 7765 0 0 16 0 1 0 1788144810 2822144 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 413 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 390.22
Current children cumulated vsize (Kb) 4884

[startup+560.056 s]
Raw data (loadavg): 1.05 0.90 0.47 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 443 0 0 0 31938 7875 0 0 16 0 1 0 1788144810 2822144 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 413 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 398.15
Current children cumulated vsize (Kb) 4884

[startup+570.058 s]
Raw data (loadavg): 1.12 0.92 0.48 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 444 0 0 0 32466 8034 0 0 16 0 1 0 1788144810 2822144 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 689 414 413 48 0 641 0
[pid=29942] vsize: 2756
Current children cumulated CPU time (s) 405.02
Current children cumulated vsize (Kb) 4884

[startup+580.059 s]
Raw data (loadavg): 1.10 0.92 0.49 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 445 0 0 0 33137 8147 0 0 16 0 1 0 1788144810 2949120 415 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 415 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 412.86
Current children cumulated vsize (Kb) 5008

[startup+590.058 s]
Raw data (loadavg): 1.08 0.93 0.49 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 445 0 0 0 33821 8250 0 0 15 0 1 0 1788144810 2949120 415 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 415 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 420.73
Current children cumulated vsize (Kb) 5008

[startup+600.059 s]
Raw data (loadavg): 1.14 0.94 0.50 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 446 0 0 0 34372 8404 0 0 15 0 1 0 1788144810 2949120 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 416 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 427.78
Current children cumulated vsize (Kb) 5008

[startup+610.06 s]
Raw data (loadavg): 1.12 0.94 0.51 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 446 0 0 0 35054 8513 0 0 16 0 1 0 1788144810 2949120 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 416 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 435.69
Current children cumulated vsize (Kb) 5008

[startup+620.061 s]
Raw data (loadavg): 1.18 0.96 0.52 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 446 0 0 0 35674 8640 0 0 16 0 1 0 1788144810 2949120 416 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 416 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 443.16
Current children cumulated vsize (Kb) 5008

[startup+630.063 s]
Raw data (loadavg): 1.15 0.96 0.52 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 447 0 0 0 36270 8773 0 0 16 0 1 0 1788144810 2949120 417 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 417 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 450.45
Current children cumulated vsize (Kb) 5008

[startup+640.064 s]
Raw data (loadavg): 1.13 0.96 0.53 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 447 0 0 0 36949 8882 0 0 16 0 1 0 1788144810 2949120 417 4294967295 134512640 134702520 3221223952 3221223072 134588369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 417 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (Kb) 5008

[startup+650.064 s]
Raw data (loadavg): 1.11 0.96 0.53 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 449 0 0 0 37577 9009 0 0 15 0 1 0 1788144810 2949120 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 419 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 465.88
Current children cumulated vsize (Kb) 5008

[startup+660.065 s]
Raw data (loadavg): 1.17 0.98 0.54 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 449 0 0 0 38198 9125 0 0 15 0 1 0 1788144810 2949120 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 419 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 473.25
Current children cumulated vsize (Kb) 5008

[startup+670.067 s]
Raw data (loadavg): 1.22 1.00 0.55 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 450 0 0 0 38882 9227 0 0 16 0 1 0 1788144810 2949120 420 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 420 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 481.11
Current children cumulated vsize (Kb) 5008

[startup+680.068 s]
Raw data (loadavg): 1.26 1.02 0.56 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 450 0 0 0 39469 9360 0 0 15 0 1 0 1788144810 2949120 420 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 420 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 488.31
Current children cumulated vsize (Kb) 5008

[startup+690.069 s]
Raw data (loadavg): 1.22 1.01 0.56 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 450 0 0 0 40107 9478 0 0 15 0 1 0 1788144810 2949120 420 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 420 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 495.87
Current children cumulated vsize (Kb) 5008

[startup+700.071 s]
Raw data (loadavg): 1.26 1.03 0.57 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 451 0 0 0 40812 9578 0 0 15 0 1 0 1788144810 2949120 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 421 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 503.92
Current children cumulated vsize (Kb) 5008

[startup+710.071 s]
Raw data (loadavg): 1.22 1.03 0.58 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 451 0 0 0 41387 9716 0 0 15 0 1 0 1788144810 2949120 421 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 421 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 511.05
Current children cumulated vsize (Kb) 5008

[startup+720.073 s]
Raw data (loadavg): 1.19 1.03 0.58 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 452 0 0 0 42028 9832 0 0 16 0 1 0 1788144810 2949120 422 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 422 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 518.62
Current children cumulated vsize (Kb) 5008

[startup+730.075 s]
Raw data (loadavg): 1.23 1.04 0.59 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 452 0 0 0 42728 9937 0 0 16 0 1 0 1788144810 2949120 422 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 422 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 526.67
Current children cumulated vsize (Kb) 5008

[startup+740.075 s]
Raw data (loadavg): 1.20 1.04 0.59 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 452 0 0 0 43304 10078 0 0 16 0 1 0 1788144810 2949120 422 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 422 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 533.84
Current children cumulated vsize (Kb) 5008

[startup+750.077 s]
Raw data (loadavg): 1.17 1.04 0.60 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 453 0 0 0 43939 10197 0 0 15 0 1 0 1788144810 2949120 423 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 423 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 541.38
Current children cumulated vsize (Kb) 5008

[startup+760.077 s]
Raw data (loadavg): 1.29 1.07 0.61 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 453 0 0 0 44645 10295 0 0 16 0 1 0 1788144810 2949120 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 423 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 549.42
Current children cumulated vsize (Kb) 5008

[startup+770.079 s]
Raw data (loadavg): 1.24 1.07 0.62 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 454 0 0 0 45236 10433 0 0 15 0 1 0 1788144810 2949120 424 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 424 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 556.71
Current children cumulated vsize (Kb) 5008

[startup+780.08 s]
Raw data (loadavg): 1.20 1.06 0.62 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 454 0 0 0 45881 10554 0 0 16 0 1 0 1788144810 2949120 424 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 424 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (Kb) 5008

[startup+790.081 s]
Raw data (loadavg): 1.17 1.06 0.62 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 455 0 0 0 46571 10660 0 0 16 0 1 0 1788144810 2949120 425 4294967295 134512640 134702520 3221223952 3221223072 134584454 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 425 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 572.33
Current children cumulated vsize (Kb) 5008

[startup+800.083 s]
Raw data (loadavg): 1.15 1.06 0.63 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 456 0 0 0 47205 10784 0 0 15 0 1 0 1788144810 2949120 426 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 426 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (Kb) 5008

[startup+810.084 s]
Raw data (loadavg): 1.20 1.07 0.64 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 456 0 0 0 47824 10913 0 0 16 0 1 0 1788144810 2949120 426 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 426 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 587.39
Current children cumulated vsize (Kb) 5008

[startup+820.086 s]
Raw data (loadavg): 1.17 1.07 0.64 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 456 0 0 0 48530 11015 0 0 16 0 1 0 1788144810 2949120 426 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 426 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 595.47
Current children cumulated vsize (Kb) 5008

[startup+830.086 s]
Raw data (loadavg): 1.14 1.07 0.64 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 456 0 0 0 49201 11124 0 0 15 0 1 0 1788144810 2949120 426 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 426 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 603.27
Current children cumulated vsize (Kb) 5008

[startup+840.087 s]
Raw data (loadavg): 1.12 1.06 0.65 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 457 0 0 0 49751 11273 0 0 15 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 610.26
Current children cumulated vsize (Kb) 5008

[startup+850.088 s]
Raw data (loadavg): 1.17 1.08 0.66 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 457 0 0 0 50461 11370 0 0 16 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221223072 134588207 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 618.33
Current children cumulated vsize (Kb) 5008

[startup+860.089 s]
Raw data (loadavg): 1.15 1.07 0.66 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 457 0 0 0 51167 11465 0 0 15 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 626.34
Current children cumulated vsize (Kb) 5008

[startup+870.091 s]
Raw data (loadavg): 1.12 1.07 0.66 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 457 0 0 0 51718 11617 0 0 16 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 633.37
Current children cumulated vsize (Kb) 5008

[startup+880.091 s]
Raw data (loadavg): 1.10 1.07 0.66 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 457 0 0 0 52429 11717 0 0 16 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 641.48
Current children cumulated vsize (Kb) 5008

[startup+890.091 s]
Raw data (loadavg): 1.09 1.06 0.67 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 457 0 0 0 53121 11819 0 0 16 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 649.42
Current children cumulated vsize (Kb) 5008

[startup+900.093 s]
Raw data (loadavg): 1.07 1.06 0.67 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 457 0 0 0 53679 11965 0 0 15 0 1 0 1788144810 2949120 427 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 427 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 656.46
Current children cumulated vsize (Kb) 5008

[startup+910.094 s]
Raw data (loadavg): 1.06 1.06 0.67 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 458 0 0 0 54367 12067 0 0 16 0 1 0 1788144810 2949120 428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 428 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 664.36
Current children cumulated vsize (Kb) 5008

[startup+920.095 s]
Raw data (loadavg): 1.12 1.07 0.68 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 458 0 0 0 55089 12159 0 0 16 0 1 0 1788144810 2949120 428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 428 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 672.5
Current children cumulated vsize (Kb) 5008

[startup+930.097 s]
Raw data (loadavg): 1.11 1.07 0.68 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 458 0 0 0 55720 12278 0 0 15 0 1 0 1788144810 2949120 428 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 428 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 680
Current children cumulated vsize (Kb) 5008

[startup+940.097 s]
Raw data (loadavg): 1.09 1.07 0.69 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 459 0 0 0 56338 12404 0 0 16 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 687.44
Current children cumulated vsize (Kb) 5008

[startup+950.098 s]
Raw data (loadavg): 1.07 1.06 0.69 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 459 0 0 0 57061 12497 0 0 16 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 695.6
Current children cumulated vsize (Kb) 5008

[startup+960.099 s]
Raw data (loadavg): 1.06 1.06 0.69 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 459 0 0 0 57761 12598 0 0 15 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 703.61
Current children cumulated vsize (Kb) 5008

[startup+970.101 s]
Raw data (loadavg): 1.13 1.07 0.70 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 459 0 0 0 58303 12747 0 0 16 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 710.52
Current children cumulated vsize (Kb) 5008

[startup+980.102 s]
Raw data (loadavg): 1.11 1.07 0.70 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 459 0 0 0 59029 12836 0 0 16 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 718.67
Current children cumulated vsize (Kb) 5008

[startup+990.103 s]
Raw data (loadavg): 1.09 1.07 0.71 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 459 0 0 0 59724 12938 0 0 15 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 726.64
Current children cumulated vsize (Kb) 5008

[startup+1000.1 s]
Raw data (loadavg): 1.08 1.07 0.71 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 459 0 0 0 60310 13080 0 0 16 0 1 0 1788144810 2949120 429 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 429 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 733.92
Current children cumulated vsize (Kb) 5008

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.06 0.71 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 460 0 0 0 60981 13187 0 0 16 0 1 0 1788144810 2949120 430 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 430 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 741.7
Current children cumulated vsize (Kb) 5008

[startup+1020.11 s]
Raw data (loadavg): 1.05 1.06 0.72 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 461 0 0 0 61682 13290 0 0 15 0 1 0 1788144810 2949120 431 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 431 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 749.74
Current children cumulated vsize (Kb) 5008

[startup+1030.11 s]
Raw data (loadavg): 1.04 1.06 0.72 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 462 0 0 0 62383 13391 0 0 16 0 1 0 1788144810 2949120 432 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 432 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 757.76
Current children cumulated vsize (Kb) 5008

[startup+1040.11 s]
Raw data (loadavg): 1.04 1.06 0.72 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 462 0 0 0 62960 13528 0 0 16 0 1 0 1788144810 2949120 432 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 432 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 764.9
Current children cumulated vsize (Kb) 5008

[startup+1050.11 s]
Raw data (loadavg): 1.03 1.05 0.72 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 462 0 0 0 63661 13628 0 0 16 0 1 0 1788144810 2949120 432 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 432 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 772.91
Current children cumulated vsize (Kb) 5008

[startup+1060.11 s]
Raw data (loadavg): 1.11 1.07 0.73 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 463 0 0 0 64348 13731 0 0 16 0 1 0 1788144810 2949120 433 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 433 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 780.81
Current children cumulated vsize (Kb) 5008

[startup+1070.11 s]
Raw data (loadavg): 1.09 1.07 0.73 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 463 0 0 0 64938 13861 0 0 15 0 1 0 1788144810 2949120 433 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 433 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 788.01
Current children cumulated vsize (Kb) 5008

[startup+1080.11 s]
Raw data (loadavg): 1.07 1.06 0.74 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 463 0 0 0 65620 13967 0 0 16 0 1 0 1788144810 2949120 433 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 433 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 795.89
Current children cumulated vsize (Kb) 5008

[startup+1090.11 s]
Raw data (loadavg): 1.06 1.06 0.74 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 463 0 0 0 66341 14065 0 0 16 0 1 0 1788144810 2949120 433 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 433 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 804.08
Current children cumulated vsize (Kb) 5008

[startup+1100.11 s]
Raw data (loadavg): 1.05 1.06 0.74 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 463 0 0 0 67052 14164 0 0 15 0 1 0 1788144810 2949120 433 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 433 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 812.18
Current children cumulated vsize (Kb) 5008

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.06 0.74 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 464 0 0 0 67591 14312 0 0 16 0 1 0 1788144810 2949120 434 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 434 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 819.05
Current children cumulated vsize (Kb) 5008

[startup+1120.11 s]
Raw data (loadavg): 1.04 1.05 0.74 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 464 0 0 0 68310 14405 0 0 16 0 1 0 1788144810 2949120 434 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 434 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 827.17
Current children cumulated vsize (Kb) 5008

[startup+1130.11 s]
Raw data (loadavg): 1.03 1.05 0.75 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 464 0 0 0 69032 14492 0 0 16 0 1 0 1788144810 2949120 434 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 434 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 835.26
Current children cumulated vsize (Kb) 5008

[startup+1140.12 s]
Raw data (loadavg): 1.10 1.07 0.75 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 464 0 0 0 69678 14609 0 0 15 0 1 0 1788144810 2949120 434 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 434 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 842.89
Current children cumulated vsize (Kb) 5008

[startup+1150.12 s]
Raw data (loadavg): 1.08 1.06 0.76 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 465 0 0 0 70202 14765 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 849.69
Current children cumulated vsize (Kb) 5008

[startup+1160.12 s]
Raw data (loadavg): 1.07 1.06 0.76 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 70720 14923 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 856.45
Current children cumulated vsize (Kb) 5008

[startup+1170.12 s]
Raw data (loadavg): 1.06 1.06 0.76 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 71258 15070 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 863.3
Current children cumulated vsize (Kb) 5008

[startup+1180.12 s]
Raw data (loadavg): 1.05 1.06 0.76 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 71768 15230 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 870
Current children cumulated vsize (Kb) 5008

[startup+1190.12 s]
Raw data (loadavg): 1.04 1.05 0.76 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 72343 15375 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 877.2
Current children cumulated vsize (Kb) 5008

[startup+1200.12 s]
Raw data (loadavg): 1.03 1.05 0.77 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 72849 15539 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 883.9
Current children cumulated vsize (Kb) 5008

[startup+1210.12 s]
Raw data (loadavg): 1.03 1.05 0.77 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 73443 15670 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 891.15
Current children cumulated vsize (Kb) 5008

[startup+1220.12 s]
Raw data (loadavg): 1.02 1.05 0.77 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 73963 15829 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 897.94
Current children cumulated vsize (Kb) 5008

[startup+1230.13 s]
Raw data (loadavg): 1.02 1.05 0.77 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 74556 15965 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 905.23
Current children cumulated vsize (Kb) 5008

[startup+1240.13 s]
Raw data (loadavg): 1.02 1.04 0.77 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 75061 16125 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 911.88
Current children cumulated vsize (Kb) 5008

[startup+1250.13 s]
Raw data (loadavg): 1.01 1.04 0.78 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 75670 16253 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 919.25
Current children cumulated vsize (Kb) 5008

[startup+1260.13 s]
Raw data (loadavg): 1.01 1.04 0.78 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 76197 16410 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 926.09
Current children cumulated vsize (Kb) 5008

[startup+1270.13 s]
Raw data (loadavg): 1.01 1.04 0.78 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 465 0 0 0 76808 16543 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 933.53
Current children cumulated vsize (Kb) 5008

[startup+1280.13 s]
Raw data (loadavg): 1.01 1.04 0.78 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 77316 16703 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 940.21
Current children cumulated vsize (Kb) 5008

[startup+1290.13 s]
Raw data (loadavg): 1.01 1.03 0.78 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 77866 16847 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 947.15
Current children cumulated vsize (Kb) 5008

[startup+1300.13 s]
Raw data (loadavg): 1.08 1.05 0.79 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 78373 17006 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 953.81
Current children cumulated vsize (Kb) 5008

[startup+1310.14 s]
Raw data (loadavg): 1.14 1.06 0.80 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 78912 17154 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 960.68
Current children cumulated vsize (Kb) 5008

[startup+1320.14 s]
Raw data (loadavg): 1.12 1.06 0.80 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 79430 17311 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 967.43
Current children cumulated vsize (Kb) 5008

[startup+1330.14 s]
Raw data (loadavg): 1.10 1.06 0.80 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 79982 17459 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 974.43
Current children cumulated vsize (Kb) 5008

[startup+1340.14 s]
Raw data (loadavg): 1.09 1.06 0.80 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 80550 17601 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 981.53
Current children cumulated vsize (Kb) 5008

[startup+1350.14 s]
Raw data (loadavg): 1.07 1.05 0.81 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 81107 17748 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 988.57
Current children cumulated vsize (Kb) 5008

[startup+1360.14 s]
Raw data (loadavg): 1.06 1.05 0.81 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 465 0 0 0 81630 17903 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 995.35
Current children cumulated vsize (Kb) 5008

[startup+1370.14 s]
Raw data (loadavg): 1.05 1.05 0.81 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 82190 18049 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (Kb) 5008

[startup+1380.14 s]
Raw data (loadavg): 1.04 1.05 0.81 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 82702 18214 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1009.18
Current children cumulated vsize (Kb) 5008

[startup+1390.14 s]
Raw data (loadavg): 1.11 1.06 0.82 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 83279 18353 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1016.34
Current children cumulated vsize (Kb) 5008

[startup+1400.14 s]
Raw data (loadavg): 1.09 1.06 0.82 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 83809 18503 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1023.14
Current children cumulated vsize (Kb) 5008

[startup+1410.14 s]
Raw data (loadavg): 1.08 1.06 0.82 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 84386 18647 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1030.35
Current children cumulated vsize (Kb) 5008

[startup+1420.14 s]
Raw data (loadavg): 1.07 1.05 0.82 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 84914 18803 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1037.19
Current children cumulated vsize (Kb) 5008

[startup+1430.15 s]
Raw data (loadavg): 1.06 1.05 0.82 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 85496 18949 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1044.47
Current children cumulated vsize (Kb) 5008

[startup+1440.15 s]
Raw data (loadavg): 1.05 1.05 0.82 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 86010 19114 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1051.26
Current children cumulated vsize (Kb) 5008

[startup+1450.15 s]
Raw data (loadavg): 1.12 1.07 0.83 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 86601 19250 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1058.53
Current children cumulated vsize (Kb) 5008

[startup+1460.15 s]
Raw data (loadavg): 1.10 1.06 0.83 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 87134 19397 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1065.33
Current children cumulated vsize (Kb) 5008

[startup+1470.15 s]
Raw data (loadavg): 1.08 1.06 0.83 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 87743 19523 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1072.68
Current children cumulated vsize (Kb) 5008

[startup+1480.15 s]
Raw data (loadavg): 1.07 1.06 0.83 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 465 0 0 0 88303 19666 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1079.71
Current children cumulated vsize (Kb) 5008

[startup+1490.15 s]
Raw data (loadavg): 1.06 1.06 0.83 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 88919 19793 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1087.14
Current children cumulated vsize (Kb) 5008

[startup+1500.15 s]
Raw data (loadavg): 1.05 1.05 0.83 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 89439 19950 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1093.91
Current children cumulated vsize (Kb) 5008

[startup+1510.15 s]
Raw data (loadavg): 1.04 1.05 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 90063 20073 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1101.38
Current children cumulated vsize (Kb) 5008

[startup+1520.15 s]
Raw data (loadavg): 1.04 1.05 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 90582 20235 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1108.19
Current children cumulated vsize (Kb) 5008

[startup+1530.16 s]
Raw data (loadavg): 1.03 1.05 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 91212 20355 0 0 15 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1115.69
Current children cumulated vsize (Kb) 5008

[startup+1540.16 s]
Raw data (loadavg): 1.02 1.05 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 465 0 0 0 91749 20503 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1122.54
Current children cumulated vsize (Kb) 5008

[startup+1550.16 s]
Raw data (loadavg): 1.02 1.04 0.84 2/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) R 29939 29939 6847 0 -1 0 465 0 0 0 92375 20628 0 0 16 0 1 0 1788144810 2949120 435 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 435 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1130.05
Current children cumulated vsize (Kb) 5008

[startup+1560.16 s]
Raw data (loadavg): 1.02 1.04 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 466 0 0 0 92975 20759 0 0 15 0 1 0 1788144810 2949120 436 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 436 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1137.36
Current children cumulated vsize (Kb) 5008

[startup+1570.16 s]
Raw data (loadavg): 1.01 1.04 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 467 0 0 0 93550 20899 0 0 16 0 1 0 1788144810 2949120 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 437 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1144.51
Current children cumulated vsize (Kb) 5008

[startup+1580.16 s]
Raw data (loadavg): 1.01 1.04 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 467 0 0 0 94206 21017 0 0 15 0 1 0 1788144810 2949120 437 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 437 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1152.25
Current children cumulated vsize (Kb) 5008

[startup+1590.16 s]
Raw data (loadavg): 1.01 1.04 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 467 0 0 0 94735 21171 0 0 15 0 1 0 1788144810 2949120 437 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 437 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1159.08
Current children cumulated vsize (Kb) 5008

[startup+1600.16 s]
Raw data (loadavg): 1.01 1.03 0.84 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 467 0 0 0 95377 21293 0 0 16 0 1 0 1788144810 2949120 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 437 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1166.72
Current children cumulated vsize (Kb) 5008

[startup+1610.17 s]
Raw data (loadavg): 1.01 1.03 0.85 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 467 0 0 0 95944 21431 0 0 15 0 1 0 1788144810 2949120 437 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 437 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1173.77
Current children cumulated vsize (Kb) 5008

[startup+1620.17 s]
Raw data (loadavg): 1.00 1.03 0.85 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 468 0 0 0 96571 21555 0 0 15 0 1 0 1788144810 2949120 438 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 438 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1181.28
Current children cumulated vsize (Kb) 5008

[startup+1630.17 s]
Raw data (loadavg): 1.08 1.04 0.85 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 468 0 0 0 97217 21670 0 0 16 0 1 0 1788144810 2949120 438 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29942/statm): 720 438 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1188.89
Current children cumulated vsize (Kb) 5008

[startup+1640.17 s]
Raw data (loadavg): 1.14 1.06 0.86 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 468 0 0 0 97778 21818 0 0 15 0 1 0 1788144810 2949120 438 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 438 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1195.98
Current children cumulated vsize (Kb) 5008

[startup+1650.17 s]
Raw data (loadavg): 1.12 1.06 0.86 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 468 0 0 0 98439 21925 0 0 16 0 1 0 1788144810 2949120 438 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 438 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1203.66
Current children cumulated vsize (Kb) 5008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1650.17 s]
Raw data (loadavg): 1.12 1.06 0.86 1/57 29942
Raw data (/proc/29939/stat): 29939 (vallstSAT2005PB) S 29938 29939 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1788144801 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/29939/statm): 532 242 485 147 0 385 0
[pid=29939] vsize: 2128
Raw data (/proc/29942/stat): 29942 (vallst) T 29939 29939 6847 0 -1 0 468 0 0 0 98439 21925 0 0 16 0 1 0 1788144810 2949120 438 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29942/statm): 720 438 413 48 0 672 0
[pid=29942] vsize: 2880
Current children cumulated CPU time (s) 1203.66
Current children cumulated vsize (Kb) 5008

Sending SIGTERM to -29939
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=29944
New process pid=29945
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
One traced child (pid=29942) exited with status: 3
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/27815/stat
open syscall for file /proc/27815/status
open syscall for file /proc/27815/cmdline
open syscall for file /proc/27815/environ
open syscall for file /proc/9981/stat
open syscall for file /proc/9981/status
open syscall for file /proc/9981/cmdline
open syscall for file /proc/9981/environ
open syscall for file /proc/10008/stat
open syscall for file /proc/10008/status
open syscall for file /proc/10008/cmdline
open syscall for file /proc/10008/environ
open syscall for file /proc/10032/stat
open syscall for file /proc/10032/status
open syscall for file /proc/10032/cmdline
open syscall for file /proc/10032/environ
open syscall for file /proc/9140/stat
open syscall for file /proc/9140/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/9140/cmdline
open syscall for file /proc/9140/environ
open syscall for file /proc/9175/stat
open syscall for file /proc/9175/status
open syscall for file /proc/9175/cmdline
open syscall for file /proc/9175/environ
open syscall for file /proc/6847/stat
open syscall for file /proc/6847/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/6847/cmdline
open syscall for file /proc/6847/environ
open syscall for file /proc/6848/stat
open syscall for file /proc/6848/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/6848/cmdline
open syscall for file /proc/6848/environ
open syscall for file /proc/6857/stat
open syscall for file /proc/6857/status
open syscall for file /proc/6857/cmdline
open syscall for file /proc/6857/environ
open syscall for file /proc/29902/stat
open syscall for file /proc/29902/status
open syscall for file /proc/29902/cmdline
open syscall for file /proc/29902/environ
open syscall for file /proc/29938/stat
open syscall for file /proc/29938/status
open syscall for file /proc/29938/cmdline
open syscall for file /proc/29938/environ
open syscall for file /proc/29939/stat
open syscall for file /proc/29939/status
open syscall for file /proc/29939/cmdline
open syscall for file /proc/29939/environ
open syscall for file /proc/29944/stat
open syscall for file /proc/29944/status
open syscall for file /proc/29944/cmdline
open syscall for file /proc/29944/environ
open syscall for file /proc/29945/stat
open syscall for file /proc/29945/status
open syscall for file /proc/29945/cmdline
open syscall for file /proc/29945/environ
One traced child (pid=29944) exited with status: 0
One traced child (pid=29945) exited with status: 0
New process pid=29946
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=29946) exited with status: 0
New process pid=29947
execve syscall for /bin/nice executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=29947) exited with status: 0
New process pid=29948
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=29948) exited with status: 0
New process pid=29949
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=29949) exited with status: 0
One traced child (pid=29939) 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): 1650.72
CPU time (s): 1203.8
CPU user time (s): 984.449
CPU system time (s): 219.35
CPU usage (%): 72.9256
Max. virtual memory (cumulated for all children) (Kb): 5008

Verifier Data

ERROR: no interpretation found !