Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
MD5SUM31b217e2e29235a8785a3af88a4b2ba1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 513024
Optimality of the best value was proved NO
Number of terms in the objective function 10582
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2347111
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2347111
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.08
Number of variables10582
Total number of constraints6316
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)451
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198

Trace number 9089

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-23 10:51:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7770 boxname=wulflinc21 idbench=738 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  31b217e2e29235a8785a3af88a4b2ba1  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-seymour1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-seymour1.opb 0
IDLAUNCH: 7770
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        943196 kB
Buffers:          9260 kB
Cached:          65064 kB
SwapCached:          0 kB
Active:          49072 kB
Inactive:        28148 kB
HighTotal:      131008 kB
HighFree:        61600 kB
LowTotal:       903652 kB
LowFree:        881596 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:             8560 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:13:45 (client local time) WITH STATUS 3 IN 844.44 SECONDS
stats: 7770 7 844.44 3

Solver Data

1:
seed: 0
Nr of vars set: 117  (#equs: 0)
Nr of vars set: 497  (#equs: 0)
#decisions: 3468;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-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:  1748308 (598802:>=*);
#decisions: 11219;  #end-nodes: 81;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760326 (586784:>=*);
#decisions: 2890;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760328 (586782:>=*);
#decisions: 2275;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760329 (586781:>=*);
#decisions: 5398;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760356 (586754:>=*);
#decisions: 2882;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760358 (586752:>=*);
#decisions: 2893;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760360 (586750:>=*);
#decisions: 2280;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760361 (586749:>=*);
#decisions: 7255;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760585 (586525:>=*);
#decisions: 5392;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760617 (586493:>=*);
#decisions: 6026;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760681 (586429:>=*);
#decisions: 3509;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1760685 (586425:>=*);
#decisions: 7857;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1761197 (585913:>=*);
#decisions: 2271;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1761198 (585912:>=*);
#decisions: 2958;  #end-nodes: 70;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 70 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1761200 (585910:>=*);
#decisions: 3579;  #end-nodes: 63;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 63 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1761203 (585907:>=*);
#decisions: 16528;  #end-nodes: 408;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 7 / 81 (81)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1761213 (585897:>=*);
#decisions: 2214;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1761214 (585896:>=*);
#decisions: 18357;  #end-nodes: 320;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 0 / 81 (81)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1762440 (584670:>=*);
#decisions: 7896;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1762880 (584230:>=*);
#decisions: 5424;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1762912 (584198:>=*);
#decisions: 4206;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1762918 (584192:>=*);
#decisions: 13757;  #end-nodes: 241;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 0 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1763002 (584108:>=*);
#decisions: 2907;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1763004 (584106:>=*);
#decisions: 4105;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1763012 (584098:>=*);
#decisions: 6047;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1763053 (584057:>=*);
#decisions: 4110;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1763061 (584049:>=*);
#decisions: 18151;  #end-nodes: 320;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 0 / 81 (81)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764737 (582373:>=*);
#decisions: 2912;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764739 (582371:>=*);
#decisions: 2308;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764740 (582370:>=*);
#decisions: 3556;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764744 (582366:>=*);
#decisions: 3550;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764748 (582362:>=*);
#decisions: 3569;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764751 (582359:>=*);
#decisions: 2292;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764752 (582358:>=*);
#decisions: 2316;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764753 (582357:>=*);
#decisions: 2297;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764754 (582356:>=*);
#decisions: 2937;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1764756 (582354:>=*);
#decisions: 20546;  #end-nodes: 402;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 0 / 81 (81)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1767524 (579586:>=*);
#decisions: 6641;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1767652 (579458:>=*);
#decisions: 4175;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1767660 (579450:>=*);
#decisions: 4776;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1767672 (579438:>=*);
#decisions: 2329;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1767673 (579437:>=*);
#decisions: 75101;  #end-nodes: 2334;
#proof improvement attempts: 0;  #restarts: 28
Current batch, end-nodes: 0 / 87 (87)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771562 (575548:>=*);
#decisions: 7279;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771753 (575357:>=*);
#decisions: 5496;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771772 (575338:>=*);
#decisions: 2365;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771773 (575337:>=*);
#decisions: 4216;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771781 (575329:>=*);
#decisions: 3612;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771785 (575325:>=*);
#decisions: 5526;  #end-nodes: 69;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 69 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771813 (575297:>=*);
#decisions: 3603;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771817 (575293:>=*);
#decisions: 97573;  #end-nodes: 3300;
#proof improvement attempts: 0;  #restarts: 39
Current batch, end-nodes: 0 / 89 (89)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771939 (575171:>=*);
#decisions: 5997;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1771983 (575127:>=*);
#decisions: 454083;  #end-nodes: 19932;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 5749, #non-axs: 0
tight: meta-meta: start: 6, end: 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:) 1771983 (575127:>=*)

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

2:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 497  (#equs: 0)
Nr of vars set: 497  (#equs: 0)
#decisions: 85590;  #end-nodes: 3962;
#proof improvement attempts: 0;  #restarts: 32
Current batch, end-nodes: 0 / 128 (128)
#axs: 5711, #non-axs: 0
tight: meta-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:  1734474 (453954:>=*);
#decisions: 7342;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1734666 (453762:>=*);
#decisions: 5523;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1734696 (453732:>=*);
#decisions: 3083;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1734698 (453730:>=*);
#decisions: 234884;  #end-nodes: 12371;
#proof improvement attempts: 0;  #restarts: 94
Current batch, end-nodes: 0 / 143 (143)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1736104 (452324:>=*);
#decisions: 4782;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1736120 (452308:>=*);
#decisions: 3520;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1736124 (452304:>=*);
#decisions: 248259;  #end-nodes: 13234;
#proof improvement attempts: 0;  #restarts: 100
Current batch, end-nodes: 0 / 145 (145)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1738991 (449437:>=*);
#decisions: 5514;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1739019 (449409:>=*);
#decisions: 2913;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 120 (120)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1739021 (449407:>=*);
Interupt request received.
#decisions: 1436804;  #end-nodes: 110439;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 264 (264)
#axs: 5711, #non-axs: 0
tight: meta-meta: start: 6, end: 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:) 1739021 (449407:>=*)

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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) R 4562 4563 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19607013 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 174 3 169 147 0 27 0
[pid=4563] 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=4564
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=4564) exited with status: 0
New process pid=4565
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=4565) exited with status: 0
New process pid=4566
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/wulflinc21/normalized-mps-v2-20-10-seymour1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.006 s]
Raw data (loadavg): 1.12 1.03 0.94 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 1485 0 0 0 541 150 0 0 16 0 1 0 19607022 8458240 1387 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 2065 1387 413 48 0 2017 0
[pid=4566] vsize: 8260
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (Kb) 10388

