Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
MD5SUM75acdcffdd43b3d3a30d0459a6bffe45
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6106
Optimality of the best value was proved NO
Number of terms in the objective function 6774
Biggest coefficient in the objective function 4804
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 6613094
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 4804
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 6613094
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.47
Number of variables6774
Total number of constraints6824
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6824
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3729

Trace number 4288

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-19 06:14:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7582 boxname=wulflinc7 idbench=550 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-air02.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-air02.opb 0
IDLAUNCH: 7582
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889096 kB
Buffers:         37208 kB
Cached:          83636 kB
SwapCached:        740 kB
Active:          77696 kB
Inactive:        45768 kB
HighTotal:      131008 kB
HighFree:        45304 kB
LowTotal:       903652 kB
LowFree:        843792 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            16552 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:29:44 (client local time) WITH STATUS 4 IN 872.173 SECONDS
stats: 7582 7 872.173 4

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 3916;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-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:  6561112 (51981:>=*);
#decisions: 3911;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6561460 (51633:>=*);
#decisions: 3928;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6561795 (51298:>=*);
#decisions: 3932;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6561942 (51151:>=*);
#decisions: 3922;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6562226 (50867:>=*);
#decisions: 3936;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6562250 (50843:>=*);
#decisions: 3975;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6580337 (32756:>=*);
#decisions: 3909;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6580815 (32278:>=*);
#decisions: 3909;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6580910 (32183:>=*);
#decisions: 5759;  #end-nodes: 135;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 53 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6587785 (25308:>=*);
#decisions: 1637;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6587806 (25287:>=*);
#decisions: 1625;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6587840 (25253:>=*);
#decisions: 1613;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6587945 (25148:>=*);
#decisions: 1631;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6588719 (24374:>=*);
#decisions: 1617;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6597750 (15343:>=*);
#decisions: 1613;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6597826 (15267:>=*);
#decisions: 1612;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6597931 (15162:>=*);
#decisions: 1618;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 101, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6598023 (15070:>=*);
#decisions: 5674;  #end-nodes: 2014;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 65 / 81 (81)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6605230 (7863:>=*);
#decisions: 656;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6605777 (7316:>=*);
#decisions: 798;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6606157 (6936:>=*);
#decisions: 795;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6606416 (6677:>=*);
#decisions: 799;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6606436 (6657:>=*);
#decisions: 786;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6606437 (6656:>=*);
#decisions: 839;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6606716 (6377:>=*);
#decisions: 870;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607001 (6092:>=*);
#decisions: 852;  #end-nodes: 57;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607046 (6047:>=*);
#decisions: 570;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607240 (5853:>=*);
#decisions: 341;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607676 (5417:>=*);
#decisions: 340;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607708 (5385:>=*);
#decisions: 342;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 101, #non-axs: 4
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607721 (5372:>=*);
#decisions: 59602;  #end-nodes: 33619;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 5 / 113 (83)
#axs: 101, #non-axs: 6890
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607806 (5287:>=*);
#decisions: 75;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 101, #non-axs: 6890
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607888 (5205:>=*);
#decisions: 90;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 101, #non-axs: 6890
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6607939 (5154:>=*);
#decisions: 93;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 101, #non-axs: 6890
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608219 (4874:>=*);
#decisions: 25841;  #end-nodes: 12944;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 5805 / 6237 (80)
#axs: 101, #non-axs: 8241
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608412 (4681:>=*);
#decisions: 154;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 130 (80)
#axs: 101, #non-axs: 8241
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with const
Conflict clause buffers need to be extended. This situation isn't taken
care of yet!!! Implement the extendConflictClauseBuffers function!!!
On the other hand, I don't think this situation will occur in practice.
If it does, please report it. It only happens because sizes have gotten
askew (way past a large window of values for sizes for the solver to
perform efficiently). You can fix this (both avoiding getting this error
message and getting the solver back to functioning more efficiently) by
setting a better buffer size. See buffer size related functions or
command line options.

Aborting and returning out-of-memory.

