Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUMc76102ddcf7f5ab3b2677033d320eaa3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 756736
Optimality of the best value was proved NO
Number of terms in the objective function 2100
Biggest coefficient in the objective function 4718592
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 502612132
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 4718592
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 502612132
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables2100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint21
Maximum length of a constraint200

Trace number 9379

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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:        940108 kB
Buffers:         13588 kB
Cached:          62368 kB
SwapCached:          0 kB
Active:          43072 kB
Inactive:        35840 kB
HighTotal:      131008 kB
HighFree:        64568 kB
LowTotal:       903652 kB
LowFree:        875540 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10084 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:30:47 (client local time) WITH STATUS 0 IN 1204.11 SECONDS
stats: 8109 7 1204.11 0

Solver Data

1:
seed: 0
Nr of vars set: 1008  (#equs: 0)
Nr of vars set: 1008  (#equs: 0)
#decisions: 3658;  #end-nodes: 283;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 41 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-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:  499323668 (3288463:>=*);
#decisions: 820;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323676 (3288455:>=*);
#decisions: 884;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323726 (3288405:>=*);
#decisions: 821;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323732 (3288399:>=*);
#decisions: 812;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323734 (3288397:>=*);
#decisions: 825;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323737 (3288394:>=*);
#decisions: 842;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323740 (3288391:>=*);
#decisions: 867;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323755 (3288376:>=*);
#decisions: 810;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323757 (3288374:>=*);
#decisions: 835;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323761 (3288370:>=*);
#decisions: 813;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323771 (3288360:>=*);
#decisions: 837;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499323774 (3288357:>=*);
#decisions: 1806;  #end-nodes: 107;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 27 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468496 (3143635:>=*);
#decisions: 878;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468506 (3143625:>=*);
#decisions: 878;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468509 (3143622:>=*);
#decisions: 883;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468510 (3143621:>=*);
#decisions: 951;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468593 (3143538:>=*);
#decisions: 932;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468603 (3143528:>=*);
#decisions: 944;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499468627 (3143504:>=*);
#decisions: 3387;  #end-nodes: 277;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 34 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499680185 (2931946:>=*);
#decisions: 732;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499681689 (2930442:>=*);
#decisions: 3277;  #end-nodes: 280;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 37 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499776106 (2836025:>=*);
#decisions: 725;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499776108 (2836023:>=*);
#decisions: 729;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499779247 (2832884:>=*);
#decisions: 694;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499779359 (2832772:>=*);
#decisions: 37987;  #end-nodes: 3883;
#proof improvement attempts: 0;  #restarts: 45
Current batch, end-nodes: 27 / 91 (91)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499833861 (2778270:>=*);
#decisions: 749;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499833875 (2778256:>=*);
#decisions: 710;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499833881 (2778250:>=*);
#decisions: 791;  #end-nodes: 76;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 76 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  499833889 (2778242:>=*);
#decisions: 76256;  #end-nodes: 8290;
#proof improvement attempts: 0;  #restarts: 90
Current batch, end-nodes: 66 / 102 (102)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500174901 (2437230:>=*);
#decisions: 476;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500174908 (2437223:>=*);
#decisions: 475;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500174910 (2437221:>=*);
#decisions: 509;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500174912 (2437219:>=*);
#decisions: 647;  #end-nodes: 79;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 79 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500177535 (2434596:>=*);
#decisions: 456;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500178175 (2433956:>=*);
#decisions: 516;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  500178191 (2433940:>=*);
#decisions: 609506;  #end-nodes: 110234;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 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:) 500178191 (2433940:>=*)

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: 1008  (#equs: 0)
Time taken: 5 min, 0 sec

2:
seed: 0
Nr of vars set: 1008  (#equs: 0)
Nr of vars set: 1008  (#equs: 0)
#decisions: 864101;  #end-nodes: 194021;
#proof improvement attempts: 0;  #restarts: 854
Current batch, end-nodes: 295 / 333 (333)
#axs: 141, #non-axs: 0
tight: meta-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:  1680226 (2428993:>=*);
#decisions: 478;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1680274 (2428945:>=*);
#decisions: 484;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1680318 (2428901:>=*);
#decisions: 495;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 120 (120)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1680366 (2428853:>=*);
#decisions: 147318;  #end-nodes: 24191;
#proof improvement attempts: 0;  #restarts: 171
Current batch, end-nodes: 29 / 162 (162)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862305 (2246914:>=*);
#decisions: 1432167;  #end-nodes: 378305;
#proof improvement attempts: 0;  #restarts: 1324
Current batch, end-nodes: 383 / 451 (451)
#axs: 141, #non-axs: 42
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862401 (2246818:>=*);
#decisions: 504;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 141, #non-axs: 42
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862408 (2246811:>=*);
#decisions: 298378;  #end-nodes: 55570;
#proof improvement attempts: 0;  #restarts: 341
Current batch, end-nodes: 153 / 205 (205)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862530 (2246689:>=*);
#decisions: 530;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862562 (2246657:>=*);
#decisions: 546;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 120 (120)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862572 (2246647:>=*);
#decisions: 522;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 120 (120)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1862577 (2246642:>=*);
Interupt request received.
#decisions: 813076;  #end-nodes: 189155;
#proof improvement attempts: 0;  #restarts: 840
Current batch, end-nodes: 232 / 330 (330)
#axs: 141, #non-axs: 0
tight: meta-meta: start: 6, end: 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:) 1862577 (2246642:>=*)

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: 1602  (#equs: 0)
Time taken: 15 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/6437/stat): 6437 (vallstSAT2005PB) R 6436 6437 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20420669 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6437/statm): 174 3 169 147 0 27 0
[pid=6437] 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=6438
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=6438) exited with status: 0
New process pid=6439
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=6439) exited with status: 0
New process pid=6440
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran10x10b.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 337 0 0 0 602 121 0 0 17 0 1 0 20420675 2576384 307 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 629 307 413 48 0 581 0
[pid=6440] vsize: 2516
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (Kb) 4644

[startup+20.0042 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 393 0 0 0 1248 237 0 0 19 0 1 0 20420675 3325952 363 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6440/statm): 812 363 413 48 0 764 0
[pid=6440] vsize: 3248
Current children cumulated CPU time (s) 14.87
Current children cumulated vsize (Kb) 5376

[startup+30.0049 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 542 0 0 0 2023 309 0 0 25 0 1 0 20420675 3325952 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 812 512 413 48 0 764 0
[pid=6440] vsize: 3248
Current children cumulated CPU time (s) 23.34
Current children cumulated vsize (Kb) 5376

[startup+40.0056 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 549 0 0 0 2794 383 0 0 20 0 1 0 20420675 3452928 519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 519 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 31.79
Current children cumulated vsize (Kb) 5500

[startup+50.0074 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 554 0 0 0 3612 440 0 0 23 0 1 0 20420675 3452928 524 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 524 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 40.54
Current children cumulated vsize (Kb) 5500

[startup+60.0081 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 558 0 0 0 4398 508 0 0 20 0 1 0 20420675 3452928 528 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 843 528 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 49.08
Current children cumulated vsize (Kb) 5500

[startup+70.0088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 561 0 0 0 5219 564 0 0 21 0 1 0 20420675 3452928 531 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 531 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (Kb) 5500

[startup+80.0106 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 562 0 0 0 6090 608 0 0 25 0 1 0 20420675 3452928 532 4294967295 134512640 134702520 3221223952 3221222848 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 532 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 67
Current children cumulated vsize (Kb) 5500

[startup+90.0113 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6440
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 562 0 0 0 6955 652 0 0 20 0 1 0 20420675 3452928 532 4294967295 134512640 134702520 3221223952 3221199408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 532 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 76.09
Current children cumulated vsize (Kb) 5500

[startup+100.012 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 565 0 0 0 7780 709 0 0 22 0 1 0 20420675 3452928 535 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 535 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 84.91
Current children cumulated vsize (Kb) 5500

[startup+110.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 567 0 0 0 8602 766 0 0 25 0 1 0 20420675 3452928 537 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 537 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 93.7
Current children cumulated vsize (Kb) 5500

[startup+120.013 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 567 0 0 0 9485 803 0 0 25 0 1 0 20420675 3452928 537 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 537 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 102.9
Current children cumulated vsize (Kb) 5500

[startup+130.013 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 569 0 0 0 10337 850 0 0 25 0 1 0 20420675 3452928 539 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 539 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 111.89
Current children cumulated vsize (Kb) 5500

[startup+140.014 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 571 0 0 0 11151 913 0 0 21 0 1 0 20420675 3452928 541 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 843 541 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 120.66
Current children cumulated vsize (Kb) 5500

[startup+150.016 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 574 0 0 0 11979 965 0 0 25 0 1 0 20420675 3452928 544 4294967295 134512640 134702520 3221223952 3221223120 134658402 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 544 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (Kb) 5500

[startup+160.016 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 574 0 0 0 12862 1004 0 0 25 0 1 0 20420675 3452928 544 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 544 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 138.68
Current children cumulated vsize (Kb) 5500

[startup+170.016 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 575 0 0 0 13718 1050 0 0 25 0 1 0 20420675 3452928 545 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 545 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 147.7
Current children cumulated vsize (Kb) 5500

[startup+180.017 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 578 0 0 0 14530 1111 0 0 22 0 1 0 20420675 3452928 548 4294967295 134512640 134702520 3221223952 3221223232 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 843 548 413 48 0 795 0
[pid=6440] vsize: 3372
Current children cumulated CPU time (s) 156.43
Current children cumulated vsize (Kb) 5500

[startup+190.018 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 580 0 0 0 15356 1168 0 0 22 0 1 0 20420675 3579904 550 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 550 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 165.26
Current children cumulated vsize (Kb) 5624

[startup+200.018 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 581 0 0 0 16242 1205 0 0 25 0 1 0 20420675 3579904 551 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 551 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 174.49
Current children cumulated vsize (Kb) 5624

[startup+210.019 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 582 0 0 0 17105 1251 0 0 23 0 1 0 20420675 3579904 552 4294967295 134512640 134702520 3221223952 3221217628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 552 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 183.58
Current children cumulated vsize (Kb) 5624

[startup+220.019 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 586 0 0 0 17944 1303 0 0 25 0 1 0 20420675 3579904 556 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 556 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 192.49
Current children cumulated vsize (Kb) 5624

[startup+230.02 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 589 0 0 0 18783 1357 0 0 25 0 1 0 20420675 3579904 559 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 559 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 201.42
Current children cumulated vsize (Kb) 5624

[startup+240.02 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 591 0 0 0 19640 1403 0 0 25 0 1 0 20420675 3579904 561 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 561 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 210.45
Current children cumulated vsize (Kb) 5624

[startup+250.022 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 591 0 0 0 20519 1442 0 0 25 0 1 0 20420675 3579904 561 4294967295 134512640 134702520 3221223952 3221223084 1074652320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 561 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 219.63
Current children cumulated vsize (Kb) 5624

[startup+260.023 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 595 0 0 0 21354 1494 0 0 23 0 1 0 20420675 3579904 565 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 565 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 228.5
Current children cumulated vsize (Kb) 5624

[startup+270.023 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 598 0 0 0 22179 1552 0 0 23 0 1 0 20420675 3579904 568 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 568 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 237.33
Current children cumulated vsize (Kb) 5624

[startup+280.024 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 601 0 0 0 23024 1604 0 0 25 0 1 0 20420675 3579904 571 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 571 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 246.3
Current children cumulated vsize (Kb) 5624

[startup+290.025 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 601 0 0 0 23913 1642 0 0 25 0 1 0 20420675 3579904 571 4294967295 134512640 134702520 3221223952 3221222848 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 571 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 255.57
Current children cumulated vsize (Kb) 5624

[startup+300.026 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 603 0 0 0 24769 1691 0 0 23 0 1 0 20420675 3579904 573 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 573 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 264.62
Current children cumulated vsize (Kb) 5624

[startup+310.027 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) T 6437 6437 4060 0 -1 0 606 0 0 0 25613 1742 0 0 25 0 1 0 20420675 3579904 576 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6440/statm): 874 576 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 273.57
Current children cumulated vsize (Kb) 5624

[startup+320.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 608 0 0 0 26441 1798 0 0 25 0 1 0 20420675 3579904 578 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 578 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (Kb) 5624

[startup+330.028 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 610 0 0 0 27299 1849 0 0 25 0 1 0 20420675 3579904 580 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 580 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 291.5
Current children cumulated vsize (Kb) 5624

[startup+340.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6442
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20420669 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 242 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6440/stat): 6440 (vallst) R 6437 6437 4060 0 -1 0 610 0 0 0 28180 1887 0 0 25 0 1 0 20420675 3579904 580 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6440/statm): 874 580 413 48 0 826 0
[pid=6440] vsize: 3496
Current children cumulated CPU time (s) 300.69
Current children cumulated vsize (Kb) 5624
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=6440) exited with status: 2
New process pid=6443
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=6443) exited with status: 0
New process pid=6444
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+350.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 312 0 0 0 431 170 0 0 17 0 1 0 20454701 2539520 283 4294967295 134512640 134702520 3221223712 3221222720 134553364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6444/statm): 620 283 413 48 0 572 0
[pid=6444] vsize: 2480
Current children cumulated CPU time (s) 306.92
Current children cumulated vsize (Kb) 4608

[startup+360.03 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 496 0 0 0 1012 301 0 0 19 0 1 0 20454701 3153920 467 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 770 467 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 314.04
Current children cumulated vsize (Kb) 5208

[startup+370.031 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 504 0 0 0 1646 425 0 0 18 0 1 0 20454701 3153920 475 4294967295 134512640 134702520 3221223712 3221223104 134604489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6444/statm): 770 475 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 321.62
Current children cumulated vsize (Kb) 5208

[startup+380.032 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 506 0 0 0 2101 597 0 0 17 0 1 0 20454701 3153920 477 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 770 477 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 327.89
Current children cumulated vsize (Kb) 5208

[startup+390.031 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 510 0 0 0 2691 726 0 0 19 0 1 0 20454701 3153920 481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 770 481 413 48 0 722 0
[pid=6444] vsize: 3080
Current children cumulated CPU time (s) 335.08
Current children cumulated vsize (Kb) 5208

[startup+400.033 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 515 0 0 0 3322 847 0 0 18 0 1 0 20454701 3280896 486 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 486 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 342.6
Current children cumulated vsize (Kb) 5332

[startup+410.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 517 0 0 0 3797 1021 0 0 17 0 1 0 20454701 3280896 488 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/6444/statm): 801 488 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 349.09
Current children cumulated vsize (Kb) 5332

[startup+420.034 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 520 0 0 0 4388 1153 0 0 17 0 1 0 20454701 3280896 491 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 491 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 356.32
Current children cumulated vsize (Kb) 5332

[startup+430.034 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 524 0 0 0 5049 1261 0 0 20 0 1 0 20454701 3280896 495 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 495 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 364.01
Current children cumulated vsize (Kb) 5332

[startup+440.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 527 0 0 0 5541 1425 0 0 17 0 1 0 20454701 3280896 498 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 801 498 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 370.57
Current children cumulated vsize (Kb) 5332

[startup+450.036 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 529 0 0 0 6093 1575 0 0 19 0 1 0 20454701 3280896 500 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 500 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 377.59
Current children cumulated vsize (Kb) 5332

[startup+460.037 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 534 0 0 0 6741 1688 0 0 18 0 1 0 20454701 3280896 505 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 505 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 385.2
Current children cumulated vsize (Kb) 5332

[startup+470.037 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 537 0 0 0 7318 1823 0 0 17 0 1 0 20454701 3280896 508 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 801 508 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 392.32
Current children cumulated vsize (Kb) 5332

[startup+480.038 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 539 0 0 0 7812 1990 0 0 19 0 1 0 20454701 3280896 510 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 801 510 413 48 0 753 0
[pid=6444] vsize: 3204
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (Kb) 5332

[startup+490.039 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 542 0 0 0 8470 2095 0 0 18 0 1 0 20454701 3403776 513 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 513 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 406.56
Current children cumulated vsize (Kb) 5452

[startup+500.039 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 545 0 0 0 9151 2200 0 0 23 0 1 0 20454701 3403776 516 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 516 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 414.42
Current children cumulated vsize (Kb) 5452

[startup+510.04 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 546 0 0 0 9566 2392 0 0 17 0 1 0 20454701 3403776 517 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 517 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 420.49
Current children cumulated vsize (Kb) 5452

[startup+520.04 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 549 0 0 0 10192 2511 0 0 17 0 1 0 20454701 3403776 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 831 520 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 427.94
Current children cumulated vsize (Kb) 5452

[startup+530.041 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 552 0 0 0 10880 2612 0 0 20 0 1 0 20454701 3403776 523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 523 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 435.83
Current children cumulated vsize (Kb) 5452

[startup+540.041 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 556 0 0 0 11423 2758 0 0 17 0 1 0 20454701 3403776 527 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 527 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 442.72
Current children cumulated vsize (Kb) 5452

[startup+550.043 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 558 0 0 0 11958 2914 0 0 22 0 1 0 20454701 3403776 529 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 831 529 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 449.63
Current children cumulated vsize (Kb) 5452

[startup+560.044 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 560 0 0 0 12612 3029 0 0 19 0 1 0 20454701 3403776 531 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 531 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 457.32
Current children cumulated vsize (Kb) 5452

[startup+570.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 564 0 0 0 13297 3133 0 0 18 0 1 0 20454701 3403776 535 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 535 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 465.21
Current children cumulated vsize (Kb) 5452

[startup+580.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 565 0 0 0 13755 3306 0 0 17 0 1 0 20454701 3403776 536 4294967295 134512640 134702520 3221223712 3221222480 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 536 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 471.52
Current children cumulated vsize (Kb) 5452

[startup+590.046 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 566 0 0 0 14381 3419 0 0 20 0 1 0 20454701 3403776 537 4294967295 134512640 134702520 3221223712 3221222992 134552197 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 831 537 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 478.91
Current children cumulated vsize (Kb) 5452

[startup+600.048 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 570 0 0 0 15055 3526 0 0 18 0 1 0 20454701 3403776 541 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 831 541 413 48 0 783 0
[pid=6444] vsize: 3324
Current children cumulated CPU time (s) 486.72
Current children cumulated vsize (Kb) 5452

[startup+610.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 573 0 0 0 15701 3636 0 0 16 0 1 0 20454701 3530752 544 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 544 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 494.28
Current children cumulated vsize (Kb) 5576

[startup+620.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 575 0 0 0 16139 3819 0 0 17 0 1 0 20454701 3530752 546 4294967295 134512640 134702520 3221223712 3221222584 1074140576 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 546 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 500.49
Current children cumulated vsize (Kb) 5576

[startup+630.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 577 0 0 0 16826 3921 0 0 20 0 1 0 20454701 3530752 548 4294967295 134512640 134702520 3221223712 3221222932 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 548 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 508.38
Current children cumulated vsize (Kb) 5576

[startup+640.051 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 579 0 0 0 17517 4023 0 0 21 0 1 0 20454701 3530752 550 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 862 550 413 48 0 814 0
[pid=6444] vsize: 3448
Current children cumulated CPU time (s) 516.31
Current children cumulated vsize (Kb) 5576

[startup+650.053 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 585 0 0 0 18151 4142 0 0 17 0 1 0 20454701 3534848 556 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 556 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 523.84
Current children cumulated vsize (Kb) 5580

[startup+660.053 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 585 0 0 0 18770 4274 0 0 18 0 1 0 20454701 3534848 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 556 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 531.35
Current children cumulated vsize (Kb) 5580

[startup+670.054 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 585 0 0 0 19239 4441 0 0 17 0 1 0 20454701 3534848 556 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 556 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 537.71
Current children cumulated vsize (Kb) 5580

[startup+680.055 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 586 0 0 0 19808 4579 0 0 17 0 1 0 20454701 3534848 557 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 557 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 544.78
Current children cumulated vsize (Kb) 5580

[startup+690.055 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 586 0 0 0 20443 4694 0 0 19 0 1 0 20454701 3534848 557 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 557 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 552.28
Current children cumulated vsize (Kb) 5580

[startup+700.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 586 0 0 0 21053 4825 0 0 18 0 1 0 20454701 3534848 557 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 557 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 559.69
Current children cumulated vsize (Kb) 5580

[startup+710.057 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 587 0 0 0 21587 4980 0 0 17 0 1 0 20454701 3534848 558 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 558 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 566.58
Current children cumulated vsize (Kb) 5580

[startup+720.058 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 588 0 0 0 22100 5139 0 0 19 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 573.3
Current children cumulated vsize (Kb) 5580

[startup+730.058 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 588 0 0 0 22721 5263 0 0 18 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 580.75
Current children cumulated vsize (Kb) 5580

[startup+740.059 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 588 0 0 0 23273 5404 0 0 17 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 587.68
Current children cumulated vsize (Kb) 5580

[startup+750.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 588 0 0 0 23762 5572 0 0 18 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221215468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 594.25
Current children cumulated vsize (Kb) 5580

[startup+760.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 588 0 0 0 24408 5684 0 0 19 0 1 0 20454701 3534848 559 4294967295 134512640 134702520 3221223712 3221223104 134605152 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 559 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 601.83
Current children cumulated vsize (Kb) 5580

[startup+770.061 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 589 0 0 0 25021 5810 0 0 16 0 1 0 20454701 3534848 560 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 560 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 609.22
Current children cumulated vsize (Kb) 5580

[startup+780.063 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 590 0 0 0 25469 5979 0 0 17 0 1 0 20454701 3534848 561 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 561 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 615.39
Current children cumulated vsize (Kb) 5580

[startup+790.064 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 590 0 0 0 26133 6086 0 0 19 0 1 0 20454701 3534848 561 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 561 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 623.1
Current children cumulated vsize (Kb) 5580

[startup+800.065 s]
Raw data (loadavg): 1.20 1.05 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 590 0 0 0 26790 6198 0 0 16 0 1 0 20454701 3534848 561 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 561 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 630.79
Current children cumulated vsize (Kb) 5580

[startup+810.065 s]
Raw data (loadavg): 1.17 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 591 0 0 0 27240 6374 0 0 16 0 1 0 20454701 3534848 562 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 562 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 637.05
Current children cumulated vsize (Kb) 5580

[startup+820.066 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 592 0 0 0 27847 6504 0 0 15 0 1 0 20454701 3534848 563 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 563 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 644.42
Current children cumulated vsize (Kb) 5580

[startup+830.067 s]
Raw data (loadavg): 1.12 1.05 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 592 0 0 0 28513 6617 0 0 16 0 1 0 20454701 3534848 563 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 563 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 652.21
Current children cumulated vsize (Kb) 5580

[startup+840.067 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 593 0 0 0 29054 6766 0 0 15 0 1 0 20454701 3534848 564 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 564 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 659.11
Current children cumulated vsize (Kb) 5580

[startup+850.069 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 594 0 0 0 29583 6919 0 0 15 0 1 0 20454701 3534848 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 565 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 665.93
Current children cumulated vsize (Kb) 5580

[startup+860.07 s]
Raw data (loadavg): 1.07 1.04 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 594 0 0 0 30244 7026 0 0 15 0 1 0 20454701 3534848 565 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 565 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 673.61
Current children cumulated vsize (Kb) 5580

[startup+870.07 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 595 0 0 0 30920 7133 0 0 16 0 1 0 20454701 3534848 566 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 566 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 681.44
Current children cumulated vsize (Kb) 5580

[startup+880.07 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 595 0 0 0 31343 7325 0 0 15 0 1 0 20454701 3534848 566 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 566 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 687.59
Current children cumulated vsize (Kb) 5580

[startup+890.071 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 596 0 0 0 32001 7435 0 0 16 0 1 0 20454701 3534848 567 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 567 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 695.27
Current children cumulated vsize (Kb) 5580

[startup+900.073 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 597 0 0 0 32679 7540 0 0 16 0 1 0 20454701 3534848 568 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 568 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 703.1
Current children cumulated vsize (Kb) 5580

[startup+910.074 s]
Raw data (loadavg): 1.21 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 598 0 0 0 33253 7679 0 0 15 0 1 0 20454701 3534848 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 569 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 710.23
Current children cumulated vsize (Kb) 5580

[startup+920.074 s]
Raw data (loadavg): 1.17 1.08 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 599 0 0 0 33772 7838 0 0 16 0 1 0 20454701 3534848 570 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 570 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 717.01
Current children cumulated vsize (Kb) 5580

[startup+930.075 s]
Raw data (loadavg): 1.15 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 599 0 0 0 34479 7934 0 0 15 0 1 0 20454701 3534848 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 570 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 725.04
Current children cumulated vsize (Kb) 5580

[startup+940.076 s]
Raw data (loadavg): 1.12 1.07 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 602 0 0 0 35145 8046 0 0 16 0 1 0 20454701 3534848 573 4294967295 134512640 134702520 3221223712 3221222832 134588487 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 573 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 732.82
Current children cumulated vsize (Kb) 5580

[startup+950.077 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 603 0 0 0 35665 8202 0 0 15 0 1 0 20454701 3534848 574 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 863 574 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 739.58
Current children cumulated vsize (Kb) 5580

[startup+960.078 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 604 0 0 0 36253 8336 0 0 16 0 1 0 20454701 3534848 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 863 575 413 48 0 815 0
[pid=6444] vsize: 3452
Current children cumulated CPU time (s) 746.8
Current children cumulated vsize (Kb) 5580

[startup+970.079 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 605 0 0 0 36950 8439 0 0 16 0 1 0 20454701 3653632 576 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 576 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 754.8
Current children cumulated vsize (Kb) 5696

[startup+980.08 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 607 0 0 0 37647 8541 0 0 15 0 1 0 20454701 3653632 578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 578 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 762.79
Current children cumulated vsize (Kb) 5696

[startup+990.081 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 607 0 0 0 38117 8713 0 0 15 0 1 0 20454701 3653632 578 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 578 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 769.21
Current children cumulated vsize (Kb) 5696

[startup+1000.08 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 608 0 0 0 38743 8830 0 0 15 0 1 0 20454701 3653632 579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 579 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 776.64
Current children cumulated vsize (Kb) 5696

[startup+1010.08 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 610 0 0 0 39443 8928 0 0 16 0 1 0 20454701 3653632 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 581 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 784.62
Current children cumulated vsize (Kb) 5696

[startup+1020.08 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 611 0 0 0 40143 9023 0 0 16 0 1 0 20454701 3653632 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 582 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 792.57
Current children cumulated vsize (Kb) 5696

[startup+1030.08 s]
Raw data (loadavg): 1.12 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 612 0 0 0 40607 9203 0 0 15 0 1 0 20454701 3653632 583 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 583 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 799.01
Current children cumulated vsize (Kb) 5696

[startup+1040.09 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 613 0 0 0 41245 9319 0 0 16 0 1 0 20454701 3653632 584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 584 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 806.55
Current children cumulated vsize (Kb) 5696

[startup+1050.09 s]
Raw data (loadavg): 1.08 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 616 0 0 0 41946 9417 0 0 16 0 1 0 20454701 3653632 587 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 587 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 814.54
Current children cumulated vsize (Kb) 5696

[startup+1060.09 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 617 0 0 0 42648 9513 0 0 16 0 1 0 20454701 3653632 588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 588 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 822.52
Current children cumulated vsize (Kb) 5696

[startup+1070.09 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 617 0 0 0 43129 9683 0 0 15 0 1 0 20454701 3653632 588 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 588 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (Kb) 5696

[startup+1080.09 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 619 0 0 0 43752 9807 0 0 16 0 1 0 20454701 3653632 590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 590 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 836.5
Current children cumulated vsize (Kb) 5696

[startup+1090.09 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 622 0 0 0 44467 9899 0 0 16 0 1 0 20454701 3653632 593 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 593 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 844.57
Current children cumulated vsize (Kb) 5696

[startup+1100.09 s]
Raw data (loadavg): 1.20 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 625 0 0 0 45183 9994 0 0 16 0 1 0 20454701 3653632 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 596 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 852.68
Current children cumulated vsize (Kb) 5696

[startup+1110.09 s]
Raw data (loadavg): 1.17 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 625 0 0 0 45724 10145 0 0 15 0 1 0 20454701 3653632 596 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 596 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 859.6
Current children cumulated vsize (Kb) 5696

[startup+1120.09 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 626 0 0 0 46323 10283 0 0 15 0 1 0 20454701 3653632 597 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 597 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 866.97
Current children cumulated vsize (Kb) 5696

[startup+1130.09 s]
Raw data (loadavg): 1.12 1.09 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 627 0 0 0 47047 10374 0 0 16 0 1 0 20454701 3653632 598 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 598 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 875.12
Current children cumulated vsize (Kb) 5696

[startup+1140.09 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 630 0 0 0 47753 10472 0 0 16 0 1 0 20454701 3653632 601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 601 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 883.16
Current children cumulated vsize (Kb) 5696

[startup+1150.09 s]
Raw data (loadavg): 1.17 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 630 0 0 0 48362 10602 0 0 15 0 1 0 20454701 3653632 601 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 892 601 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 890.55
Current children cumulated vsize (Kb) 5696

[startup+1160.09 s]
Raw data (loadavg): 1.14 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 632 0 0 0 48873 10763 0 0 16 0 1 0 20454701 3653632 603 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 892 603 413 48 0 844 0
[pid=6444] vsize: 3568
Current children cumulated CPU time (s) 897.27
Current children cumulated vsize (Kb) 5696

[startup+1170.09 s]
Raw data (loadavg): 1.20 1.11 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 634 0 0 0 49582 10857 0 0 16 0 1 0 20454701 3776512 605 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 605 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 905.3
Current children cumulated vsize (Kb) 5816

[startup+1180.1 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 637 0 0 0 50291 10953 0 0 15 0 1 0 20454701 3776512 608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 608 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 913.35
Current children cumulated vsize (Kb) 5816

[startup+1190.1 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 638 0 0 0 50967 11059 0 0 16 0 1 0 20454701 3776512 609 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 609 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 921.17
Current children cumulated vsize (Kb) 5816

[startup+1200.1 s]
Raw data (loadavg): 1.12 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 638 0 0 0 51603 11183 0 0 16 0 1 0 20454701 3776512 609 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 609 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 928.77
Current children cumulated vsize (Kb) 5816

[startup+1210.1 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 638 0 0 0 52160 11331 0 0 15 0 1 0 20454701 3776512 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 609 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 935.82
Current children cumulated vsize (Kb) 5816

[startup+1220.1 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 52722 11472 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 942.85
Current children cumulated vsize (Kb) 5816

[startup+1230.1 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 53354 11592 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 950.37
Current children cumulated vsize (Kb) 5816

[startup+1240.1 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 53875 11752 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 957.18
Current children cumulated vsize (Kb) 5816

[startup+1250.1 s]
Raw data (loadavg): 1.10 1.10 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 639 0 0 0 54394 11906 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 963.91
Current children cumulated vsize (Kb) 5816

[startup+1260.1 s]
Raw data (loadavg): 1.09 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 55040 12019 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 971.5
Current children cumulated vsize (Kb) 5816

[startup+1270.1 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 55604 12164 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 978.59
Current children cumulated vsize (Kb) 5816

[startup+1280.1 s]
Raw data (loadavg): 1.06 1.08 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 639 0 0 0 56102 12331 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222832 134573878 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 985.24
Current children cumulated vsize (Kb) 5816

[startup+1290.11 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 56743 12443 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 992.77
Current children cumulated vsize (Kb) 5816

[startup+1300.11 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 57367 12567 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1000.25
Current children cumulated vsize (Kb) 5816

[startup+1310.11 s]
Raw data (loadavg): 1.11 1.09 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 57967 12698 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1007.56
Current children cumulated vsize (Kb) 5816

[startup+1320.11 s]
Raw data (loadavg): 1.09 1.09 1.03 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 639 0 0 0 58408 12889 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1013.88
Current children cumulated vsize (Kb) 5816

[startup+1330.11 s]
Raw data (loadavg): 1.08 1.08 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 59037 13014 0 0 16 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1021.42
Current children cumulated vsize (Kb) 5816

[startup+1340.11 s]
Raw data (loadavg): 1.07 1.08 1.03 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 639 0 0 0 59651 13142 0 0 15 0 1 0 20454701 3776512 610 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 610 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1028.84
Current children cumulated vsize (Kb) 5816

[startup+1350.11 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 60095 13322 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1035.08
Current children cumulated vsize (Kb) 5816

[startup+1360.11 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 60733 13442 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1042.66
Current children cumulated vsize (Kb) 5816

[startup+1370.11 s]
Raw data (loadavg): 1.04 1.07 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 640 0 0 0 61382 13558 0 0 16 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221183968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1050.31
Current children cumulated vsize (Kb) 5816

[startup+1380.11 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 61813 13743 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1056.47
Current children cumulated vsize (Kb) 5816

[startup+1390.11 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 62430 13870 0 0 16 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1063.91
Current children cumulated vsize (Kb) 5816

[startup+1400.12 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 63088 13982 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1071.61
Current children cumulated vsize (Kb) 5816

[startup+1410.12 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 640 0 0 0 63583 14148 0 0 15 0 1 0 20454701 3776512 611 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 611 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1078.22
Current children cumulated vsize (Kb) 5816

[startup+1420.12 s]
Raw data (loadavg): 1.02 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 641 0 0 0 64145 14289 0 0 16 0 1 0 20454701 3776512 612 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 612 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1085.25
Current children cumulated vsize (Kb) 5816

[startup+1430.12 s]
Raw data (loadavg): 1.01 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 641 0 0 0 64801 14404 0 0 15 0 1 0 20454701 3776512 612 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 612 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1092.96
Current children cumulated vsize (Kb) 5816

[startup+1440.12 s]
Raw data (loadavg): 1.01 1.05 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 641 0 0 0 65437 14525 0 0 15 0 1 0 20454701 3776512 612 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 612 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1100.53
Current children cumulated vsize (Kb) 5816

[startup+1450.12 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 65917 14700 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1107.08
Current children cumulated vsize (Kb) 5816

[startup+1460.12 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 66589 14807 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1114.87
Current children cumulated vsize (Kb) 5816

[startup+1470.12 s]
Raw data (loadavg): 1.00 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 67252 14911 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1122.54
Current children cumulated vsize (Kb) 5816

[startup+1480.12 s]
Raw data (loadavg): 1.08 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 67826 15049 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1129.66
Current children cumulated vsize (Kb) 5816

[startup+1490.12 s]
Raw data (loadavg): 1.07 1.06 1.02 2/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) R 6437 6437 4060 0 -1 0 642 0 0 0 68408 15185 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221164608 134611982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1136.84
Current children cumulated vsize (Kb) 5816

[startup+1500.12 s]
Raw data (loadavg): 1.06 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 69057 15296 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1144.44
Current children cumulated vsize (Kb) 5816

[startup+1510.12 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 69748 15392 0 0 16 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1152.31
Current children cumulated vsize (Kb) 5816

[startup+1520.12 s]
Raw data (loadavg): 1.12 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 642 0 0 0 70212 15571 0 0 15 0 1 0 20454701 3776512 613 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6444/statm): 922 613 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1158.74
Current children cumulated vsize (Kb) 5816

[startup+1530.13 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 644 0 0 0 70846 15686 0 0 16 0 1 0 20454701 3776512 615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 615 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1166.23
Current children cumulated vsize (Kb) 5816

[startup+1540.13 s]
Raw data (loadavg): 1.09 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 644 0 0 0 71535 15785 0 0 15 0 1 0 20454701 3776512 615 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 615 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1174.11
Current children cumulated vsize (Kb) 5816

[startup+1550.13 s]
Raw data (loadavg): 1.07 1.06 1.02 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 644 0 0 0 72182 15898 0 0 15 0 1 0 20454701 3776512 615 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 615 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (Kb) 5816

[startup+1560.13 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 72624 16084 0 0 15 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1187.99
Current children cumulated vsize (Kb) 5816

[startup+1570.13 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 73316 16184 0 0 16 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1195.91
Current children cumulated vsize (Kb) 5816

[startup+1580.13 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 74023 16283 0 0 16 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1203.97
Current children cumulated vsize (Kb) 5816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1580.13 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6444
Raw data (/proc/6437/stat): 6437 (vallstSAT2005PB) S 6436 6437 4060 0 -1 0 378 986 0 0 2 1 28199 1889 19 0 1 0 20420669 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6437/statm): 532 248 485 147 0 385 0
[pid=6437] vsize: 2128
Raw data (/proc/6444/stat): 6444 (vallst) T 6437 6437 4060 0 -1 0 646 0 0 0 74023 16283 0 0 16 0 1 0 20454701 3776512 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6444/statm): 922 617 413 48 0 874 0
[pid=6444] vsize: 3688
Current children cumulated CPU time (s) 1203.97
Current children cumulated vsize (Kb) 5816

Sending SIGTERM to -6437
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6446
New process pid=6447
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
One traced child (pid=6444) exited with status: 3
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/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/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6398/stat
open syscall for file /proc/6398/status
open syscall for file /proc/6398/cmdline
open syscall for file /proc/6398/environ
open syscall for file /proc/6436/stat
open syscall for file /proc/6436/status
open syscall for file /proc/6436/cmdline
open syscall for file /proc/6436/environ
open syscall for file /proc/6437/stat
open syscall for file /proc/6437/status
open syscall for file /proc/6437/cmdline
open syscall for file /proc/6437/environ
open syscall for file /proc/6446/stat
open syscall for file /proc/6446/status
open syscall for file /proc/6446/cmdline
open syscall for file /proc/6446/environ
open syscall for file /proc/6447/stat
open syscall for file /proc/6447/status
open syscall for file /proc/6447/cmdline
open syscall for file /proc/6447/environ
One traced child (pid=6446) exited with status: 0
One traced child (pid=6447) exited with status: 0
New process pid=6448
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=6448) exited with status: 0
New process pid=6449
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=6449) exited with status: 0
One traced child (pid=6437) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1580.6
CPU time (s): 1204.11
CPU user time (s): 1022.29
CPU system time (s): 181.813
CPU usage (%): 76.1802
Max. virtual memory (cumulated for all children) (Kb): 5816

Verifier Data

ERROR: no interpretation found !