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.5:100.opb
MD5SUMdd81121db7c1c4b8597dd9571c707a87
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 YES
Number of terms in the objective function 372
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 983
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 983
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark19.3841
Number of variables372
Total number of constraints792
Number of constraints which are clauses345
Number of constraints which are cardinality constraints (but not clauses)447
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18

Trace number 3752

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-19 02:35:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7424 boxname=wulflinc3 idbench=392 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc3/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc3/normalized-10:10:4.5:0.5:100.opb 0
IDLAUNCH: 7424
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        915344 kB
Buffers:         35128 kB
Cached:          57924 kB
SwapCached:        856 kB
Active:          64276 kB
Inactive:        31444 kB
HighTotal:      131008 kB
HighFree:        71596 kB
LowTotal:       903652 kB
LowFree:        843748 kB
SwapTotal:     2097136 kB
SwapFree:      2095712 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            17900 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 03:03:19 (client local time) WITH STATUS 0 IN 1202.11 SECONDS
stats: 7424 7 1202.11 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 135;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  607 (375:>=*);
#decisions: 129;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  608 (374:>=*);
#decisions: 127;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  609 (373:>=*);
#decisions: 124;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  610 (372:>=*);
#decisions: 123;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  611 (371:>=*);
#decisions: 163;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  613 (369:>=*);
#decisions: 122;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  614 (368:>=*);
#decisions: 121;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  615 (367:>=*);
#decisions: 119;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  616 (366:>=*);
#decisions: 118;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  617 (365:>=*);
#decisions: 113;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  618 (364:>=*);
#decisions: 112;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  619 (363:>=*);
#decisions: 110;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  620 (362:>=*);
#decisions: 109;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  621 (361:>=*);
#decisions: 110;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  622 (360:>=*);
#decisions: 108;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  623 (359:>=*);
#decisions: 106;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  624 (358:>=*);
#decisions: 102;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  625 (357:>=*);
#decisions: 101;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  626 (356:>=*);
#decisions: 95;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  627 (355:>=*);
#decisions: 92;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  628 (354:>=*);
#decisions: 94;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  629 (353:>=*);
#decisions: 91;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  630 (352:>=*);
#decisions: 88;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  631 (351:>=*);
#decisions: 86;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  632 (350:>=*);
#decisions: 84;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  633 (349:>=*);
#decisions: 81;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  634 (348:>=*);
#decisions: 80;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  635 (347:>=*);
#decisions: 78;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  636 (346:>=*);
#decisions: 75;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  637 (345:>=*);
#decisions: 74;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  638 (344:>=*);
#decisions: 72;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  639 (343:>=*);
#decisions: 71;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  640 (342:>=*);
#decisions: 71;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  641 (341:>=*);
#decisions: 69;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  642 (340:>=*);
#decisions: 67;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  643 (339:>=*);
#decisions: 67;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  644 (338:>=*);
#decisions: 66;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  645 (337:>=*);
#decisions: 68;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  646 (336:>=*);
#decisions: 66;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  647 (335:>=*);
#decisions: 64;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  648 (334:>=*);
#decisions: 64;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  649 (333:>=*);
#decisions: 61;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  650 (332:>=*);
#decisions: 57;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  651 (331:>=*);
#decisions: 56;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  652 (330:>=*);
#decisions: 57;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  653 (329:>=*);
#decisions: 56;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  654 (328:>=*);
#decisions: 55;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  655 (327:>=*);
#decisions: 64;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 421, #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:  656 (326:>=*);
#decisions: 78;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 421, #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:  657 (325:>=*);
#decisions: 222;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  658 (324:>=*);
#decisions: 85;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  659 (323:>=*);
#decisions: 84;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  660 (322:>=*);
#decisions: 85;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  661 (321:>=*);
#decisions: 80;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  662 (320:>=*);
#decisions: 77;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  663 (319:>=*);
#decisions: 75;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  664 (318:>=*);
#decisions: 73;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  665 (317:>=*);
#decisions: 75;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  666 (316:>=*);
#decisions: 73;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  667 (315:>=*);
#decisions: 71;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  668 (314:>=*);
#decisions: 71;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  669 (313:>=*);
#decisions: 70;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  670 (312:>=*);
#decisions: 69;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  671 (311:>=*);
#decisions: 70;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  672 (310:>=*);
#decisions: 68;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  673 (309:>=*);
#decisions: 67;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  674 (308:>=*);
#decisions: 64;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  675 (307:>=*);
#decisions: 63;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  676 (306:>=*);
#decisions: 62;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (305:>=*);
#decisions: 65;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (304:>=*);
#decisions: 64;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  679 (303:>=*);
#decisions: 61;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (302:>=*);
#decisions: 60;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (301:>=*);
#decisions: 58;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (300:>=*);
#decisions: 57;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (299:>=*);
#decisions: 57;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (298:>=*);
#decisions: 56;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (297:>=*);
#decisions: 55;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (296:>=*);
#decisions: 58;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 421, #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 (295:>=*);
#decisions: 72;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 421, #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 (294:>=*);
#decisions: 881;  #end-nodes: 485;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 1 / 81 (81)
#axs: 421, #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 (293:>=*);
#decisions: 69;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (292:>=*);
#decisions: 65;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (291:>=*);
#decisions: 61;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (290:>=*);
#decisions: 60;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (289:>=*);
#decisions: 61;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 421, #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 (288:>=*);
#decisions: 62;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 421, #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 (287:>=*);
#decisions: 64;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 421, #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 (286:>=*);
#decisions: 63;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 421, #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 (285:>=*);
#decisions: 67;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 421, #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 (284:>=*);
#decisions: 61;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 421, #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 (283:>=*);
#decisions: 2645;  #end-nodes: 1591;
#proof improvement attempts: 0;  #restarts: 19
Current batch, end-nodes: 33 / 84 (84)
#axs: 421, #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 (282:>=*);
#decisions: 8926;  #end-nodes: 5636;
#proof improvement attempts: 0;  #restarts: 64
Current batch, end-nodes: 23 / 96 (96)
#axs: 421, #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 (281:>=*);
#decisions: 64;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 421, #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 (280:>=*);
#decisions: 119;  #end-nodes: 59;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 421, #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 (279:>=*);
#decisions: 63;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 421, #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 (278:>=*);
#decisions: 60;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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 (277:>=*);
#decisions: 23954;  #end-nodes: 15943;
#proof improvement attempts: 0;  #restarts: 159
Current batch, end-nodes: 98 / 119 (119)
#axs: 421, #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 (276:>=*);
#decisions: 38255;  #end-nodes: 26362;
#proof improvement attempts: 0;  #restarts: 240
Current batch, end-nodes: 33 / 140 (140)
#axs: 421, #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 (275:>=*);
#decisions: 59;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 421, #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:  708 (274:>=*);
#decisions: 88846;  #end-nodes: 65564;
#proof improvement attempts: 0;  #restarts: 472
Current batch, end-nodes: 50 / 198 (198)
#axs: 421, #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 (273:>=*);
#decisions: 4974;  #end-nodes: 3135;
#proof improvement attempts: 0;  #restarts: 37
Current batch, end-nodes: 18 / 89 (89)
#axs: 421, #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 (272:>=*);
#decisions: 82;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 421, #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 (271:>=*);
#decisions: 111;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 421, #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 (270:>=*);
#decisions: 72;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 421, #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 (269:>=*);
#decisions: 75997;  #end-nodes: 55830;
#proof improvement attempts: 0;  #restarts: 421
Current batch, end-nodes: 97 / 185 (185)
#axs: 421, #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 (268:>=*);
Interupt request received.
#decisions: 3747685;  #end-nodes: 3507586;
#proof improvement attempts: 0;  #restarts: 4987
Current batch, end-nodes: 1113 / 1326 (1326)
#axs: 421, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 714 (268:>=*)

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