ant:  6608432 (4661:>=*);
#decisions: 105;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 101, #non-axs: 8241
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608450 (4643:>=*);
#decisions: 196181;  #end-nodes: 75412;
#proof improvement attempts: 0;  #restarts: 31
Current batch, end-nodes: 6516 / 7024 (87)
#axs: 101, #non-axs: 16293
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608491 (4602:>=*);
#decisions: 18160;  #end-nodes: 9627;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 9106 / 9575 (80)
#axs: 101, #non-axs: 16852
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608511 (4582:>=*);
#decisions: 53;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 101, #non-axs: 16852
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608550 (4543:>=*);
#decisions: 55;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 101, #non-axs: 16852
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608745 (4348:>=*);
Model found with constant:
  (pushed:) 6608745 (4348:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: not enough memory (4)
seed: 0
Nr of vars set: 6754  (#equs: 0)
Time taken: 14 min, 32 sec
times:
0m0.021s 0m0.018s
14m20.942s 0m11.108s
s UNKNOWN

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/2250/stat): 2250 (vallstSAT2005PB) R 2249 2250 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789451780 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2250/statm): 174 3 169 147 0 27 0
[pid=2250] 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=2251
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=2251) exited with status: 0
New process pid=2252
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=2252) exited with status: 0
New process pid=2253
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/wulflinc7/normalized-mps-v2-20-10-air02.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 0.82 0.93 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 886 0 0 0 973 10 0 0 25 0 1 0 1789451787 5636096 856 4294967295 134512640 134702520 3221223952 3221223216 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 1376 856 413 48 0 1328 0
[pid=2253] vsize: 5504
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 7632

[startup+20.0039 s]
Raw data (loadavg): 0.85 0.93 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 921 0 0 0 1938 22 0 0 23 0 1 0 1789451787 10547200 891 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 891 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 19.62
Current children cumulated vsize (Kb) 12428

[startup+30.0045 s]
Raw data (loadavg): 0.87 0.93 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 972 0 0 0 2850 49 0 0 25 0 1 0 1789451787 10547200 942 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 942 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 29.01
Current children cumulated vsize (Kb) 12428

[startup+40.0052 s]
Raw data (loadavg): 0.89 0.93 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 1150 0 0 0 3753 81 0 0 25 0 1 0 1789451787 10547200 1120 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 1120 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 38.36
Current children cumulated vsize (Kb) 12428

[startup+50.0068 s]
Raw data (loadavg): 0.91 0.94 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2121 0 0 0 4704 99 0 0 25 0 1 0 1789451787 10547200 2091 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 2091 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 48.05
Current children cumulated vsize (Kb) 12428

[startup+60.0074 s]
Raw data (loadavg): 0.92 0.94 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2121 0 0 0 5649 120 0 0 25 0 1 0 1789451787 10547200 2091 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 2091 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 57.71
Current children cumulated vsize (Kb) 12428

[startup+70.0081 s]
Raw data (loadavg): 0.93 0.94 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2128 0 0 0 6624 127 0 0 25 0 1 0 1789451787 10547200 2098 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 2098 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 67.53
Current children cumulated vsize (Kb) 12428

[startup+80.0087 s]
Raw data (loadavg): 0.94 0.94 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2150 0 0 0 7595 137 0 0 25 0 1 0 1789451787 10547200 2120 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 2120 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 77.34
Current children cumulated vsize (Kb) 12428

[startup+90.0083 s]
Raw data (loadavg): 0.95 0.94 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2168 0 0 0 8570 147 0 0 25 0 1 0 1789451787 10547200 2138 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2575 2138 413 48 0 2527 0
[pid=2253] vsize: 10300
Current children cumulated CPU time (s) 87.19
Current children cumulated vsize (Kb) 12428

[startup+100.009 s]
Raw data (loadavg): 0.96 0.94 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2187 0 0 0 9544 157 0 0 25 0 1 0 1789451787 10682368 2157 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2608 2157 413 48 0 2560 0
[pid=2253] vsize: 10432
Current children cumulated CPU time (s) 97.03
Current children cumulated vsize (Kb) 12560