[startup+20.0077 s]
Raw data (loadavg): 1.18 1.04 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 1698 0 0 0 967 340 0 0 25 0 1 0 19607022 19398656 1600 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4736 1600 413 48 0 4688 0
[pid=4566] vsize: 18944
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (Kb) 21072

[startup+30.0084 s]
Raw data (loadavg): 1.15 1.04 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 1786 0 0 0 1875 371 0 0 24 0 1 0 19607022 19755008 1688 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4823 1688 413 48 0 4775 0
[pid=4566] vsize: 19292
Current children cumulated CPU time (s) 22.48
Current children cumulated vsize (Kb) 21420

[startup+40.0091 s]
Raw data (loadavg): 1.13 1.04 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 1786 0 0 0 2788 399 0 0 25 0 1 0 19607022 19755008 1688 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4823 1688 413 48 0 4775 0
[pid=4566] vsize: 19292
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (Kb) 21420

[startup+50.0098 s]
Raw data (loadavg): 1.11 1.04 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 1786 0 0 0 3689 435 0 0 24 0 1 0 19607022 19755008 1688 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4823 1688 413 48 0 4775 0
[pid=4566] vsize: 19292
Current children cumulated CPU time (s) 41.26
Current children cumulated vsize (Kb) 21420

[startup+60.0105 s]
Raw data (loadavg): 1.09 1.04 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2302 0 0 0 4561 478 0 0 25 0 1 0 19607022 19755008 2204 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4823 2204 413 48 0 4775 0
[pid=4566] vsize: 19292
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (Kb) 21420

[startup+70.0111 s]
Raw data (loadavg): 1.08 1.04 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2309 0 0 0 5491 502 0 0 25 0 1 0 19607022 19755008 2211 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4823 2211 413 48 0 4775 0
[pid=4566] vsize: 19292
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 21420

[startup+80.0128 s]
Raw data (loadavg): 1.06 1.03 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2320 0 0 0 6396 534 0 0 25 0 1 0 19607022 19755008 2222 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4823 2222 413 48 0 4775 0
[pid=4566] vsize: 19292
Current children cumulated CPU time (s) 69.32
Current children cumulated vsize (Kb) 21420

[startup+90.0125 s]
Raw data (loadavg): 1.05 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2323 0 0 0 7287 571 0 0 25 0 1 0 19607022 19890176 2225 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2225 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 78.6
Current children cumulated vsize (Kb) 21552

[startup+100.013 s]
Raw data (loadavg): 1.05 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2329 0 0 0 8184 606 0 0 24 0 1 0 19607022 19890176 2231 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2231 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 87.92
Current children cumulated vsize (Kb) 21552