Watcher Data

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

[startup+10.0037 s]
Raw data (loadavg): 0.96 0.99 0.99 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 321 0 0 0 354 200 0 0 17 0 1 0 1788102576 2400256 291 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 586 291 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (Kb) 4472

[startup+20.0046 s]
Raw data (loadavg): 0.96 0.99 0.99 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 327 0 0 0 854 359 0 0 18 0 1 0 1788102576 2400256 297 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 297 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (Kb) 4472

[startup+30.0054 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 329 0 0 0 1339 524 0 0 17 0 1 0 1788102576 2400256 299 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 586 299 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 18.65
Current children cumulated vsize (Kb) 4472

[startup+40.0073 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 332 0 0 0 1865 677 0 0 17 0 1 0 1788102576 2400256 302 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 302 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (Kb) 4472

[startup+50.0081 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 333 0 0 0 2350 843 0 0 17 0 1 0 1788102576 2400256 303 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 303 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 31.95
Current children cumulated vsize (Kb) 4472

[startup+60.0089 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 335 0 0 0 2867 994 0 0 17 0 1 0 1788102576 2400256 305 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 305 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 38.63
Current children cumulated vsize (Kb) 4472

[startup+70.0098 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 337 0 0 0 3365 1150 0 0 18 0 1 0 1788102576 2400256 307 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 307 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 45.17
Current children cumulated vsize (Kb) 4472

[startup+80.0106 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 338 0 0 0 3867 1309 0 0 17 0 1 0 1788102576 2400256 308 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 586 308 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 51.78
Current children cumulated vsize (Kb) 4472

[startup+90.0124 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 338 0 0 0 4360 1473 0 0 17 0 1 0 1788102576 2400256 308 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 308 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 58.35
Current children cumulated vsize (Kb) 4472

[startup+100.013 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 339 0 0 0 4870 1633 0 0 17 0 1 0 1788102576 2400256 309 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 586 309 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 65.05
Current children cumulated vsize (Kb) 4472

[startup+110.014 s]
Raw data (loadavg): 1.11 1.02 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 340 0 0 0 5390 1791 0 0 17 0 1 0 1788102576 2400256 310 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 586 310 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 71.83
Current children cumulated vsize (Kb) 4472

[startup+120.016 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 342 0 0 0 5899 1945 0 0 17 0 1 0 1788102576 2400256 312 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 586 312 413 48 0 538 0
[pid=23225] vsize: 2344
Current children cumulated CPU time (s) 78.46
Current children cumulated vsize (Kb) 4472

[startup+130.017 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 345 0 0 0 6444 2093 0 0 17 0 1 0 1788102576 2531328 315 4294967295 134512640 134702520 3221223952 3221222848 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 315 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 85.39
Current children cumulated vsize (Kb) 4600

[startup+140.018 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 346 0 0 0 6944 2262 0 0 19 0 1 0 1788102576 2531328 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 316 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 92.08
Current children cumulated vsize (Kb) 4600

[startup+150.019 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 349 0 0 0 7488 2409 0 0 17 0 1 0 1788102576 2531328 319 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 319 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 98.99
Current children cumulated vsize (Kb) 4600

[startup+160.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 349 0 0 0 8012 2567 0 0 17 0 1 0 1788102576 2531328 319 4294967295 134512640 134702520 3221223952 3221222848 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 319 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 105.81
Current children cumulated vsize (Kb) 4600

[startup+170.021 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 350 0 0 0 8536 2721 0 0 17 0 1 0 1788102576 2531328 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 320 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 112.59
Current children cumulated vsize (Kb) 4600

[startup+180.022 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 350 0 0 0 9074 2873 0 0 17 0 1 0 1788102576 2531328 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 320 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 119.49
Current children cumulated vsize (Kb) 4600

[startup+190.024 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 350 0 0 0 9614 3029 0 0 16 0 1 0 1788102576 2531328 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 320 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 126.45
Current children cumulated vsize (Kb) 4600

[startup+200.025 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 351 0 0 0 10135 3186 0 0 16 0 1 0 1788102576 2531328 321 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 321 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 133.23
Current children cumulated vsize (Kb) 4600

[startup+210.026 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 351 0 0 0 10674 3338 0 0 15 0 1 0 1788102576 2531328 321 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 321 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 140.14
Current children cumulated vsize (Kb) 4600

[startup+220.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 352 0 0 0 11198 3496 0 0 16 0 1 0 1788102576 2531328 322 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 322 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 146.96
Current children cumulated vsize (Kb) 4600

[startup+230.027 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 354 0 0 0 11745 3653 0 0 15 0 1 0 1788102576 2531328 324 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 324 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 154
Current children cumulated vsize (Kb) 4600

[startup+240.028 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 354 0 0 0 12250 3815 0 0 16 0 1 0 1788102576 2531328 324 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 324 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 160.67
Current children cumulated vsize (Kb) 4600

[startup+250.029 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 354 0 0 0 12794 3958 0 0 16 0 1 0 1788102576 2531328 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 324 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 167.54
Current children cumulated vsize (Kb) 4600

[startup+260.03 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 354 0 0 0 13310 4120 0 0 15 0 1 0 1788102576 2531328 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 324 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 174.32
Current children cumulated vsize (Kb) 4600

[startup+270.031 s]
Raw data (loadavg): 1.18 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 355 0 0 0 13846 4275 0 0 15 0 1 0 1788102576 2531328 325 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 325 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 181.23
Current children cumulated vsize (Kb) 4600

[startup+280.031 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 355 0 0 0 14383 4428 0 0 16 0 1 0 1788102576 2531328 325 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 325 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 188.13
Current children cumulated vsize (Kb) 4600

[startup+290.032 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 356 0 0 0 14910 4586 0 0 15 0 1 0 1788102576 2531328 326 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 326 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 194.98
Current children cumulated vsize (Kb) 4600

[startup+300.033 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 358 0 0 0 15460 4736 0 0 16 0 1 0 1788102576 2531328 328 4294967295 134512640 134702520 3221223952 3221222720 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 328 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 201.98
Current children cumulated vsize (Kb) 4600

[startup+310.034 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 358 0 0 0 15989 4888 0 0 16 0 1 0 1788102576 2531328 328 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 328 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 208.79
Current children cumulated vsize (Kb) 4600

[startup+320.035 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 360 0 0 0 16568 5030 0 0 16 0 1 0 1788102576 2531328 330 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 330 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 216
Current children cumulated vsize (Kb) 4600

[startup+330.036 s]
Raw data (loadavg): 1.06 1.04 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 362 0 0 0 17088 5185 0 0 15 0 1 0 1788102576 2531328 332 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 332 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 222.75
Current children cumulated vsize (Kb) 4600

[startup+340.036 s]
Raw data (loadavg): 1.05 1.04 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 364 0 0 0 17659 5328 0 0 16 0 1 0 1788102576 2531328 334 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 334 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 229.89
Current children cumulated vsize (Kb) 4600

[startup+350.037 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 365 0 0 0 18193 5479 0 0 16 0 1 0 1788102576 2531328 335 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 335 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 236.74
Current children cumulated vsize (Kb) 4600

[startup+360.038 s]
Raw data (loadavg): 1.19 1.07 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 368 0 0 0 18772 5622 0 0 15 0 1 0 1788102576 2531328 338 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 618 338 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 243.96
Current children cumulated vsize (Kb) 4600

[startup+370.039 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 369 0 0 0 19308 5785 0 0 15 0 1 0 1788102576 2531328 339 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 339 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 250.95
Current children cumulated vsize (Kb) 4600

[startup+380.04 s]
Raw data (loadavg): 1.14 1.07 1.01 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 374 0 0 0 19889 5919 0 0 16 0 1 0 1788102576 2531328 344 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 344 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 258.1
Current children cumulated vsize (Kb) 4600

[startup+390.041 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 375 0 0 0 20421 6072 0 0 16 0 1 0 1788102576 2531328 345 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 618 345 413 48 0 570 0
[pid=23225] vsize: 2472
Current children cumulated CPU time (s) 264.95
Current children cumulated vsize (Kb) 4600

[startup+400.042 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 379 0 0 0 21010 6207 0 0 16 0 1 0 1788102576 2662400 349 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 349 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 272.19
Current children cumulated vsize (Kb) 4728

[startup+410.042 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 381 0 0 0 21541 6362 0 0 15 0 1 0 1788102576 2662400 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 650 351 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 279.05
Current children cumulated vsize (Kb) 4728

[startup+420.043 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 381 0 0 0 22151 6494 0 0 16 0 1 0 1788102576 2662400 351 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 650 351 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 286.47
Current children cumulated vsize (Kb) 4728

[startup+430.044 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 382 0 0 0 22673 6647 0 0 15 0 1 0 1788102576 2662400 352 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 352 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 293.22
Current children cumulated vsize (Kb) 4728

[startup+440.045 s]
Raw data (loadavg): 1.12 1.07 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 384 0 0 0 23276 6779 0 0 15 0 1 0 1788102576 2662400 354 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 650 354 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 300.57
Current children cumulated vsize (Kb) 4728

[startup+450.046 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 387 0 0 0 23828 6926 0 0 15 0 1 0 1788102576 2662400 357 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 357 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 307.56
Current children cumulated vsize (Kb) 4728

[startup+460.047 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 390 0 0 0 24427 7069 0 0 15 0 1 0 1788102576 2662400 360 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 360 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 314.98
Current children cumulated vsize (Kb) 4728

[startup+470.047 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 394 0 0 0 24987 7214 0 0 15 0 1 0 1788102576 2662400 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23225/statm): 650 364 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 322.03
Current children cumulated vsize (Kb) 4728

[startup+480.048 s]
Raw data (loadavg): 1.21 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 395 0 0 0 25577 7351 0 0 16 0 1 0 1788102576 2662400 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 650 365 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 329.3
Current children cumulated vsize (Kb) 4728

[startup+490.05 s]
Raw data (loadavg): 1.25 1.10 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 400 0 0 0 26165 7487 0 0 15 0 1 0 1788102576 2662400 370 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 370 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 336.54
Current children cumulated vsize (Kb) 4728

[startup+500.051 s]
Raw data (loadavg): 1.21 1.10 1.02 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 403 0 0 0 26728 7631 0 0 15 0 1 0 1788102576 2662400 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 373 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 343.61
Current children cumulated vsize (Kb) 4728

[startup+510.052 s]
Raw data (loadavg): 1.26 1.11 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 407 0 0 0 27344 7765 0 0 16 0 1 0 1788102576 2662400 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 650 377 413 48 0 602 0
[pid=23225] vsize: 2600
Current children cumulated CPU time (s) 351.11
Current children cumulated vsize (Kb) 4728

[startup+520.053 s]
Raw data (loadavg): 1.22 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 408 0 0 0 27882 7919 0 0 15 0 1 0 1788102576 2797568 378 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 378 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 358.03
Current children cumulated vsize (Kb) 4860

[startup+530.054 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 411 0 0 0 28499 8046 0 0 15 0 1 0 1788102576 2797568 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 381 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 365.47
Current children cumulated vsize (Kb) 4860

[startup+540.054 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 412 0 0 0 29039 8197 0 0 16 0 1 0 1788102576 2797568 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 382 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 372.38
Current children cumulated vsize (Kb) 4860

[startup+550.055 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 413 0 0 0 29660 8323 0 0 15 0 1 0 1788102576 2797568 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 383 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 379.85
Current children cumulated vsize (Kb) 4860

[startup+560.056 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 416 0 0 0 30239 8462 0 0 15 0 1 0 1788102576 2797568 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 386 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 387.03
Current children cumulated vsize (Kb) 4860

[startup+570.057 s]
Raw data (loadavg): 1.15 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 416 0 0 0 30810 8605 0 0 16 0 1 0 1788102576 2797568 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 386 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 394.17
Current children cumulated vsize (Kb) 4860

[startup+580.058 s]
Raw data (loadavg): 1.13 1.10 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 418 0 0 0 31448 8732 0 0 16 0 1 0 1788102576 2797568 388 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 388 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 401.82
Current children cumulated vsize (Kb) 4860

[startup+590.059 s]
Raw data (loadavg): 1.11 1.10 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 419 0 0 0 31986 8886 0 0 16 0 1 0 1788102576 2797568 389 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 389 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (Kb) 4860

[startup+600.06 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 420 0 0 0 32599 9017 0 0 16 0 1 0 1788102576 2797568 390 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 390 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 416.18
Current children cumulated vsize (Kb) 4860

[startup+610.061 s]
Raw data (loadavg): 1.16 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 422 0 0 0 33179 9153 0 0 15 0 1 0 1788102576 2797568 392 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 392 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 423.34
Current children cumulated vsize (Kb) 4860

[startup+620.062 s]
Raw data (loadavg): 1.13 1.10 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 424 0 0 0 33786 9282 0 0 16 0 1 0 1788102576 2797568 394 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 394 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 430.7
Current children cumulated vsize (Kb) 4860

[startup+630.063 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 427 0 0 0 34414 9401 0 0 16 0 1 0 1788102576 2797568 397 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 397 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 438.17
Current children cumulated vsize (Kb) 4860

[startup+640.065 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 428 0 0 0 34948 9559 0 0 15 0 1 0 1788102576 2797568 398 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 398 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 445.09
Current children cumulated vsize (Kb) 4860

[startup+650.066 s]
Raw data (loadavg): 1.08 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 430 0 0 0 35596 9678 0 0 15 0 1 0 1788102576 2797568 400 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 400 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 452.76
Current children cumulated vsize (Kb) 4860

[startup+660.066 s]
Raw data (loadavg): 1.07 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 433 0 0 0 36175 9820 0 0 16 0 1 0 1788102576 2797568 403 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 403 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 459.97
Current children cumulated vsize (Kb) 4860

[startup+670.068 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 436 0 0 0 36797 9947 0 0 16 0 1 0 1788102576 2797568 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 406 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 467.46
Current children cumulated vsize (Kb) 4860

[startup+680.069 s]
Raw data (loadavg): 1.13 1.10 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 437 0 0 0 37447 10069 0 0 16 0 1 0 1788102576 2797568 407 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 407 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 475.18
Current children cumulated vsize (Kb) 4860

[startup+690.07 s]
Raw data (loadavg): 1.11 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 438 0 0 0 37997 10222 0 0 16 0 1 0 1788102576 2797568 408 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 683 408 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 482.21
Current children cumulated vsize (Kb) 4860

[startup+700.071 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 440 0 0 0 38623 10348 0 0 15 0 1 0 1788102576 2797568 410 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 410 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 489.73
Current children cumulated vsize (Kb) 4860

[startup+710.072 s]
Raw data (loadavg): 1.08 1.08 1.02 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 440 0 0 0 39210 10483 0 0 16 0 1 0 1788102576 2797568 410 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 683 410 413 48 0 635 0
[pid=23225] vsize: 2732
Current children cumulated CPU time (s) 496.95
Current children cumulated vsize (Kb) 4860

[startup+720.072 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 443 0 0 0 39812 10619 0 0 16 0 1 0 1788102576 2932736 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 413 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 504.33
Current children cumulated vsize (Kb) 4992

[startup+730.073 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 446 0 0 0 40463 10731 0 0 15 0 1 0 1788102576 2932736 416 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 416 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 511.96
Current children cumulated vsize (Kb) 4992

[startup+740.075 s]
Raw data (loadavg): 1.12 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 446 0 0 0 41017 10882 0 0 15 0 1 0 1788102576 2932736 416 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 416 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 519.01
Current children cumulated vsize (Kb) 4992

[startup+750.076 s]
Raw data (loadavg): 1.10 1.09 1.02 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 448 0 0 0 41660 11010 0 0 16 0 1 0 1788102576 2932736 418 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 418 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 526.72
Current children cumulated vsize (Kb) 4992

[startup+760.076 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 448 0 0 0 42308 11133 0 0 15 0 1 0 1788102576 2932736 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 418 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 534.43
Current children cumulated vsize (Kb) 4992

[startup+770.077 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 449 0 0 0 42847 11288 0 0 15 0 1 0 1788102576 2932736 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 419 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 541.37
Current children cumulated vsize (Kb) 4992

[startup+780.077 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 452 0 0 0 43503 11408 0 0 16 0 1 0 1788102576 2932736 422 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 422 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 549.13
Current children cumulated vsize (Kb) 4992

[startup+790.078 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 453 0 0 0 44099 11546 0 0 16 0 1 0 1788102576 2932736 423 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 423 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 556.47
Current children cumulated vsize (Kb) 4992

[startup+800.079 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 454 0 0 0 44711 11674 0 0 15 0 1 0 1788102576 2932736 424 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 424 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 563.87
Current children cumulated vsize (Kb) 4992

[startup+810.08 s]
Raw data (loadavg): 1.10 1.09 1.02 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 457 0 0 0 45362 11794 0 0 16 0 1 0 1788102576 2932736 427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 427 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 571.58
Current children cumulated vsize (Kb) 4992

[startup+820.081 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 458 0 0 0 45922 11937 0 0 15 0 1 0 1788102576 2932736 428 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 428 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 578.61
Current children cumulated vsize (Kb) 4992

[startup+830.082 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 459 0 0 0 46562 12053 0 0 15 0 1 0 1788102576 2932736 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 429 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 586.17
Current children cumulated vsize (Kb) 4992

[startup+840.082 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 460 0 0 0 47211 12171 0 0 16 0 1 0 1788102576 2932736 430 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 430 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 593.84
Current children cumulated vsize (Kb) 4992

[startup+850.083 s]
Raw data (loadavg): 1.13 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 460 0 0 0 47751 12323 0 0 15 0 1 0 1788102576 2932736 430 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 430 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 600.76
Current children cumulated vsize (Kb) 4992

[startup+860.084 s]
Raw data (loadavg): 1.19 1.10 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 463 0 0 0 48416 12437 0 0 15 0 1 0 1788102576 2932736 433 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 433 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 608.55
Current children cumulated vsize (Kb) 4992

[startup+870.085 s]
Raw data (loadavg): 1.16 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 464 0 0 0 49080 12552 0 0 16 0 1 0 1788102576 2932736 434 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 434 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 616.34
Current children cumulated vsize (Kb) 4992

[startup+880.086 s]
Raw data (loadavg): 1.13 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 464 0 0 0 49620 12699 0 0 15 0 1 0 1788102576 2932736 434 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 434 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 623.21
Current children cumulated vsize (Kb) 4992

[startup+890.088 s]
Raw data (loadavg): 1.11 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 465 0 0 0 50265 12817 0 0 16 0 1 0 1788102576 2932736 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 435 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 630.84
Current children cumulated vsize (Kb) 4992

[startup+900.088 s]
Raw data (loadavg): 1.10 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 466 0 0 0 50929 12931 0 0 16 0 1 0 1788102576 2932736 436 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 436 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 638.62
Current children cumulated vsize (Kb) 4992

[startup+910.089 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 466 0 0 0 51494 13070 0 0 15 0 1 0 1788102576 2932736 436 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 436 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 645.66
Current children cumulated vsize (Kb) 4992

[startup+920.091 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 469 0 0 0 52157 13186 0 0 15 0 1 0 1788102576 2932736 439 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 716 439 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 653.45
Current children cumulated vsize (Kb) 4992

[startup+930.092 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 469 0 0 0 52803 13302 0 0 16 0 1 0 1788102576 2932736 439 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 439 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 661.07
Current children cumulated vsize (Kb) 4992

[startup+940.093 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 471 0 0 0 53364 13446 0 0 16 0 1 0 1788102576 2932736 441 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 716 441 413 48 0 668 0
[pid=23225] vsize: 2864
Current children cumulated CPU time (s) 668.12
Current children cumulated vsize (Kb) 4992

[startup+950.095 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 475 0 0 0 54038 13551 0 0 16 0 1 0 1788102576 3067904 445 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 445 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 675.91
Current children cumulated vsize (Kb) 5124

[startup+960.095 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 476 0 0 0 54673 13670 0 0 16 0 1 0 1788102576 3067904 446 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 446 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 683.45
Current children cumulated vsize (Kb) 5124

[startup+970.095 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 477 0 0 0 55240 13816 0 0 15 0 1 0 1788102576 3067904 447 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 447 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 690.58
Current children cumulated vsize (Kb) 5124

[startup+980.096 s]
Raw data (loadavg): 1.10 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 480 0 0 0 55919 13923 0 0 16 0 1 0 1788102576 3067904 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 450 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 698.44
Current children cumulated vsize (Kb) 5124

[startup+990.098 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 481 0 0 0 56564 14045 0 0 15 0 1 0 1788102576 3067904 451 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 451 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 706.11
Current children cumulated vsize (Kb) 5124

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 482 0 0 0 57138 14181 0 0 15 0 1 0 1788102576 3067904 452 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 452 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 713.21
Current children cumulated vsize (Kb) 5124

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 483 0 0 0 57803 14294 0 0 16 0 1 0 1788102576 3067904 453 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 453 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 720.99
Current children cumulated vsize (Kb) 5124

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 485 0 0 0 58458 14411 0 0 15 0 1 0 1788102576 3067904 455 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 455 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 728.71
Current children cumulated vsize (Kb) 5124

[startup+1030.1 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 487 0 0 0 59024 14554 0 0 16 0 1 0 1788102576 3067904 457 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 457 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 735.8
Current children cumulated vsize (Kb) 5124

[startup+1040.1 s]
Raw data (loadavg): 1.04 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 488 0 0 0 59684 14670 0 0 15 0 1 0 1788102576 3067904 458 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 458 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 743.56
Current children cumulated vsize (Kb) 5124

[startup+1050.1 s]
Raw data (loadavg): 1.10 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 488 0 0 0 60368 14776 0 0 16 0 1 0 1788102576 3067904 458 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 458 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 751.46
Current children cumulated vsize (Kb) 5124

[startup+1060.11 s]
Raw data (loadavg): 1.09 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 489 0 0 0 60912 14932 0 0 15 0 1 0 1788102576 3067904 459 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 459 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 758.46
Current children cumulated vsize (Kb) 5124

[startup+1070.11 s]
Raw data (loadavg): 1.07 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 491 0 0 0 61566 15051 0 0 15 0 1 0 1788102576 3067904 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 461 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 766.19
Current children cumulated vsize (Kb) 5124

[startup+1080.11 s]
Raw data (loadavg): 1.06 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 492 0 0 0 62239 15164 0 0 16 0 1 0 1788102576 3067904 462 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 462 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 774.05
Current children cumulated vsize (Kb) 5124

[startup+1090.11 s]
Raw data (loadavg): 1.05 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 492 0 0 0 62774 15312 0 0 15 0 1 0 1788102576 3067904 462 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 462 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 780.88
Current children cumulated vsize (Kb) 5124

[startup+1100.11 s]
Raw data (loadavg): 1.04 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 493 0 0 0 63467 15414 0 0 15 0 1 0 1788102576 3067904 463 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 463 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 788.83
Current children cumulated vsize (Kb) 5124

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 496 0 0 0 64132 15528 0 0 15 0 1 0 1788102576 3067904 466 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 466 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 796.62
Current children cumulated vsize (Kb) 5124

[startup+1120.11 s]
Raw data (loadavg): 1.03 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 496 0 0 0 64694 15674 0 0 15 0 1 0 1788102576 3067904 466 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 466 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 803.7
Current children cumulated vsize (Kb) 5124

[startup+1130.11 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 499 0 0 0 65337 15791 0 0 15 0 1 0 1788102576 3067904 469 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 469 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 811.3
Current children cumulated vsize (Kb) 5124

[startup+1140.11 s]
Raw data (loadavg): 1.16 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 500 0 0 0 66025 15898 0 0 16 0 1 0 1788102576 3067904 470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 470 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 819.25
Current children cumulated vsize (Kb) 5124

[startup+1150.12 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 500 0 0 0 66627 16037 0 0 15 0 1 0 1788102576 3067904 470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 470 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 826.66
Current children cumulated vsize (Kb) 5124

[startup+1160.12 s]
Raw data (loadavg): 1.11 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 501 0 0 0 67249 16163 0 0 15 0 1 0 1788102576 3067904 471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 471 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 834.14
Current children cumulated vsize (Kb) 5124

[startup+1170.12 s]
Raw data (loadavg): 1.09 1.08 1.02 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 504 0 0 0 67931 16277 0 0 16 0 1 0 1788102576 3067904 474 4294967295 134512640 134702520 3221223952 3221222848 134554409 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 474 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 842.1
Current children cumulated vsize (Kb) 5124

[startup+1180.12 s]
Raw data (loadavg): 1.08 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 504 0 0 0 68576 16398 0 0 15 0 1 0 1788102576 3067904 474 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 474 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 849.76
Current children cumulated vsize (Kb) 5124

[startup+1190.12 s]
Raw data (loadavg): 1.07 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 505 0 0 0 69155 16535 0 0 16 0 1 0 1788102576 3067904 475 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 749 475 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 856.92
Current children cumulated vsize (Kb) 5124

[startup+1200.12 s]
Raw data (loadavg): 1.06 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 505 0 0 0 69814 16652 0 0 15 0 1 0 1788102576 3067904 475 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 749 475 413 48 0 701 0
[pid=23225] vsize: 2996
Current children cumulated CPU time (s) 864.68
Current children cumulated vsize (Kb) 5124

[startup+1210.12 s]
Raw data (loadavg): 1.05 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 507 0 0 0 70499 16757 0 0 15 0 1 0 1788102576 3203072 477 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 477 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 872.58
Current children cumulated vsize (Kb) 5256

[startup+1220.12 s]
Raw data (loadavg): 1.04 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 507 0 0 0 71039 16908 0 0 15 0 1 0 1788102576 3203072 477 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 477 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 879.49
Current children cumulated vsize (Kb) 5256

[startup+1230.13 s]
Raw data (loadavg): 1.03 1.06 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 508 0 0 0 71725 17018 0 0 16 0 1 0 1788102576 3203072 478 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 478 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 887.45
Current children cumulated vsize (Kb) 5256

[startup+1240.13 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 510 0 0 0 72412 17122 0 0 16 0 1 0 1788102576 3203072 480 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 480 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 895.36
Current children cumulated vsize (Kb) 5256

[startup+1250.13 s]
Raw data (loadavg): 1.09 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 511 0 0 0 73000 17259 0 0 15 0 1 0 1788102576 3203072 481 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 481 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 902.61
Current children cumulated vsize (Kb) 5256

[startup+1260.13 s]
Raw data (loadavg): 1.08 1.07 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 512 0 0 0 73637 17385 0 0 16 0 1 0 1788102576 3203072 482 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 482 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 910.24
Current children cumulated vsize (Kb) 5256

[startup+1270.13 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 516 0 0 0 74327 17495 0 0 15 0 1 0 1788102576 3203072 486 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 486 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 918.24
Current children cumulated vsize (Kb) 5256

[startup+1280.13 s]
Raw data (loadavg): 1.20 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 517 0 0 0 74989 17606 0 0 15 0 1 0 1788102576 3203072 487 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 487 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 925.97
Current children cumulated vsize (Kb) 5256

[startup+1290.13 s]
Raw data (loadavg): 1.25 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 517 0 0 0 75552 17750 0 0 16 0 1 0 1788102576 3203072 487 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 487 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 933.04
Current children cumulated vsize (Kb) 5256

[startup+1300.13 s]
Raw data (loadavg): 1.21 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 517 0 0 0 76238 17864 0 0 16 0 1 0 1788102576 3203072 487 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 487 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 941.04
Current children cumulated vsize (Kb) 5256

[startup+1310.13 s]
Raw data (loadavg): 1.17 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 519 0 0 0 76904 17973 0 0 16 0 1 0 1788102576 3203072 489 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 489 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 948.79
Current children cumulated vsize (Kb) 5256

[startup+1320.14 s]
Raw data (loadavg): 1.22 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 519 0 0 0 77481 18115 0 0 15 0 1 0 1788102576 3203072 489 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 489 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 955.98
Current children cumulated vsize (Kb) 5256

[startup+1330.14 s]
Raw data (loadavg): 1.19 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 519 0 0 0 78153 18218 0 0 15 0 1 0 1788102576 3203072 489 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 489 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 963.73
Current children cumulated vsize (Kb) 5256

[startup+1340.14 s]
Raw data (loadavg): 1.16 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 519 0 0 0 78824 18326 0 0 15 0 1 0 1788102576 3203072 489 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 489 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 971.52
Current children cumulated vsize (Kb) 5256

[startup+1350.14 s]
Raw data (loadavg): 1.13 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 519 0 0 0 79484 18438 0 0 15 0 1 0 1788102576 3203072 489 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 489 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 979.24
Current children cumulated vsize (Kb) 5256

[startup+1360.14 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 519 0 0 0 80068 18579 0 0 15 0 1 0 1788102576 3203072 489 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 489 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 986.49
Current children cumulated vsize (Kb) 5256

[startup+1370.14 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 520 0 0 0 80750 18683 0 0 15 0 1 0 1788102576 3203072 490 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 490 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 994.35
Current children cumulated vsize (Kb) 5256

[startup+1380.14 s]
Raw data (loadavg): 1.15 1.11 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 520 0 0 0 81421 18794 0 0 15 0 1 0 1788102576 3203072 490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 490 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1002.17
Current children cumulated vsize (Kb) 5256

[startup+1390.15 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 521 0 0 0 82008 18933 0 0 16 0 1 0 1788102576 3203072 491 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 491 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1009.43
Current children cumulated vsize (Kb) 5256

[startup+1400.15 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 521 0 0 0 82683 19043 0 0 15 0 1 0 1788102576 3203072 491 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 491 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1017.28
Current children cumulated vsize (Kb) 5256

[startup+1410.15 s]
Raw data (loadavg): 1.09 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 521 0 0 0 83353 19154 0 0 15 0 1 0 1788102576 3203072 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 491 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1025.09
Current children cumulated vsize (Kb) 5256

[startup+1420.15 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 524 0 0 0 84026 19266 0 0 16 0 1 0 1788102576 3203072 494 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 494 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1032.94
Current children cumulated vsize (Kb) 5256

[startup+1430.15 s]
Raw data (loadavg): 1.06 1.09 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 525 0 0 0 84597 19403 0 0 16 0 1 0 1788102576 3203072 495 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 495 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1040.02
Current children cumulated vsize (Kb) 5256

[startup+1440.15 s]
Raw data (loadavg): 1.13 1.10 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 525 0 0 0 85286 19512 0 0 16 0 1 0 1788102576 3203072 495 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 495 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1048
Current children cumulated vsize (Kb) 5256

[startup+1450.15 s]
Raw data (loadavg): 1.19 1.11 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 526 0 0 0 85970 19620 0 0 15 0 1 0 1788102576 3203072 496 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 496 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1055.92
Current children cumulated vsize (Kb) 5256

[startup+1460.15 s]
Raw data (loadavg): 1.23 1.12 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 526 0 0 0 86565 19750 0 0 15 0 1 0 1788102576 3203072 496 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 496 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1063.17
Current children cumulated vsize (Kb) 5256

[startup+1470.15 s]
Raw data (loadavg): 1.20 1.12 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 526 0 0 0 87203 19869 0 0 15 0 1 0 1788102576 3203072 496 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 496 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1070.74
Current children cumulated vsize (Kb) 5256

[startup+1480.16 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 528 0 0 0 87882 19972 0 0 16 0 1 0 1788102576 3203072 498 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 498 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1078.56
Current children cumulated vsize (Kb) 5256

[startup+1490.16 s]
Raw data (loadavg): 1.14 1.11 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 529 0 0 0 88570 20084 0 0 16 0 1 0 1788102576 3203072 499 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 499 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1086.56
Current children cumulated vsize (Kb) 5256

[startup+1500.16 s]
Raw data (loadavg): 1.12 1.11 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 529 0 0 0 89111 20232 0 0 15 0 1 0 1788102576 3203072 499 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 499 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1093.45
Current children cumulated vsize (Kb) 5256

[startup+1510.16 s]
Raw data (loadavg): 1.10 1.10 1.04 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 530 0 0 0 89797 20340 0 0 15 0 1 0 1788102576 3203072 500 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 500 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1101.39
Current children cumulated vsize (Kb) 5256

[startup+1520.16 s]
Raw data (loadavg): 1.08 1.10 1.04 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 530 0 0 0 90484 20448 0 0 16 0 1 0 1788102576 3203072 500 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 500 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1109.34
Current children cumulated vsize (Kb) 5256

[startup+1530.16 s]
Raw data (loadavg): 1.07 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 530 0 0 0 91151 20561 0 0 15 0 1 0 1788102576 3203072 500 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 500 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1117.14
Current children cumulated vsize (Kb) 5256

[startup+1540.16 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 530 0 0 0 91746 20698 0 0 15 0 1 0 1788102576 3203072 500 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 500 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1124.46
Current children cumulated vsize (Kb) 5256

[startup+1550.16 s]
Raw data (loadavg): 1.05 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 531 0 0 0 92437 20801 0 0 16 0 1 0 1788102576 3203072 501 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 501 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1132.4
Current children cumulated vsize (Kb) 5256

[startup+1560.16 s]
Raw data (loadavg): 1.04 1.08 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 533 0 0 0 93120 20905 0 0 16 0 1 0 1788102576 3203072 503 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 503 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1140.27
Current children cumulated vsize (Kb) 5256

[startup+1570.16 s]
Raw data (loadavg): 1.04 1.08 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 534 0 0 0 93720 21037 0 0 16 0 1 0 1788102576 3203072 504 4294967295 134512640 134702520 3221223952 3221222720 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 504 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1147.59
Current children cumulated vsize (Kb) 5256

[startup+1580.17 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 536 0 0 0 94357 21160 0 0 15 0 1 0 1788102576 3203072 506 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 782 506 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1155.19
Current children cumulated vsize (Kb) 5256

[startup+1590.17 s]
Raw data (loadavg): 1.09 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 537 0 0 0 95046 21262 0 0 16 0 1 0 1788102576 3203072 507 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 782 507 413 48 0 734 0
[pid=23225] vsize: 3128
Current children cumulated CPU time (s) 1163.1
Current children cumulated vsize (Kb) 5256

[startup+1600.17 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 540 0 0 0 95732 21364 0 0 15 0 1 0 1788102576 3338240 510 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 815 510 413 48 0 767 0
[pid=23225] vsize: 3260
Current children cumulated CPU time (s) 1170.98
Current children cumulated vsize (Kb) 5388

[startup+1610.17 s]
Raw data (loadavg): 1.06 1.08 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 541 0 0 0 96307 21510 0 0 15 0 1 0 1788102576 3338240 511 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 815 511 413 48 0 767 0
[pid=23225] vsize: 3260
Current children cumulated CPU time (s) 1178.19
Current children cumulated vsize (Kb) 5388

[startup+1620.17 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 542 0 0 0 96991 21619 0 0 16 0 1 0 1788102576 3338240 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23225/statm): 815 512 413 48 0 767 0
[pid=23225] vsize: 3260
Current children cumulated CPU time (s) 1186.12
Current children cumulated vsize (Kb) 5388

[startup+1630.17 s]
Raw data (loadavg): 1.04 1.08 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) T 23222 23222 31915 0 -1 0 542 0 0 0 97686 21721 0 0 16 0 1 0 1788102576 3338240 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23225/statm): 815 512 413 48 0 767 0
[pid=23225] vsize: 3260
Current children cumulated CPU time (s) 1194.09
Current children cumulated vsize (Kb) 5388

[startup+1640.17 s]
Raw data (loadavg): 1.04 1.08 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 542 0 0 0 98367 21829 0 0 16 0 1 0 1788102576 3338240 512 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 815 512 413 48 0 767 0
[pid=23225] vsize: 3260
Current children cumulated CPU time (s) 1201.98
Current children cumulated vsize (Kb) 5388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1640.17 s]
Raw data (loadavg): 1.04 1.08 1.03 2/57 23225
Raw data (/proc/23222/stat): 23222 (vallstSAT2005PB) S 23221 23222 31915 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788102569 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23222/statm): 532 242 485 147 0 385 0
[pid=23222] vsize: 2128
Raw data (/proc/23225/stat): 23225 (vallst) R 23222 23222 31915 0 -1 0 542 0 0 0 98367 21829 0 0 16 0 1 0 1788102576 3338240 512 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23225/statm): 815 512 413 48 0 767 0
[pid=23225] vsize: 3260
Current children cumulated CPU time (s) 1201.98
Current children cumulated vsize (Kb) 5388

Sending SIGTERM to -23222
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23227
New process pid=23228
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=23225) 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/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/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/10661/stat
open syscall for file /proc/10661/status
open syscall for file /proc/10661/cmdline
open syscall for file /proc/10661/environ
open syscall for file /proc/10688/stat
open syscall for file /proc/10688/status
open syscall for file /proc/10688/cmdline
open syscall for file /proc/10688/environ
open syscall for file /proc/10712/stat
open syscall for file /proc/10712/status
open syscall for file /proc/10712/cmdline
open syscall for file /proc/10712/environ
open syscall for file /proc/24729/stat
open syscall for file /proc/24729/status
open syscall for file /proc/24729/cmdline
open syscall for file /proc/24729/environ
open syscall for file /proc/24730/stat
open syscall for file /proc/24730/status
open syscall for file /proc/24730/cmdline
open syscall for file /proc/24730/environ
open syscall for file /proc/2696/stat
open syscall for file /proc/2696/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/2696/cmdline
open syscall for file /proc/2696/environ
open syscall for file /proc/2731/stat
open syscall for file /proc/2731/status
open syscall for file /proc/2731/cmdline
open syscall for file /proc/2731/environ
open syscall for file /proc/31915/stat
open syscall for file /proc/31915/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/31915/cmdline
open syscall for file /proc/31915/environ
open syscall for file /proc/31916/stat
open syscall for file /proc/31916/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/31916/cmdline
open syscall for file /proc/31916/environ
open syscall for file /proc/31925/stat
open syscall for file /proc/31925/status
open syscall for file /proc/31925/cmdline
open syscall for file /proc/31925/environ
open syscall for file /proc/23185/stat
open syscall for file /proc/23185/status
open syscall for file /proc/23185/cmdline
open syscall for file /proc/23185/environ
open syscall for file /proc/23221/stat
open syscall for file /proc/23221/status
open syscall for file /proc/23221/cmdline
open syscall for file /proc/23221/environ
open syscall for file /proc/23222/stat
open syscall for file /proc/23222/status
open syscall for file /proc/23222/cmdline
open syscall for file /proc/23222/environ
open syscall for file /proc/23227/stat
open syscall for file /proc/23227/status
open syscall for file /proc/23227/cmdline
open syscall for file /proc/23227/environ
open syscall for file /proc/23228/stat
open syscall for file /proc/23228/status
open syscall for file /proc/23228/cmdline
open syscall for file /proc/23228/environ
One traced child (pid=23227) exited with status: 0
One traced child (pid=23228) exited with status: 0
New process pid=23229
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=23229) exited with status: 0
New process pid=23230
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=23230) exited with status: 0
New process pid=23231
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=23231) exited with status: 0
New process pid=23232
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=23232) exited with status: 0
One traced child (pid=23222) 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): 1640.73
CPU time (s): 1202.11
CPU user time (s): 983.712
CPU system time (s): 218.399
CPU usage (%): 73.267
Max. virtual memory (cumulated for all children) (Kb): 5388

Verifier Data

ERROR: no interpretation found !