[startup+110.01 s]
Raw data (loadavg): 0.96 0.94 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2192 0 0 0 10512 167 0 0 25 0 1 0 1789451787 10682368 2162 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2608 2162 413 48 0 2560 0
[pid=2253] vsize: 10432
Current children cumulated CPU time (s) 106.81
Current children cumulated vsize (Kb) 12560

[startup+120.009 s]
Raw data (loadavg): 0.97 0.95 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2196 0 0 0 11487 175 0 0 25 0 1 0 1789451787 10682368 2166 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2608 2166 413 48 0 2560 0
[pid=2253] vsize: 10432
Current children cumulated CPU time (s) 116.64
Current children cumulated vsize (Kb) 12560

[startup+130.01 s]
Raw data (loadavg): 0.97 0.95 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2216 0 0 0 12462 184 0 0 25 0 1 0 1789451787 10682368 2186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2608 2186 413 48 0 2560 0
[pid=2253] vsize: 10432
Current children cumulated CPU time (s) 126.48
Current children cumulated vsize (Kb) 12560

[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2246 0 0 0 13434 193 0 0 25 0 1 0 1789451787 10817536 2216 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2641 2216 413 48 0 2593 0
[pid=2253] vsize: 10564
Current children cumulated CPU time (s) 136.29
Current children cumulated vsize (Kb) 12692

[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2284 0 0 0 14408 202 0 0 25 0 1 0 1789451787 10817536 2254 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2641 2254 413 48 0 2593 0
[pid=2253] vsize: 10564
Current children cumulated CPU time (s) 146.12
Current children cumulated vsize (Kb) 12692

[startup+160.012 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2307 0 0 0 15375 214 0 0 25 0 1 0 1789451787 10817536 2277 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2641 2277 413 48 0 2593 0
[pid=2253] vsize: 10564
Current children cumulated CPU time (s) 155.91
Current children cumulated vsize (Kb) 12692

[startup+170.015 s]
Raw data (loadavg): 0.98 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2312 0 0 0 16336 230 0 0 25 0 1 0 1789451787 10817536 2282 4294967295 134512640 134702520 3221223952 3221223232 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2641 2282 413 48 0 2593 0
[pid=2253] vsize: 10564
Current children cumulated CPU time (s) 165.68
Current children cumulated vsize (Kb) 12692

[startup+180.016 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2322 0 0 0 17308 240 0 0 25 0 1 0 1789451787 10817536 2292 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2641 2292 413 48 0 2593 0
[pid=2253] vsize: 10564
Current children cumulated CPU time (s) 175.5
Current children cumulated vsize (Kb) 12692

[startup+190.017 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2347 0 0 0 18285 249 0 0 25 0 1 0 1789451787 10952704 2317 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2674 2317 413 48 0 2626 0
[pid=2253] vsize: 10696
Current children cumulated CPU time (s) 185.36
Current children cumulated vsize (Kb) 12824

[startup+200.017 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2360 0 0 0 19258 258 0 0 25 0 1 0 1789451787 10952704 2330 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2674 2330 413 48 0 2626 0
[pid=2253] vsize: 10696
Current children cumulated CPU time (s) 195.18
Current children cumulated vsize (Kb) 12824

[startup+210.018 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2369 0 0 0 20203 277 0 0 25 0 1 0 1789451787 10952704 2339 4294967295 134512640 134702520 3221223952 3221223232 134554445 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2674 2339 413 48 0 2626 0
[pid=2253] vsize: 10696
Current children cumulated CPU time (s) 204.82
Current children cumulated vsize (Kb) 12824

[startup+220.019 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2379 0 0 0 21142 296 0 0 25 0 1 0 1789451787 10952704 2349 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2674 2349 413 48 0 2626 0
[pid=2253] vsize: 10696
Current children cumulated CPU time (s) 214.4
Current children cumulated vsize (Kb) 12824

[startup+230.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2394 0 0 0 22099 310 0 0 25 0 1 0 1789451787 11616256 2364 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2836 2364 413 48 0 2788 0
[pid=2253] vsize: 11344
Current children cumulated CPU time (s) 224.11
Current children cumulated vsize (Kb) 13472

[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2406 0 0 0 23068 319 0 0 25 0 1 0 1789451787 11751424 2376 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2869 2376 413 48 0 2821 0
[pid=2253] vsize: 11476
Current children cumulated CPU time (s) 233.89
Current children cumulated vsize (Kb) 13604

[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2412 0 0 0 24023 333 0 0 25 0 1 0 1789451787 11751424 2382 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2869 2382 413 48 0 2821 0
[pid=2253] vsize: 11476
Current children cumulated CPU time (s) 243.58
Current children cumulated vsize (Kb) 13604

[startup+260.021 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2424 0 0 0 24956 358 0 0 25 0 1 0 1789451787 11751424 2394 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2869 2394 413 48 0 2821 0
[pid=2253] vsize: 11476
Current children cumulated CPU time (s) 253.16
Current children cumulated vsize (Kb) 13604

[startup+270.021 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2433 0 0 0 25913 371 0 0 25 0 1 0 1789451787 11751424 2403 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2869 2403 413 48 0 2821 0
[pid=2253] vsize: 11476
Current children cumulated CPU time (s) 262.86
Current children cumulated vsize (Kb) 13604

[startup+280.021 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2448 0 0 0 26885 381 0 0 25 0 1 0 1789451787 11751424 2418 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2869 2418 413 48 0 2821 0
[pid=2253] vsize: 11476
Current children cumulated CPU time (s) 272.68
Current children cumulated vsize (Kb) 13604

[startup+290.022 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2462 0 0 0 27855 392 0 0 25 0 1 0 1789451787 11898880 2432 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2905 2432 413 48 0 2857 0
[pid=2253] vsize: 11620
Current children cumulated CPU time (s) 282.49
Current children cumulated vsize (Kb) 13748

[startup+300.023 s]
Raw data (loadavg): 0.99 0.96 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2479 0 0 0 28830 402 0 0 25 0 1 0 1789451787 11927552 2449 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2449 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 292.34
Current children cumulated vsize (Kb) 13776

[startup+310.023 s]
Raw data (loadavg): 0.99 0.96 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2485 0 0 0 29801 412 0 0 25 0 1 0 1789451787 11927552 2455 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2455 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 302.15
Current children cumulated vsize (Kb) 13776

[startup+320.024 s]
Raw data (loadavg): 0.99 0.96 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2490 0 0 0 30777 421 0 0 25 0 1 0 1789451787 11927552 2460 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2460 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 312
Current children cumulated vsize (Kb) 13776

[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2493 0 0 0 31749 430 0 0 25 0 1 0 1789451787 11927552 2463 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2463 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 321.81
Current children cumulated vsize (Kb) 13776

[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2498 0 0 0 32708 444 0 0 25 0 1 0 1789451787 11927552 2468 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2468 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 331.54
Current children cumulated vsize (Kb) 13776

[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2501 0 0 0 33658 462 0 0 25 0 1 0 1789451787 11927552 2471 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2471 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 341.22
Current children cumulated vsize (Kb) 13776

[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2506 0 0 0 34639 469 0 0 25 0 1 0 1789451787 11927552 2476 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2476 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 351.1
Current children cumulated vsize (Kb) 13776

[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2507 0 0 0 35616 477 0 0 25 0 1 0 1789451787 11927552 2477 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2912 2477 413 48 0 2864 0
[pid=2253] vsize: 11648
Current children cumulated CPU time (s) 360.95
Current children cumulated vsize (Kb) 13776

[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2510 0 0 0 36577 490 0 0 25 0 1 0 1789451787 12062720 2480 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2945 2480 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 370.69
Current children cumulated vsize (Kb) 13908

[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2512 0 0 0 37531 506 0 0 25 0 1 0 1789451787 12062720 2482 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2482 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 380.39
Current children cumulated vsize (Kb) 13908

[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2515 0 0 0 38497 518 0 0 25 0 1 0 1789451787 12062720 2485 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2485 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 390.17
Current children cumulated vsize (Kb) 13908

[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2517 0 0 0 39469 527 0 0 25 0 1 0 1789451787 12062720 2487 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2487 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 13908

[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2526 0 0 0 40445 535 0 0 25 0 1 0 1789451787 12062720 2496 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2496 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 409.82
Current children cumulated vsize (Kb) 13908

[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2541 0 0 0 41382 556 0 0 25 0 1 0 1789451787 12062720 2511 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2511 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 419.4
Current children cumulated vsize (Kb) 13908

[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2550 0 0 0 42339 570 0 0 24 0 1 0 1789451787 12062720 2520 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2945 2520 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 429.11
Current children cumulated vsize (Kb) 13908

[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2556 0 0 0 43310 581 0 0 25 0 1 0 1789451787 12062720 2526 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2526 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 438.93
Current children cumulated vsize (Kb) 13908

[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2558 0 0 0 44286 591 0 0 25 0 1 0 1789451787 12062720 2528 4294967295 134512640 134702520 3221223952 3221223232 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2945 2528 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 448.79
Current children cumulated vsize (Kb) 13908

[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2570 0 0 0 45255 602 0 0 25 0 1 0 1789451787 12062720 2540 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2945 2540 413 48 0 2897 0
[pid=2253] vsize: 11780
Current children cumulated CPU time (s) 458.59
Current children cumulated vsize (Kb) 13908

[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2585 0 0 0 46227 614 0 0 25 0 1 0 1789451787 12210176 2555 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2555 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 468.43
Current children cumulated vsize (Kb) 14052

[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.97 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2588 0 0 0 47195 625 0 0 25 0 1 0 1789451787 12210176 2558 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2558 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 478.22
Current children cumulated vsize (Kb) 14052

[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2591 0 0 0 48159 637 0 0 25 0 1 0 1789451787 12210176 2561 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2561 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 487.98
Current children cumulated vsize (Kb) 14052

[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2594 0 0 0 49126 647 0 0 25 0 1 0 1789451787 12210176 2564 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2564 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 497.75
Current children cumulated vsize (Kb) 14052

[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2598 0 0 0 50096 657 0 0 25 0 1 0 1789451787 12210176 2568 4294967295 134512640 134702520 3221223952 3221223232 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2568 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 507.55
Current children cumulated vsize (Kb) 14052

[startup+530.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2599 0 0 0 51066 669 0 0 25 0 1 0 1789451787 12210176 2569 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2569 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (Kb) 14052

[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2601 0 0 0 52026 686 0 0 25 0 1 0 1789451787 12210176 2571 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2981 2571 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 527.14
Current children cumulated vsize (Kb) 14052

[startup+550.039 s]
Raw data (loadavg): 1.07 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2605 0 0 0 52989 697 0 0 25 0 1 0 1789451787 12210176 2575 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2575 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 536.88
Current children cumulated vsize (Kb) 14052

[startup+560.04 s]
Raw data (loadavg): 1.06 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2609 0 0 0 53954 709 0 0 25 0 1 0 1789451787 12210176 2579 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2579 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 546.65
Current children cumulated vsize (Kb) 14052

[startup+570.04 s]
Raw data (loadavg): 1.05 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2609 0 0 0 54924 720 0 0 22 0 1 0 1789451787 12210176 2579 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2579 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 556.46
Current children cumulated vsize (Kb) 14052

[startup+580.04 s]
Raw data (loadavg): 1.04 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2610 0 0 0 55868 738 0 0 19 0 1 0 1789451787 12210176 2580 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 2981 2580 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 566.08
Current children cumulated vsize (Kb) 14052

[startup+590.041 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2613 0 0 0 56835 750 0 0 25 0 1 0 1789451787 12210176 2583 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 2981 2583 413 48 0 2933 0
[pid=2253] vsize: 11924
Current children cumulated CPU time (s) 575.87
Current children cumulated vsize (Kb) 14052

[startup+600.042 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2620 0 0 0 57800 763 0 0 25 0 1 0 1789451787 12345344 2590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3014 2590 413 48 0 2966 0
[pid=2253] vsize: 12056
Current children cumulated CPU time (s) 585.65
Current children cumulated vsize (Kb) 14184

[startup+610.042 s]
Raw data (loadavg): 1.02 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2622 0 0 0 58770 774 0 0 25 0 1 0 1789451787 12345344 2592 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3014 2592 413 48 0 2966 0
[pid=2253] vsize: 12056
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (Kb) 14184

[startup+620.042 s]
Raw data (loadavg): 1.02 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2624 0 0 0 59735 786 0 0 25 0 1 0 1789451787 12345344 2594 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3014 2594 413 48 0 2966 0
[pid=2253] vsize: 12056
Current children cumulated CPU time (s) 605.23
Current children cumulated vsize (Kb) 14184

[startup+630.043 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2627 0 0 0 60694 801 0 0 24 0 1 0 1789451787 12345344 2597 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3014 2597 413 48 0 2966 0
[pid=2253] vsize: 12056
Current children cumulated CPU time (s) 614.97
Current children cumulated vsize (Kb) 14184

[startup+640.043 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2632 0 0 0 61663 811 0 0 25 0 1 0 1789451787 12345344 2602 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3014 2602 413 48 0 2966 0
[pid=2253] vsize: 12056
Current children cumulated CPU time (s) 624.76
Current children cumulated vsize (Kb) 14184

[startup+650.044 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2634 0 0 0 62633 820 0 0 25 0 1 0 1789451787 12345344 2604 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3014 2604 413 48 0 2966 0
[pid=2253] vsize: 12056
Current children cumulated CPU time (s) 634.55
Current children cumulated vsize (Kb) 14184

[startup+660.044 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2656 0 0 0 63602 833 0 0 25 0 1 0 1789451787 12410880 2626 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2626 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 644.37
Current children cumulated vsize (Kb) 14248

[startup+670.045 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2658 0 0 0 64575 843 0 0 25 0 1 0 1789451787 12410880 2628 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2628 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 654.2
Current children cumulated vsize (Kb) 14248

[startup+680.046 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2660 0 0 0 65542 855 0 0 25 0 1 0 1789451787 12410880 2630 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2630 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 663.99
Current children cumulated vsize (Kb) 14248

[startup+690.045 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2660 0 0 0 66502 869 0 0 25 0 1 0 1789451787 12410880 2630 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2630 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 673.73
Current children cumulated vsize (Kb) 14248

[startup+700.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2661 0 0 0 67470 880 0 0 25 0 1 0 1789451787 12410880 2631 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2631 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 683.52
Current children cumulated vsize (Kb) 14248

[startup+710.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2662 0 0 0 68438 890 0 0 25 0 1 0 1789451787 12410880 2632 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2632 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 693.3
Current children cumulated vsize (Kb) 14248

[startup+720.047 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2664 0 0 0 69404 902 0 0 25 0 1 0 1789451787 12410880 2634 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2634 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 703.08
Current children cumulated vsize (Kb) 14248

[startup+730.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2666 0 0 0 70364 914 0 0 25 0 1 0 1789451787 12410880 2636 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 3030 2636 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 712.8
Current children cumulated vsize (Kb) 14248

[startup+740.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2667 0 0 0 71325 926 0 0 25 0 1 0 1789451787 12410880 2637 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2637 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 722.53
Current children cumulated vsize (Kb) 14248

[startup+750.049 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2669 0 0 0 72302 933 0 0 25 0 1 0 1789451787 12410880 2639 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2639 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 732.37
Current children cumulated vsize (Kb) 14248

[startup+760.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2670 0 0 0 73278 942 0 0 25 0 1 0 1789451787 12410880 2640 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2640 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 742.22
Current children cumulated vsize (Kb) 14248

[startup+770.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2671 0 0 0 74252 952 0 0 25 0 1 0 1789451787 12410880 2641 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2641 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 752.06
Current children cumulated vsize (Kb) 14248

[startup+780.051 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2673 0 0 0 75223 962 0 0 25 0 1 0 1789451787 12410880 2643 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3030 2643 413 48 0 2982 0
[pid=2253] vsize: 12120
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (Kb) 14248

[startup+790.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2675 0 0 0 76184 977 0 0 25 0 1 0 1789451787 12546048 2645 4294967295 134512640 134702520 3221223952 3221223072 134584607 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2645 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 771.63
Current children cumulated vsize (Kb) 14380

[startup+800.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2679 0 0 0 77149 989 0 0 25 0 1 0 1789451787 12546048 2649 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2649 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 781.4
Current children cumulated vsize (Kb) 14380

[startup+810.053 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2680 0 0 0 78103 1006 0 0 25 0 1 0 1789451787 12546048 2650 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2650 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 791.11
Current children cumulated vsize (Kb) 14380

[startup+820.053 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2681 0 0 0 79083 1013 0 0 25 0 1 0 1789451787 12546048 2651 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2651 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 800.98
Current children cumulated vsize (Kb) 14380

[startup+830.054 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2683 0 0 0 80056 1023 0 0 25 0 1 0 1789451787 12546048 2653 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2653 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 810.81
Current children cumulated vsize (Kb) 14380

[startup+840.055 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2684 0 0 0 81025 1036 0 0 25 0 1 0 1789451787 12546048 2654 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2654 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 820.63
Current children cumulated vsize (Kb) 14380

[startup+850.056 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2686 0 0 0 81997 1046 0 0 25 0 1 0 1789451787 12546048 2656 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2656 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 830.45
Current children cumulated vsize (Kb) 14380

[startup+860.057 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2686 0 0 0 82958 1060 0 0 25 0 1 0 1789451787 12546048 2656 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2656 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 840.2
Current children cumulated vsize (Kb) 14380

[startup+870.057 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2687 0 0 0 83923 1071 0 0 25 0 1 0 1789451787 12546048 2657 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2657 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 849.96
Current children cumulated vsize (Kb) 14380

[startup+880.057 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) T 2250 2250 15400 0 -1 0 2691 0 0 0 84882 1085 0 0 19 0 1 0 1789451787 12546048 2661 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2253/statm): 3063 2661 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 859.69
Current children cumulated vsize (Kb) 14380

[startup+890.058 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 2253
Raw data (/proc/2250/stat): 2250 (vallstSAT2005PB) S 2249 2250 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1789451780 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2250/statm): 532 242 485 147 0 385 0
[pid=2250] vsize: 2128
Raw data (/proc/2253/stat): 2253 (vallst) R 2250 2250 15400 0 -1 0 2691 0 0 0 85839 1103 0 0 25 0 1 0 1789451787 12546048 2661 4294967295 134512640 134702520 3221223952 3221222944 134611115 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2253/statm): 3063 2661 413 48 0 3015 0
[pid=2253] vsize: 12252
Current children cumulated CPU time (s) 869.44
Current children cumulated vsize (Kb) 14380
One traced child (pid=2253) exited with status: 4
New process pid=2254
New process pid=2255
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/2213/stat
open syscall for file /proc/2213/status
open syscall for file /proc/2213/cmdline
open syscall for file /proc/2213/environ
open syscall for file /proc/2249/stat
open syscall for file /proc/2249/status
open syscall for file /proc/2249/cmdline
open syscall for file /proc/2249/environ
open syscall for file /proc/2250/stat
open syscall for file /proc/2250/status
open syscall for file /proc/2250/cmdline
open syscall for file /proc/2250/environ
open syscall for file /proc/2254/stat
open syscall for file /proc/2254/status
open syscall for file /proc/2254/cmdline
open syscall for file /proc/2254/environ
open syscall for file /proc/2255/stat
open syscall for file /proc/2255/status
open syscall for file /proc/2255/cmdline
open syscall for file /proc/2255/environ
One traced child (pid=2254) exited with status: 0
One traced child (pid=2255) exited with status: 0
New process pid=2256
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=2256) exited with status: 0
New process pid=2257
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=2257) exited with status: 0
One traced child (pid=2250) exited with status: 4
All traced children have exited ! Game is over.

Child status: 4
Real time (s): 893.296
CPU time (s): 872.173
CPU user time (s): 860.987
CPU system time (s): 11.1863
CPU usage (%): 97.6355
Max. virtual memory (cumulated for all children) (Kb): 14380

Verifier Data

ERROR: no interpretation found !