[startup+110.014 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2335 0 0 0 9067 644 0 0 25 0 1 0 19607022 19890176 2237 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2237 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 97.13
Current children cumulated vsize (Kb) 21552

[startup+120.016 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2340 0 0 0 9979 675 0 0 24 0 1 0 19607022 19890176 2242 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2242 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 106.56
Current children cumulated vsize (Kb) 21552

[startup+130.016 s]
Raw data (loadavg): 1.03 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2383 0 0 0 10833 730 0 0 25 0 1 0 19607022 19890176 2285 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2285 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 115.65
Current children cumulated vsize (Kb) 21552

[startup+140.017 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2386 0 0 0 11686 779 0 0 25 0 1 0 19607022 19890176 2288 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4856 2288 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 124.67
Current children cumulated vsize (Kb) 21552

[startup+150.018 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2398 0 0 0 12608 805 0 0 25 0 1 0 19607022 19890176 2300 4294967295 134512640 134702520 3221223952 3221221936 1074898718 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2300 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 134.15
Current children cumulated vsize (Kb) 21552

[startup+160.018 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2399 0 0 0 13517 835 0 0 25 0 1 0 19607022 19890176 2301 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4856 2301 413 48 0 4808 0
[pid=4566] vsize: 19424
Current children cumulated CPU time (s) 143.54
Current children cumulated vsize (Kb) 21552

[startup+170.019 s]
Raw data (loadavg): 1.08 1.04 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2401 0 0 0 14377 883 0 0 25 0 1 0 19607022 20025344 2303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2303 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 152.62
Current children cumulated vsize (Kb) 21684

[startup+180.02 s]
Raw data (loadavg): 1.07 1.04 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2404 0 0 0 15233 929 0 0 25 0 1 0 19607022 20025344 2306 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4889 2306 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (Kb) 21684

[startup+190.02 s]
Raw data (loadavg): 1.06 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2429 0 0 0 16084 978 0 0 25 0 1 0 19607022 20025344 2331 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4889 2331 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 170.64
Current children cumulated vsize (Kb) 21684

[startup+200.021 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2439 0 0 0 16988 1013 0 0 24 0 1 0 19607022 20025344 2341 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2341 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 21684

[startup+210.022 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2441 0 0 0 17847 1059 0 0 25 0 1 0 19607022 20025344 2343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2343 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 189.08
Current children cumulated vsize (Kb) 21684

[startup+220.024 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2443 0 0 0 18702 1105 0 0 25 0 1 0 19607022 20025344 2345 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2345 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 198.09
Current children cumulated vsize (Kb) 21684

[startup+230.024 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2453 0 0 0 19555 1154 0 0 25 0 1 0 19607022 20025344 2355 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2355 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 207.11
Current children cumulated vsize (Kb) 21684

[startup+240.024 s]
Raw data (loadavg): 1.02 1.03 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2463 0 0 0 20420 1199 0 0 25 0 1 0 19607022 20025344 2365 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2365 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 216.21
Current children cumulated vsize (Kb) 21684

[startup+250.025 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2504 0 0 0 21283 1244 0 0 25 0 1 0 19607022 20025344 2406 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4889 2406 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 225.29
Current children cumulated vsize (Kb) 21684

[startup+260.025 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2534 0 0 0 22144 1290 0 0 25 0 1 0 19607022 20025344 2436 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4889 2436 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 234.36
Current children cumulated vsize (Kb) 21684

[startup+270.026 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2534 0 0 0 23003 1337 0 0 25 0 1 0 19607022 20025344 2436 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4889 2436 413 48 0 4841 0
[pid=4566] vsize: 19556
Current children cumulated CPU time (s) 243.42
Current children cumulated vsize (Kb) 21684

[startup+280.027 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2571 0 0 0 23861 1386 0 0 25 0 1 0 19607022 20160512 2473 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2473 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 252.49
Current children cumulated vsize (Kb) 21816

[startup+290.027 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2571 0 0 0 24723 1431 0 0 21 0 1 0 19607022 20160512 2473 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2473 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 261.56
Current children cumulated vsize (Kb) 21816

[startup+300.028 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2572 0 0 0 25573 1482 0 0 25 0 1 0 19607022 20160512 2474 4294967295 134512640 134702520 3221223952 3221223352 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4922 2474 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 270.57
Current children cumulated vsize (Kb) 21816

[startup+310.029 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2589 0 0 0 26435 1525 0 0 25 0 1 0 19607022 20160512 2491 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4922 2491 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (Kb) 21816

[startup+320.03 s]
Raw data (loadavg): 1.00 1.02 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2646 0 0 0 27294 1574 0 0 25 0 1 0 19607022 20160512 2548 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2548 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 288.7
Current children cumulated vsize (Kb) 21816

[startup+330.032 s]
Raw data (loadavg): 1.00 1.02 0.95 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2653 0 0 0 28157 1617 0 0 25 0 1 0 19607022 20160512 2555 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4922 2555 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 297.76
Current children cumulated vsize (Kb) 21816

[startup+340.033 s]
Raw data (loadavg): 1.00 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2691 0 0 0 29010 1665 0 0 25 0 1 0 19607022 20160512 2593 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2593 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 306.77
Current children cumulated vsize (Kb) 21816

[startup+350.033 s]
Raw data (loadavg): 1.00 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2722 0 0 0 29873 1714 0 0 24 0 1 0 19607022 20160512 2624 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2624 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 315.89
Current children cumulated vsize (Kb) 21816

[startup+360.034 s]
Raw data (loadavg): 1.00 1.02 0.95 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2752 0 0 0 30741 1759 0 0 17 0 1 0 19607022 20160512 2654 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2654 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 325.02
Current children cumulated vsize (Kb) 21816

[startup+370.035 s]
Raw data (loadavg): 1.08 1.03 0.96 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2756 0 0 0 31601 1806 0 0 25 0 1 0 19607022 20160512 2658 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2658 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 334.09
Current children cumulated vsize (Kb) 21816

[startup+380.035 s]
Raw data (loadavg): 1.14 1.05 0.96 2/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) R 4563 4563 4059 0 -1 0 2767 0 0 0 32460 1858 0 0 25 0 1 0 19607022 20160512 2669 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4566/statm): 4922 2669 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 343.2
Current children cumulated vsize (Kb) 21816

[startup+390.035 s]
Raw data (loadavg): 1.12 1.04 0.96 1/56 4566
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19607013 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 242 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4566/stat): 4566 (vallst) T 4563 4563 4059 0 -1 0 2767 0 0 0 33324 1901 0 0 25 0 1 0 19607022 20160512 2669 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4566/statm): 4922 2669 413 48 0 4874 0
[pid=4566] vsize: 19688
Current children cumulated CPU time (s) 352.27
Current children cumulated vsize (Kb) 21816
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4566) exited with status: 2
New process pid=4567
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4567) exited with status: 0
New process pid=4568
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+400.037 s]
Raw data (loadavg): 1.10 1.04 0.96 2/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 1307 0 0 0 430 33 0 0 20 0 1 0 19646505 8155136 1278 4294967295 134512640 134702520 3221223712 3221222848 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 1991 1278 413 48 0 1943 0
[pid=4568] vsize: 7964
Current children cumulated CPU time (s) 361.33
Current children cumulated vsize (Kb) 10092

[startup+410.038 s]
Raw data (loadavg): 1.08 1.04 0.96 2/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 1307 0 0 0 1226 101 0 0 23 0 1 0 19646505 8155136 1278 4294967295 134512640 134702520 3221223712 3221222848 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 1991 1278 413 48 0 1943 0
[pid=4568] vsize: 7964
Current children cumulated CPU time (s) 369.97
Current children cumulated vsize (Kb) 10092

[startup+420.038 s]
Raw data (loadavg): 1.14 1.05 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2368 0 0 0 2055 162 0 0 25 0 1 0 19646505 19017728 2339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4643 2339 413 48 0 4595 0
[pid=4568] vsize: 18572
Current children cumulated CPU time (s) 378.87
Current children cumulated vsize (Kb) 20700

[startup+430.039 s]
Raw data (loadavg): 1.12 1.05 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2380 0 0 0 2915 212 0 0 24 0 1 0 19646505 19111936 2351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4666 2351 413 48 0 4618 0
[pid=4568] vsize: 18664
Current children cumulated CPU time (s) 387.97
Current children cumulated vsize (Kb) 20792

[startup+440.04 s]
Raw data (loadavg): 1.10 1.05 0.97 2/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2443 0 0 0 3786 256 0 0 25 0 1 0 19646505 19111936 2414 4294967295 134512640 134702520 3221223712 3221223104 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4666 2414 413 48 0 4618 0
[pid=4568] vsize: 18664
Current children cumulated CPU time (s) 397.12
Current children cumulated vsize (Kb) 20792

[startup+450.04 s]
Raw data (loadavg): 1.09 1.05 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2594 0 0 0 4673 293 0 0 25 0 1 0 19646505 19517440 2540 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4765 2540 413 48 0 4717 0
[pid=4568] vsize: 19060
Current children cumulated CPU time (s) 406.36
Current children cumulated vsize (Kb) 21188

[startup+460.041 s]
Raw data (loadavg): 1.07 1.05 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2596 0 0 0 5566 329 0 0 25 0 1 0 19646505 19652608 2542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4798 2542 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 415.65
Current children cumulated vsize (Kb) 21320

[startup+470.042 s]
Raw data (loadavg): 1.06 1.04 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2601 0 0 0 6431 374 0 0 24 0 1 0 19646505 19652608 2547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4798 2547 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 424.75
Current children cumulated vsize (Kb) 21320

[startup+480.042 s]
Raw data (loadavg): 1.05 1.04 0.97 2/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2606 0 0 0 7297 414 0 0 25 0 1 0 19646505 19652608 2552 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4798 2552 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 433.81
Current children cumulated vsize (Kb) 21320

[startup+490.042 s]
Raw data (loadavg): 1.04 1.04 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2632 0 0 0 8155 459 0 0 25 0 1 0 19646505 19652608 2578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4798 2578 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 442.84
Current children cumulated vsize (Kb) 21320

[startup+500.044 s]
Raw data (loadavg): 1.04 1.04 0.97 1/56 4568
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2634 0 0 0 9022 503 0 0 25 0 1 0 19646505 19652608 2580 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4798 2580 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 451.95
Current children cumulated vsize (Kb) 21320

[startup+510.044 s]
Raw data (loadavg): 1.10 1.05 0.97 1/56 4623
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2690 0 0 0 9878 552 0 0 19 0 1 0 19646505 19652608 2636 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4798 2636 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 461
Current children cumulated vsize (Kb) 21320

[startup+520.045 s]
Raw data (loadavg): 1.09 1.05 0.97 1/56 4623
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2692 0 0 0 10737 595 0 0 25 0 1 0 19646505 19652608 2638 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4798 2638 413 48 0 4750 0
[pid=4568] vsize: 19192
Current children cumulated CPU time (s) 470.02
Current children cumulated vsize (Kb) 21320

[startup+530.046 s]
Raw data (loadavg): 1.07 1.05 0.97 2/56 4623
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2728 0 0 0 11598 641 0 0 25 0 1 0 19646505 19750912 2674 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4822 2674 413 48 0 4774 0
[pid=4568] vsize: 19288
Current children cumulated CPU time (s) 479.09
Current children cumulated vsize (Kb) 21416

[startup+540.046 s]
Raw data (loadavg): 1.06 1.05 0.97 2/56 4623
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2731 0 0 0 12486 680 0 0 25 0 1 0 19646505 19750912 2677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4822 2677 413 48 0 4774 0
[pid=4568] vsize: 19288
Current children cumulated CPU time (s) 488.36
Current children cumulated vsize (Kb) 21416

[startup+550.047 s]
Raw data (loadavg): 1.05 1.05 0.97 1/56 4623
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2743 0 0 0 13381 716 0 0 25 0 1 0 19646505 19750912 2689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4822 2689 413 48 0 4774 0
[pid=4568] vsize: 19288
Current children cumulated CPU time (s) 497.67
Current children cumulated vsize (Kb) 21416

[startup+560.048 s]
Raw data (loadavg): 1.04 1.04 0.97 1/56 4625
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2746 0 0 0 14243 764 0 0 25 0 1 0 19646505 19750912 2692 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4822 2692 413 48 0 4774 0
[pid=4568] vsize: 19288
Current children cumulated CPU time (s) 506.77
Current children cumulated vsize (Kb) 21416

[startup+570.048 s]
Raw data (loadavg): 1.04 1.04 0.97 1/56 4625
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2748 0 0 0 15104 812 0 0 25 0 1 0 19646505 19750912 2694 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4822 2694 413 48 0 4774 0
[pid=4568] vsize: 19288
Current children cumulated CPU time (s) 515.86
Current children cumulated vsize (Kb) 21416

[startup+580.049 s]
Raw data (loadavg): 1.03 1.04 0.97 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2751 0 0 0 15958 858 0 0 18 0 1 0 19646505 19877888 2697 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4853 2697 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 524.86
Current children cumulated vsize (Kb) 21540

[startup+590.05 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2753 0 0 0 16823 904 0 0 25 0 1 0 19646505 19877888 2699 4294967295 134512640 134702520 3221223712 3221223112 134607291 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2699 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 533.97
Current children cumulated vsize (Kb) 21540

[startup+600.05 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2755 0 0 0 17695 947 0 0 24 0 1 0 19646505 19877888 2701 4294967295 134512640 134702520 3221223712 3221222736 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2701 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 543.12
Current children cumulated vsize (Kb) 21540

[startup+610.051 s]
Raw data (loadavg): 1.02 1.03 0.97 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2756 0 0 0 18556 995 0 0 25 0 1 0 19646505 19877888 2702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2702 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 552.21
Current children cumulated vsize (Kb) 21540

[startup+620.053 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2757 0 0 0 19426 1038 0 0 25 0 1 0 19646505 19877888 2703 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2703 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 561.34
Current children cumulated vsize (Kb) 21540

[startup+630.053 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2799 0 0 0 20284 1086 0 0 24 0 1 0 19646505 19877888 2745 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2745 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 570.4
Current children cumulated vsize (Kb) 21540

[startup+640.053 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2799 0 0 0 21106 1145 0 0 23 0 1 0 19646505 19877888 2745 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2745 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 579.21
Current children cumulated vsize (Kb) 21540

[startup+650.054 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2799 0 0 0 21938 1201 0 0 25 0 1 0 19646505 19877888 2745 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2745 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 588.09
Current children cumulated vsize (Kb) 21540

[startup+660.055 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2807 0 0 0 22844 1234 0 0 25 0 1 0 19646505 19877888 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2753 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 597.48
Current children cumulated vsize (Kb) 21540

[startup+670.055 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2810 0 0 0 23708 1279 0 0 25 0 1 0 19646505 19877888 2756 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2756 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 606.57
Current children cumulated vsize (Kb) 21540

[startup+680.056 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2812 0 0 0 24575 1324 0 0 25 0 1 0 19646505 19877888 2758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2758 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 615.69
Current children cumulated vsize (Kb) 21540

[startup+690.056 s]
Raw data (loadavg): 1.08 1.04 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2814 0 0 0 25427 1375 0 0 25 0 1 0 19646505 19877888 2760 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2760 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 624.72
Current children cumulated vsize (Kb) 21540

[startup+700.056 s]
Raw data (loadavg): 1.07 1.04 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2816 0 0 0 26284 1423 0 0 25 0 1 0 19646505 19877888 2762 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4853 2762 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 633.77
Current children cumulated vsize (Kb) 21540

[startup+710.057 s]
Raw data (loadavg): 1.06 1.04 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2818 0 0 0 27150 1467 0 0 25 0 1 0 19646505 19877888 2764 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4853 2764 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 642.87
Current children cumulated vsize (Kb) 21540

[startup+720.058 s]
Raw data (loadavg): 1.05 1.03 0.98 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2819 0 0 0 28001 1518 0 0 25 0 1 0 19646505 19877888 2765 4294967295 134512640 134702520 3221223712 3221222832 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4853 2765 413 48 0 4805 0
[pid=4568] vsize: 19412
Current children cumulated CPU time (s) 651.89
Current children cumulated vsize (Kb) 21540

[startup+730.058 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2821 0 0 0 28863 1564 0 0 25 0 1 0 19646505 19972096 2767 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4876 2767 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 660.97
Current children cumulated vsize (Kb) 21632

[startup+740.059 s]
Raw data (loadavg): 1.03 1.03 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2825 0 0 0 29722 1611 0 0 24 0 1 0 19646505 19972096 2771 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 2771 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (Kb) 21632

[startup+750.06 s]
Raw data (loadavg): 1.03 1.03 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2826 0 0 0 30563 1660 0 0 24 0 1 0 19646505 19972096 2772 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 2772 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 678.93
Current children cumulated vsize (Kb) 21632

[startup+760.06 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2826 0 0 0 31391 1711 0 0 25 0 1 0 19646505 19972096 2772 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 2772 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 687.72
Current children cumulated vsize (Kb) 21632

[startup+770.062 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2838 0 0 0 32261 1756 0 0 25 0 1 0 19646505 19972096 2784 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 2784 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 696.87
Current children cumulated vsize (Kb) 21632

[startup+780.063 s]
Raw data (loadavg): 1.02 1.03 0.98 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2855 0 0 0 33123 1800 0 0 25 0 1 0 19646505 19972096 2801 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4876 2801 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 705.93
Current children cumulated vsize (Kb) 21632

[startup+790.062 s]
Raw data (loadavg): 1.09 1.04 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2896 0 0 0 33989 1844 0 0 25 0 1 0 19646505 19972096 2842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4876 2842 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 715.03
Current children cumulated vsize (Kb) 21632

[startup+800.064 s]
Raw data (loadavg): 1.07 1.04 0.98 1/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2898 0 0 0 34854 1892 0 0 24 0 1 0 19646505 19972096 2844 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 2844 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 724.16
Current children cumulated vsize (Kb) 21632

[startup+810.065 s]
Raw data (loadavg): 1.06 1.04 0.98 2/56 4629
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 2905 0 0 0 35731 1934 0 0 25 0 1 0 19646505 19972096 2851 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 2851 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 733.35
Current children cumulated vsize (Kb) 21632

[startup+820.065 s]
Raw data (loadavg): 1.05 1.04 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 2905 0 0 0 36598 1978 0 0 25 0 1 0 19646505 19972096 2851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4876 2851 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 742.46
Current children cumulated vsize (Kb) 21632

[startup+830.066 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4195 0 0 0 37465 2023 0 0 24 0 1 0 19646505 19972096 4141 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4876 4141 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 751.58
Current children cumulated vsize (Kb) 21632

[startup+840.067 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4297 0 0 0 38337 2065 0 0 25 0 1 0 19646505 19972096 4243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4876 4243 413 48 0 4828 0
[pid=4568] vsize: 19504
Current children cumulated CPU time (s) 760.72
Current children cumulated vsize (Kb) 21632

[startup+850.067 s]
Raw data (loadavg): 1.03 1.03 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4298 0 0 0 39197 2112 0 0 25 0 1 0 19646505 20111360 4244 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4910 4244 413 48 0 4862 0
[pid=4568] vsize: 19640
Current children cumulated CPU time (s) 769.79
Current children cumulated vsize (Kb) 21768

[startup+860.068 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4298 0 0 0 40060 2158 0 0 18 0 1 0 19646505 20111360 4244 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4910 4244 413 48 0 4862 0
[pid=4568] vsize: 19640
Current children cumulated CPU time (s) 778.88
Current children cumulated vsize (Kb) 21768

[startup+870.069 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4298 0 0 0 40928 2202 0 0 25 0 1 0 19646505 20033536 4244 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4244 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 788
Current children cumulated vsize (Kb) 21692

[startup+880.069 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4301 0 0 0 41803 2245 0 0 25 0 1 0 19646505 20033536 4247 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4247 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 797.18
Current children cumulated vsize (Kb) 21692

[startup+890.069 s]
Raw data (loadavg): 1.01 1.03 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4304 0 0 0 42677 2287 0 0 24 0 1 0 19646505 20033536 4250 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4250 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 806.34
Current children cumulated vsize (Kb) 21692

[startup+900.07 s]
Raw data (loadavg): 1.01 1.02 0.98 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4305 0 0 0 43547 2332 0 0 25 0 1 0 19646505 20033536 4251 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4251 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 815.49
Current children cumulated vsize (Kb) 21692

[startup+910.071 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4306 0 0 0 44419 2373 0 0 25 0 1 0 19646505 20033536 4252 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4252 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 824.62
Current children cumulated vsize (Kb) 21692

[startup+920.072 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4309 0 0 0 45298 2412 0 0 25 0 1 0 19646505 20033536 4255 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4255 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 833.8
Current children cumulated vsize (Kb) 21692

[startup+930.073 s]
Raw data (loadavg): 1.01 1.02 0.98 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4309 0 0 0 46164 2457 0 0 25 0 1 0 19646505 20033536 4255 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4255 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 842.91
Current children cumulated vsize (Kb) 21692

[startup+940.072 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4310 0 0 0 47028 2506 0 0 25 0 1 0 19646505 20033536 4256 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4891 4256 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 852.04
Current children cumulated vsize (Kb) 21692

[startup+950.073 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4310 0 0 0 47902 2551 0 0 25 0 1 0 19646505 20033536 4256 4294967295 134512640 134702520 3221223712 3221223104 134604494 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4256 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 861.23
Current children cumulated vsize (Kb) 21692

[startup+960.074 s]
Raw data (loadavg): 1.16 1.05 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4312 0 0 0 48756 2599 0 0 25 0 1 0 19646505 20033536 4258 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4258 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 870.25
Current children cumulated vsize (Kb) 21692

[startup+970.074 s]
Raw data (loadavg): 1.13 1.05 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4312 0 0 0 49598 2649 0 0 25 0 1 0 19646505 20033536 4258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4258 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 879.17
Current children cumulated vsize (Kb) 21692

[startup+980.075 s]
Raw data (loadavg): 1.11 1.05 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4314 0 0 0 50479 2690 0 0 23 0 1 0 19646505 20033536 4260 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4260 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 888.39
Current children cumulated vsize (Kb) 21692

[startup+990.076 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4315 0 0 0 51345 2733 0 0 25 0 1 0 19646505 20033536 4261 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4891 4261 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 897.48
Current children cumulated vsize (Kb) 21692

[startup+1000.08 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4317 0 0 0 52217 2776 0 0 24 0 1 0 19646505 20033536 4263 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4263 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 906.63
Current children cumulated vsize (Kb) 21692

[startup+1010.08 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4317 0 0 0 53093 2818 0 0 25 0 1 0 19646505 20033536 4263 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4891 4263 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 915.81
Current children cumulated vsize (Kb) 21692

[startup+1020.08 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4320 0 0 0 53965 2861 0 0 25 0 1 0 19646505 20033536 4266 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4266 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 924.96
Current children cumulated vsize (Kb) 21692

[startup+1030.08 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4320 0 0 0 54850 2897 0 0 25 0 1 0 19646505 20033536 4266 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4891 4266 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 934.17
Current children cumulated vsize (Kb) 21692

[startup+1040.08 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4321 0 0 0 55725 2939 0 0 25 0 1 0 19646505 20033536 4267 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4891 4267 413 48 0 4843 0
[pid=4568] vsize: 19564
Current children cumulated CPU time (s) 943.34
Current children cumulated vsize (Kb) 21692

[startup+1050.08 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4322 0 0 0 56592 2983 0 0 25 0 1 0 19646505 20127744 4268 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4268 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 952.45
Current children cumulated vsize (Kb) 21784

[startup+1060.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4323 0 0 0 57474 3024 0 0 23 0 1 0 19646505 20127744 4269 4294967295 134512640 134702520 3221223712 3221222992 134553426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4269 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 961.68
Current children cumulated vsize (Kb) 21784

[startup+1070.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4326 0 0 0 58328 3074 0 0 25 0 1 0 19646505 20127744 4272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4272 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 970.72
Current children cumulated vsize (Kb) 21784

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4326 0 0 0 59190 3120 0 0 25 0 1 0 19646505 20127744 4272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4272 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 979.8
Current children cumulated vsize (Kb) 21784

[startup+1090.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4326 0 0 0 60061 3164 0 0 25 0 1 0 19646505 20127744 4272 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4272 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 988.95
Current children cumulated vsize (Kb) 21784

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4328 0 0 0 60945 3204 0 0 25 0 1 0 19646505 20127744 4274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4274 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 998.19
Current children cumulated vsize (Kb) 21784

[startup+1110.08 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4329 0 0 0 61828 3241 0 0 25 0 1 0 19646505 20127744 4275 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4275 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1007.39
Current children cumulated vsize (Kb) 21784

[startup+1120.08 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4331 0 0 0 62701 3287 0 0 18 0 1 0 19646505 20127744 4277 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4277 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1016.58
Current children cumulated vsize (Kb) 21784

[startup+1130.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4333 0 0 0 63588 3325 0 0 25 0 1 0 19646505 20127744 4279 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4279 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1025.83
Current children cumulated vsize (Kb) 21784

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4333 0 0 0 64466 3365 0 0 25 0 1 0 19646505 20127744 4279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4914 4279 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1035.01
Current children cumulated vsize (Kb) 21784

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4334 0 0 0 65341 3405 0 0 25 0 1 0 19646505 20127744 4280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4280 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1044.16
Current children cumulated vsize (Kb) 21784

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4336 0 0 0 66232 3443 0 0 25 0 1 0 19646505 20127744 4282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4914 4282 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1053.45
Current children cumulated vsize (Kb) 21784

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4337 0 0 0 67106 3486 0 0 25 0 1 0 19646505 20127744 4283 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4914 4283 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1062.62
Current children cumulated vsize (Kb) 21784

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4337 0 0 0 67991 3527 0 0 25 0 1 0 19646505 20127744 4283 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4914 4283 413 48 0 4866 0
[pid=4568] vsize: 19656
Current children cumulated CPU time (s) 1071.88
Current children cumulated vsize (Kb) 21784

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4339 0 0 0 68848 3577 0 0 25 0 1 0 19646505 20267008 4285 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4948 4285 413 48 0 4900 0
[pid=4568] vsize: 19792
Current children cumulated CPU time (s) 1080.95
Current children cumulated vsize (Kb) 21920

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4339 0 0 0 69711 3622 0 0 25 0 1 0 19646505 20185088 4285 4294967295 134512640 134702520 3221223712 3221222992 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4928 4285 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1090.03
Current children cumulated vsize (Kb) 21840

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4340 0 0 0 70605 3656 0 0 25 0 1 0 19646505 20185088 4286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4286 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1099.31
Current children cumulated vsize (Kb) 21840

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4342 0 0 0 71480 3695 0 0 25 0 1 0 19646505 20185088 4288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4288 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1108.45
Current children cumulated vsize (Kb) 21840

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4342 0 0 0 72364 3735 0 0 25 0 1 0 19646505 20185088 4288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4288 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1117.69
Current children cumulated vsize (Kb) 21840

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4344 0 0 0 73239 3779 0 0 25 0 1 0 19646505 20185088 4290 4294967295 134512640 134702520 3221223712 3221222832 134578856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4290 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1126.88
Current children cumulated vsize (Kb) 21840

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4346 0 0 0 74126 3817 0 0 24 0 1 0 19646505 20185088 4292 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4292 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1136.13
Current children cumulated vsize (Kb) 21840

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4346 0 0 0 75003 3856 0 0 25 0 1 0 19646505 20185088 4292 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4292 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1145.29
Current children cumulated vsize (Kb) 21840

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4348 0 0 0 75879 3897 0 0 22 0 1 0 19646505 20185088 4294 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4928 4294 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1154.46
Current children cumulated vsize (Kb) 21840

[startup+1280.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4348 0 0 0 76763 3933 0 0 25 0 1 0 19646505 20185088 4294 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4294 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1163.66
Current children cumulated vsize (Kb) 21840

[startup+1290.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) R 4563 4563 4059 0 -1 0 4350 0 0 0 77644 3971 0 0 25 0 1 0 19646505 20185088 4296 4294967295 134512640 134702520 3221223712 3221222832 134579031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4568/statm): 4928 4296 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1172.85
Current children cumulated vsize (Kb) 21840

[startup+1300.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4351 0 0 0 78535 4010 0 0 25 0 1 0 19646505 20185088 4297 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4928 4297 413 48 0 4880 0
[pid=4568] vsize: 19712
Current children cumulated CPU time (s) 1182.15
Current children cumulated vsize (Kb) 21840

[startup+1310.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4354 0 0 0 79394 4057 0 0 25 0 1 0 19646505 20332544 4300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4964 4300 413 48 0 4916 0
[pid=4568] vsize: 19856
Current children cumulated CPU time (s) 1191.21
Current children cumulated vsize (Kb) 21984

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4354 0 0 0 80238 4108 0 0 24 0 1 0 19646505 20250624 4300 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4944 4300 413 48 0 4896 0
[pid=4568] vsize: 19776
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (Kb) 21904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4631
Raw data (/proc/4563/stat): 4563 (vallstSAT2005PB) S 4562 4563 4059 0 -1 0 378 3142 0 0 1 1 33743 1925 19 0 1 0 19607013 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4563/statm): 532 248 485 147 0 385 0
[pid=4563] vsize: 2128
Raw data (/proc/4568/stat): 4568 (vallst) T 4563 4563 4059 0 -1 0 4354 0 0 0 80238 4108 0 0 24 0 1 0 19646505 20250624 4300 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4568/statm): 4944 4300 413 48 0 4896 0
[pid=4568] vsize: 19776
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (Kb) 21904

Sending SIGTERM to -4563
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4633
New process pid=4634
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4524/stat
open syscall for file /proc/4524/status
open syscall for file /proc/4524/cmdline
open syscall for file /proc/4524/environ
open syscall for file /proc/4562/stat
open syscall for file /proc/4562/status
open syscall for file /proc/4562/cmdline
open syscall for file /proc/4562/environ
open syscall for file /proc/4563/stat
open syscall for file /proc/4563/status
open syscall for file /proc/4563/cmdline
open syscall for file /proc/4563/environ
open syscall for file /proc/4568/stat
open syscall for file /proc/4568/status
open syscall for file /proc/4568/cmdline
open syscall for file /proc/4568/environ
open syscall for file /proc/4633/stat
open syscall for file /proc/4633/status
open syscall for file /proc/4633/cmdline
open syscall for file /proc/4633/environ
open syscall for file /proc/4634/stat
open syscall for file /proc/4634/status
open syscall for file /proc/4634/cmdline
open syscall for file /proc/4634/environ
One traced child (pid=4633) exited with status: 0
One traced child (pid=4634) exited with status: 0
New process pid=4635
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=4635) exited with status: 0
New process pid=4636
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=4636) exited with status: 0
One traced child (pid=4563) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4568) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1321.11
CPU time (s): 844.44
CPU user time (s): 803.255
CPU system time (s): 41.1847
CPU usage (%): 63.9192
Max. virtual memory (cumulated for all children) (Kb): 21984

Verifier Data

ERROR: no interpretation found !