Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb
MD5SUM69337cf8d2b6f6cf8cc02fedc291ffcc
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 234457
Optimality of the best value was proved NO
Number of terms in the objective function 10757
Biggest coefficient in the objective function 6873
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 13748961
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 6873
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13748961
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1191.31
Number of variables10757
Total number of constraints10881
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10881
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3861

Trace number 9310

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        997952 kB
Buffers:           452 kB
Cached:          18792 kB
SwapCached:          0 kB
Active:          17804 kB
Inactive:         4372 kB
HighTotal:      131008 kB
HighFree:       107884 kB
LowTotal:       903652 kB
LowFree:        890068 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8756 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:41:19 (client local time) WITH STATUS 0 IN 1206.15 SECONDS
stats: 8030 7 1206.15 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 2  (#equs: 2)
#decisions: 3160;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-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:  13412418 (336542:>=*);
#decisions: 3161;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13422040 (326920:>=*);
#decisions: 3161;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13425195 (323765:>=*);
#decisions: 3160;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13425216 (323744:>=*);
#decisions: 3163;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13426141 (322819:>=*);
#decisions: 3162;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13434838 (314122:>=*);
#decisions: 3165;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13443670 (305290:>=*);
#decisions: 3166;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13444616 (304344:>=*);
#decisions: 3163;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13453313 (295647:>=*);
#decisions: 3167;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13453452 (295508:>=*);
#decisions: 3165;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13462149 (286811:>=*);
#decisions: 3175;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13478249 (270711:>=*);
#decisions: 3158;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13486946 (262014:>=*);
#decisions: 3162;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487201 (261759:>=*);
#decisions: 3173;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487338 (261622:>=*);
#decisions: 3174;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487525 (261435:>=*);
#decisions: 3172;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487919 (261041:>=*);
#decisions: 3203;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487972 (260988:>=*);
#decisions: 3173;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487998 (260962:>=*);
#decisions: 3169;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13488232 (260728:>=*);
#decisions: 3175;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13488726 (260234:>=*);
#decisions: 5413;  #end-nodes: 258;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13490763 (258197:>=*);
#decisions: 193;  #end-nodes: 68;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 68 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13492674 (256286:>=*);
#decisions: 158;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13492909 (256051:>=*);
#decisions: 15054;  #end-nodes: 1260;
#proof improvement attempts: 0;  #restarts: 15
Current batch, end-nodes: 12 / 89 (83)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13500225 (248735:>=*);
#decisions: 172;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13500460 (248500:>=*);
#decisions: 358;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 83 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13504442 (244518:>=*);
#decisions: 183;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13504676 (244284:>=*);
#decisions: 360;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 83 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13504936 (244024:>=*);
#decisions: 181;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13505170 (243790:>=*);
#decisions: 370;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 83 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13505317 (243643:>=*);
#decisions: 389;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 83 (80)
#axs: 251, #non-axs: 14
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13512656 (236304:>=*);
#decisions: 38923;  #end-nodes: 2338;
#proof improvement attempts: 0;  #restarts: 27
Current batch, end-nodes: 44 / 86 (86)
#axs: 251, #non-axs: 16
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13513206 (235754:>=*);
#decisions: 4220;  #end-nodes: 449;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 32 / 81 (81)
#axs: 251, #non-axs: 26
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13513796 (235164:>=*);
#decisions: 2708;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 251, #non-axs: 26
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13522463 (226497:>=*);
#decisions: 2744;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 251, #non-axs: 26
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13522467 (226493:>=*);
#decisions: 2687;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 26
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13522963 (225997:>=*);
#decisions: 2697;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 26
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13523694 (225266:>=*);
#decisions: 31673;  #end-nodes: 1749;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 10 / 85 (85)
#axs: 251, #non-axs: 51
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13525981 (222979:>=*);
#decisions: 356;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 251, #non-axs: 51
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13527865 (221095:>=*);
#decisions: 360;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 251, #non-axs: 51
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13528192 (220768:>=*);
#decisions: 397;  #end-nodes: 61;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 61 / 80 (80)
#axs: 251, #non-axs: 51
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13528335 (220625:>=*);
#decisions: 25883;  #end-nodes: 2089;
#proof improvement attempts: 0;  #restarts: 24
Current batch, end-nodes: 79 / 86 (86)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13530114 (218846:>=*);
#decisions: 337;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13530120 (218840:>=*);
#decisions: 363;  #end-nodes: 61;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 61 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13530177 (218783:>=*);
#decisions: 339;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13530314 (218646:>=*);
#decisions: 36766;  #end-nodes: 3768;
#proof improvement attempts: 0;  #restarts: 43
Current batch, end-nodes: 10 / 90 (90)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539332 (209628:>=*);
#decisions: 125;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539493 (209467:>=*);
#decisions: 117;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539592 (2 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options
09368:>=*);
#decisions: 117;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539678 (209282:>=*);
#decisions: 124;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539744 (209216:>=*);
#decisions: 124;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539843 (209117:>=*);
#decisions: 116;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 251, #non-axs: 52
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539929 (209031:>=*);
#decisions: 489291;  #end-nodes: 113780;
#proof improvement attempts: 0;  #restarts: 528
Current batch, end-nodes: 3 / 212 (212)
#axs: 251, #non-axs: 791
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 39
Model found with constant:  13541448 (207512:>=*);
#decisions: 336;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 791
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 39
Model found with constant:  13541683 (207277:>=*);
#decisions: 338;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 791
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 25, end (keep): 39
Model found with constant:  13541687 (207273:>=*);
Interupt request received.
#decisions: 377515;  #end-nodes: 81793;
#proof improvement attempts: 0;  #restarts: 453
Current batch, end-nodes: 58 / 193 (193)
#axs: 251, #non-axs: 1197
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 8, end: 12;  meta: start: 20, end (keep): 32
Model found with constant:
  (pushed:) 13541687 (207273:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 10566  (#equs: 2)
Time taken: 20 min, 5 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) R 5800 5801 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20141263 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5801/statm): 174 3 169 147 0 27 0
[pid=5801] 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=5802
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=5802) exited with status: 0
New process pid=5803
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=5803) exited with status: 0
New process pid=5804
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/wulflinc14/normalized-mps-v2-13-7-air03.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.88 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 1341 0 0 0 968 11 0 0 25 0 1 0 20141271 7528448 1221 4294967295 134512640 134702520 3221223952 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 1838 1221 413 48 0 1790 0
[pid=5804] vsize: 7352
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (Kb) 9480

[startup+20.0045 s]
Raw data (loadavg): 0.89 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 1376 0 0 0 1943 20 0 0 25 0 1 0 20141271 14815232 1256 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3617 1256 413 48 0 3569 0
[pid=5804] vsize: 14468
Current children cumulated CPU time (s) 19.65
Current children cumulated vsize (Kb) 16596

[startup+30.0051 s]
Raw data (loadavg): 0.91 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 1389 0 0 0 2844 53 0 0 25 0 1 0 20141271 14815232 1269 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3617 1269 413 48 0 3569 0
[pid=5804] vsize: 14468
Current children cumulated CPU time (s) 28.99
Current children cumulated vsize (Kb) 16596

[startup+40.0058 s]
Raw data (loadavg): 0.92 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 1418 0 0 0 3750 88 0 0 25 0 1 0 20141271 14815232 1298 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3617 1298 413 48 0 3569 0
[pid=5804] vsize: 14468
Current children cumulated CPU time (s) 38.4
Current children cumulated vsize (Kb) 16596

[startup+50.0065 s]
Raw data (loadavg): 0.93 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 1531 0 0 0 4657 122 0 0 25 0 1 0 20141271 14815232 1411 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3617 1411 413 48 0 3569 0
[pid=5804] vsize: 14468
Current children cumulated CPU time (s) 47.81
Current children cumulated vsize (Kb) 16596

[startup+60.0072 s]
Raw data (loadavg): 0.94 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 2003 0 0 0 5580 150 0 0 25 0 1 0 20141271 14815232 1883 4294967295 134512640 134702520 3221223952 3221222100 1074493944 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3617 1883 413 48 0 3569 0
[pid=5804] vsize: 14468
Current children cumulated CPU time (s) 57.32
Current children cumulated vsize (Kb) 16596

[startup+70.0089 s]
Raw data (loadavg): 0.95 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 2296 0 0 0 6496 179 0 0 23 0 1 0 20141271 15015936 2176 4294967295 134512640 134702520 3221223952 3221223232 134550611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 2176 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 66.77
Current children cumulated vsize (Kb) 16792

[startup+80.0095 s]
Raw data (loadavg): 0.96 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 2296 0 0 0 7416 206 0 0 25 0 1 0 20141271 15015936 2176 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 2176 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 76.24
Current children cumulated vsize (Kb) 16792

[startup+90.0102 s]
Raw data (loadavg): 0.97 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 2420 0 0 0 8330 237 0 0 25 0 1 0 20141271 15015936 2300 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 2300 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 85.69
Current children cumulated vsize (Kb) 16792

[startup+100.011 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3088 0 0 0 9242 268 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 95.12
Current children cumulated vsize (Kb) 16792

[startup+110.013 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3088 0 0 0 10168 294 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 104.64
Current children cumulated vsize (Kb) 16792

[startup+120.013 s]
Raw data (loadavg): 0.98 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3088 0 0 0 11100 318 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 114.2
Current children cumulated vsize (Kb) 16792

[startup+130.014 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3088 0 0 0 12036 341 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 123.79
Current children cumulated vsize (Kb) 16792

[startup+140.016 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3169 0 0 0 12973 363 0 0 19 0 1 0 20141271 15015936 3049 4294967295 134512640 134702520 3221223952 3221223344 134605942 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3049 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 133.38
Current children cumulated vsize (Kb) 16792

[startup+150.016 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3182 0 0 0 13913 382 0 0 25 0 1 0 20141271 15015936 3062 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3062 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 142.97
Current children cumulated vsize (Kb) 16792

[startup+160.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3190 0 0 0 14848 405 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221222976 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 152.55
Current children cumulated vsize (Kb) 16792

[startup+170.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3190 0 0 0 15786 427 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221222976 134551065 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (Kb) 16792

[startup+180.018 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3190 0 0 0 16699 455 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 171.56
Current children cumulated vsize (Kb) 16792

[startup+190.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3190 0 0 0 17632 477 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 181.11
Current children cumulated vsize (Kb) 16792

[startup+200.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3202 0 0 0 18566 499 0 0 25 0 1 0 20141271 15015936 3082 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3082 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 190.67
Current children cumulated vsize (Kb) 16792

[startup+210.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 19519 514 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 200.35
Current children cumulated vsize (Kb) 16792

[startup+220.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 20471 530 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 210.03
Current children cumulated vsize (Kb) 16792

[startup+230.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 21460 534 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 219.96
Current children cumulated vsize (Kb) 16792

[startup+240.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 22398 554 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 229.54
Current children cumulated vsize (Kb) 16792

[startup+250.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 23336 576 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 239.14
Current children cumulated vsize (Kb) 16792

[startup+260.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 24274 599 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 248.75
Current children cumulated vsize (Kb) 16792

[startup+270.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 25194 627 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 258.23
Current children cumulated vsize (Kb) 16792

[startup+280.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 26133 648 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 267.83
Current children cumulated vsize (Kb) 16792

[startup+290.027 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 27087 664 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 277.53
Current children cumulated vsize (Kb) 16792

[startup+300.026 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 28032 684 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 287.18
Current children cumulated vsize (Kb) 16792

[startup+310.028 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 28969 705 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 296.76
Current children cumulated vsize (Kb) 16792

[startup+320.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 29957 710 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 306.69
Current children cumulated vsize (Kb) 16792

[startup+330.03 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 30916 722 0 0 19 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 316.4
Current children cumulated vsize (Kb) 16792

[startup+340.031 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 31857 741 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 326
Current children cumulated vsize (Kb) 16792

[startup+350.032 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 32801 762 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 335.65
Current children cumulated vsize (Kb) 16792

[startup+360.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 33746 781 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223072 134578986 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 345.29
Current children cumulated vsize (Kb) 16792

[startup+370.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 34694 798 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 354.94
Current children cumulated vsize (Kb) 16792

[startup+380.034 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 35656 812 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 364.7
Current children cumulated vsize (Kb) 16792

[startup+390.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 36616 826 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 374.44
Current children cumulated vsize (Kb) 16792

[startup+400.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 37576 839 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 384.17
Current children cumulated vsize (Kb) 16792

[startup+410.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 38553 847 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 394.02
Current children cumulated vsize (Kb) 16792

[startup+420.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 39543 851 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 403.96
Current children cumulated vsize (Kb) 16792

[startup+430.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 40506 864 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 413.72
Current children cumulated vsize (Kb) 16792

[startup+440.037 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 41474 874 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 423.5
Current children cumulated vsize (Kb) 16792

[startup+450.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3231 0 0 0 42435 887 0 0 25 0 1 0 20141271 15015936 3111 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3666 3111 413 48 0 3618 0
[pid=5804] vsize: 14664
Current children cumulated CPU time (s) 433.24
Current children cumulated vsize (Kb) 16792

[startup+460.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3239 0 0 0 43412 896 0 0 25 0 1 0 20141271 15151104 3119 4294967295 134512640 134702520 3221223952 3221223232 134553157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3699 3119 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 443.1
Current children cumulated vsize (Kb) 16924

[startup+470.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3242 0 0 0 44381 906 0 0 25 0 1 0 20141271 15151104 3122 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3699 3122 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 452.89
Current children cumulated vsize (Kb) 16924

[startup+480.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3247 0 0 0 45355 914 0 0 25 0 1 0 20141271 15151104 3127 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3699 3127 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 462.71
Current children cumulated vsize (Kb) 16924

[startup+490.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3252 0 0 0 46332 922 0 0 25 0 1 0 20141271 15151104 3132 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3699 3132 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 472.56
Current children cumulated vsize (Kb) 16924

[startup+500.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3261 0 0 0 47292 937 0 0 25 0 1 0 20141271 15151104 3141 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3699 3141 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 482.31
Current children cumulated vsize (Kb) 16924

[startup+510.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3266 0 0 0 48259 949 0 0 25 0 1 0 20141271 15151104 3146 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3699 3146 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 492.1
Current children cumulated vsize (Kb) 16924

[startup+520.04 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3266 0 0 0 49244 955 0 0 25 0 1 0 20141271 15151104 3146 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3699 3146 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 502.01
Current children cumulated vsize (Kb) 16924

[startup+530.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3266 0 0 0 50218 963 0 0 18 0 1 0 20141271 15151104 3146 4294967295 134512640 134702520 3221223952 3221223352 134607252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3699 3146 413 48 0 3651 0
[pid=5804] vsize: 14796
Current children cumulated CPU time (s) 511.83
Current children cumulated vsize (Kb) 16924

[startup+540.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3270 0 0 0 51188 974 0 0 25 0 1 0 20141271 15314944 3150 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3739 3150 413 48 0 3691 0
[pid=5804] vsize: 14956
Current children cumulated CPU time (s) 521.64
Current children cumulated vsize (Kb) 17084

[startup+550.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3272 0 0 0 52149 988 0 0 25 0 1 0 20141271 15269888 3152 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3152 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 531.39
Current children cumulated vsize (Kb) 17040

[startup+560.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3274 0 0 0 53114 1001 0 0 25 0 1 0 20141271 15269888 3154 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3154 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 541.17
Current children cumulated vsize (Kb) 17040

[startup+570.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3277 0 0 0 54083 1011 0 0 25 0 1 0 20141271 15269888 3157 4294967295 134512640 134702520 3221223952 3221223072 134578979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3157 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 550.96
Current children cumulated vsize (Kb) 17040

[startup+580.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3280 0 0 0 55057 1019 0 0 25 0 1 0 20141271 15269888 3160 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3160 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 560.78
Current children cumulated vsize (Kb) 17040

[startup+590.044 s]
Raw data (loadavg): 1.07 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3283 0 0 0 56027 1030 0 0 25 0 1 0 20141271 15269888 3163 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3163 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 570.59
Current children cumulated vsize (Kb) 17040

[startup+600.045 s]
Raw data (loadavg): 1.06 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3286 0 0 0 57002 1039 0 0 25 0 1 0 20141271 15269888 3166 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3166 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 580.43
Current children cumulated vsize (Kb) 17040

[startup+610.044 s]
Raw data (loadavg): 1.05 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3287 0 0 0 57958 1055 0 0 25 0 1 0 20141271 15269888 3167 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3167 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 590.15
Current children cumulated vsize (Kb) 17040

[startup+620.045 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3292 0 0 0 58930 1064 0 0 25 0 1 0 20141271 15269888 3172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3172 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 599.96
Current children cumulated vsize (Kb) 17040

[startup+630.046 s]
Raw data (loadavg): 1.04 1.01 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3298 0 0 0 59905 1074 0 0 25 0 1 0 20141271 15269888 3178 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3728 3178 413 48 0 3680 0
[pid=5804] vsize: 14912
Current children cumulated CPU time (s) 609.81
Current children cumulated vsize (Kb) 17040

[startup+640.046 s]
Raw data (loadavg): 1.03 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3300 0 0 0 60893 1078 0 0 25 0 1 0 20141271 15421440 3180 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3765 3180 413 48 0 3717 0
[pid=5804] vsize: 15060
Current children cumulated CPU time (s) 619.73
Current children cumulated vsize (Kb) 17188

[startup+650.047 s]
Raw data (loadavg): 1.03 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3300 0 0 0 61874 1084 0 0 25 0 1 0 20141271 15376384 3180 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3180 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 629.6
Current children cumulated vsize (Kb) 17144

[startup+660.047 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3303 0 0 0 62845 1093 0 0 25 0 1 0 20141271 15376384 3183 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3183 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 639.4
Current children cumulated vsize (Kb) 17144

[startup+670.048 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3306 0 0 0 63809 1106 0 0 25 0 1 0 20141271 15376384 3186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3186 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 649.17
Current children cumulated vsize (Kb) 17144

[startup+680.049 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3310 0 0 0 64782 1116 0 0 25 0 1 0 20141271 15376384 3190 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3190 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 659
Current children cumulated vsize (Kb) 17144

[startup+690.05 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3314 0 0 0 65752 1126 0 0 25 0 1 0 20141271 15376384 3194 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3194 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 668.8
Current children cumulated vsize (Kb) 17144

[startup+700.05 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3319 0 0 0 66724 1136 0 0 25 0 1 0 20141271 15376384 3199 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3199 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 678.62
Current children cumulated vsize (Kb) 17144

[startup+710.05 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3322 0 0 0 67700 1144 0 0 25 0 1 0 20141271 15376384 3202 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3202 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 688.46
Current children cumulated vsize (Kb) 17144

[startup+720.051 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3325 0 0 0 68677 1153 0 0 25 0 1 0 20141271 15376384 3205 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3205 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 698.32
Current children cumulated vsize (Kb) 17144

[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3327 0 0 0 69652 1162 0 0 25 0 1 0 20141271 15376384 3207 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3207 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 708.16
Current children cumulated vsize (Kb) 17144

[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3330 0 0 0 70626 1172 0 0 25 0 1 0 20141271 15376384 3210 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3754 3210 413 48 0 3706 0
[pid=5804] vsize: 15016
Current children cumulated CPU time (s) 718
Current children cumulated vsize (Kb) 17144

[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3333 0 0 0 71595 1184 0 0 25 0 1 0 20141271 15499264 3213 4294967295 134512640 134702520 3221223952 3221223232 134557278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3784 3213 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 727.81
Current children cumulated vsize (Kb) 17264

[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3335 0 0 0 72556 1198 0 0 25 0 1 0 20141271 15499264 3215 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3215 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 737.56
Current children cumulated vsize (Kb) 17264

[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3337 0 0 0 73521 1208 0 0 25 0 1 0 20141271 15499264 3217 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3217 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 747.31
Current children cumulated vsize (Kb) 17264

[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3338 0 0 0 74472 1225 0 0 25 0 1 0 20141271 15499264 3218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3218 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 756.99
Current children cumulated vsize (Kb) 17264

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3340 0 0 0 75419 1244 0 0 25 0 1 0 20141271 15499264 3220 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3220 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 766.65
Current children cumulated vsize (Kb) 17264

[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3341 0 0 0 76366 1263 0 0 25 0 1 0 20141271 15499264 3221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3221 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 776.31
Current children cumulated vsize (Kb) 17264

[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3341 0 0 0 77316 1278 0 0 25 0 1 0 20141271 15499264 3221 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3221 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 785.96
Current children cumulated vsize (Kb) 17264

[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3342 0 0 0 78263 1295 0 0 25 0 1 0 20141271 15499264 3222 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3222 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 795.6
Current children cumulated vsize (Kb) 17264

[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3342 0 0 0 79229 1307 0 0 25 0 1 0 20141271 15499264 3222 4294967295 134512640 134702520 3221223952 3221222976 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3222 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 805.38
Current children cumulated vsize (Kb) 17264

[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3342 0 0 0 80218 1310 0 0 25 0 1 0 20141271 15499264 3222 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3222 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 815.3
Current children cumulated vsize (Kb) 17264

[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3343 0 0 0 81162 1329 0 0 25 0 1 0 20141271 15499264 3223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3223 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 824.93
Current children cumulated vsize (Kb) 17264

[startup+860.055 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3344 0 0 0 82107 1348 0 0 25 0 1 0 20141271 15499264 3224 4294967295 134512640 134702520 3221223952 3221223352 134607263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3784 3224 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 834.57
Current children cumulated vsize (Kb) 17264

[startup+870.056 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3344 0 0 0 83064 1362 0 0 25 0 1 0 20141271 15499264 3224 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3224 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 844.28
Current children cumulated vsize (Kb) 17264

[startup+880.057 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3345 0 0 0 84004 1384 0 0 25 0 1 0 20141271 15499264 3225 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3225 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 853.9
Current children cumulated vsize (Kb) 17264

[startup+890.057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3345 0 0 0 84942 1405 0 0 25 0 1 0 20141271 15499264 3225 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3225 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 863.49
Current children cumulated vsize (Kb) 17264

[startup+900.058 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3345 0 0 0 85893 1421 0 0 25 0 1 0 20141271 15499264 3225 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3225 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 873.16
Current children cumulated vsize (Kb) 17264

[startup+910.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3347 0 0 0 86844 1438 0 0 25 0 1 0 20141271 15499264 3227 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3227 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 882.84
Current children cumulated vsize (Kb) 17264

[startup+920.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 87788 1457 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 892.47
Current children cumulated vsize (Kb) 17264

[startup+930.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 88773 1463 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 902.38
Current children cumulated vsize (Kb) 17264

[startup+940.061 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3348 0 0 0 89740 1473 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 912.15
Current children cumulated vsize (Kb) 17264

[startup+950.061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 90677 1495 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 921.74
Current children cumulated vsize (Kb) 17264

[startup+960.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 91616 1516 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 931.34
Current children cumulated vsize (Kb) 17264

[startup+970.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3349 0 0 0 92569 1533 0 0 24 0 1 0 20141271 15499264 3229 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3229 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 941.04
Current children cumulated vsize (Kb) 17264

[startup+980.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3350 0 0 0 93525 1548 0 0 25 0 1 0 20141271 15499264 3230 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3230 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 950.75
Current children cumulated vsize (Kb) 17264

[startup+990.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3351 0 0 0 94460 1572 0 0 25 0 1 0 20141271 15499264 3231 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3784 3231 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 960.34
Current children cumulated vsize (Kb) 17264

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3353 0 0 0 95404 1592 0 0 25 0 1 0 20141271 15499264 3233 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3784 3233 413 48 0 3736 0
[pid=5804] vsize: 15136
Current children cumulated CPU time (s) 969.98
Current children cumulated vsize (Kb) 17264

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3355 0 0 0 96367 1604 0 0 25 0 1 0 20141271 15618048 3235 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3235 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 979.73
Current children cumulated vsize (Kb) 17380

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3356 0 0 0 97330 1616 0 0 25 0 1 0 20141271 15618048 3236 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3236 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 989.48
Current children cumulated vsize (Kb) 17380

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3356 0 0 0 98319 1620 0 0 25 0 1 0 20141271 15618048 3236 4294967295 134512640 134702520 3221223952 3221222976 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3236 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 999.41
Current children cumulated vsize (Kb) 17380

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3357 0 0 0 99293 1628 0 0 25 0 1 0 20141271 15618048 3237 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3813 3237 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1009.23
Current children cumulated vsize (Kb) 17380

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3360 0 0 0 100261 1638 0 0 25 0 1 0 20141271 15618048 3240 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3240 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1019.01
Current children cumulated vsize (Kb) 17380

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3361 0 0 0 101238 1647 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1028.87
Current children cumulated vsize (Kb) 17380

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3361 0 0 0 102214 1654 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1038.7
Current children cumulated vsize (Kb) 17380

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3361 0 0 0 103182 1666 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1048.5
Current children cumulated vsize (Kb) 17380

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3361 0 0 0 104147 1679 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1058.28
Current children cumulated vsize (Kb) 17380

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3362 0 0 0 105111 1691 0 0 25 0 1 0 20141271 15618048 3242 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3813 3242 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1068.04
Current children cumulated vsize (Kb) 17380

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3365 0 0 0 106086 1700 0 0 25 0 1 0 20141271 15618048 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3813 3245 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1077.88
Current children cumulated vsize (Kb) 17380

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3370 0 0 0 107057 1709 0 0 25 0 1 0 20141271 15618048 3250 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3250 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1087.68
Current children cumulated vsize (Kb) 17380

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3370 0 0 0 108030 1717 0 0 25 0 1 0 20141271 15618048 3250 4294967295 134512640 134702520 3221223952 3221222976 134551090 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3250 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1097.49
Current children cumulated vsize (Kb) 17380

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3372 0 0 0 108999 1728 0 0 25 0 1 0 20141271 15618048 3252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3252 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1107.29
Current children cumulated vsize (Kb) 17380

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3372 0 0 0 109969 1739 0 0 25 0 1 0 20141271 15618048 3252 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3252 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1117.1
Current children cumulated vsize (Kb) 17380

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3374 0 0 0 110940 1751 0 0 25 0 1 0 20141271 15618048 3254 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3254 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1126.93
Current children cumulated vsize (Kb) 17380

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3374 0 0 0 111928 1755 0 0 25 0 1 0 20141271 15618048 3254 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3254 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1136.85
Current children cumulated vsize (Kb) 17380

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3375 0 0 0 112898 1765 0 0 25 0 1 0 20141271 15618048 3255 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3255 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1146.65
Current children cumulated vsize (Kb) 17380

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3376 0 0 0 113862 1779 0 0 25 0 1 0 20141271 15618048 3256 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3256 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1156.43
Current children cumulated vsize (Kb) 17380

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3377 0 0 0 114832 1789 0 0 25 0 1 0 20141271 15618048 3257 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5804/statm): 3813 3257 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1166.23
Current children cumulated vsize (Kb) 17380

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3379 0 0 0 115798 1802 0 0 25 0 1 0 20141271 15618048 3259 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3259 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1176.02
Current children cumulated vsize (Kb) 17380

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3380 0 0 0 116770 1812 0 0 25 0 1 0 20141271 15618048 3260 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3260 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1185.84
Current children cumulated vsize (Kb) 17380

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3382 0 0 0 117737 1824 0 0 25 0 1 0 20141271 15618048 3262 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3262 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1195.63
Current children cumulated vsize (Kb) 17380

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3383 0 0 0 118699 1838 0 0 25 0 1 0 20141271 15618048 3263 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3263 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1205.39
Current children cumulated vsize (Kb) 17380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5804
Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5801/statm): 532 242 485 147 0 385 0
[pid=5801] vsize: 2128
Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3383 0 0 0 118699 1838 0 0 25 0 1 0 20141271 15618048 3263 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5804/statm): 3813 3263 413 48 0 3765 0
[pid=5804] vsize: 15252
Current children cumulated CPU time (s) 1205.39
Current children cumulated vsize (Kb) 17380

Sending SIGTERM to -5801
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5806
New process pid=5807
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/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5762/stat
open syscall for file /proc/5762/status
open syscall for file /proc/5762/cmdline
open syscall for file /proc/5762/environ
open syscall for file /proc/5800/stat
open syscall for file /proc/5800/status
open syscall for file /proc/5800/cmdline
open syscall for file /proc/5800/environ
open syscall for file /proc/5801/stat
open syscall for file /proc/5801/status
open syscall for file /proc/5801/cmdline
open syscall for file /proc/5801/environ
open syscall for file /proc/5804/stat
open syscall for file /proc/5804/status
open syscall for file /proc/5804/cmdline
open syscall for file /proc/5804/environ
open syscall for file /proc/5806/stat
open syscall for file /proc/5806/status
open syscall for file /proc/5806/cmdline
open syscall for file /proc/5806/environ
open syscall for file /proc/5807/stat
open syscall for file /proc/5807/status
open syscall for file /proc/5807/cmdline
open syscall for file /proc/5807/environ
One traced child (pid=5806) exited with status: 0
One traced child (pid=5807) exited with status: 0
New process pid=5808
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=5808) exited with status: 0
New process pid=5809
execve syscall for /bin/nice executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5809) exited with status: 0
New process pid=5810
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
One traced child (pid=5804) exited with status: 3
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=5810) exited with status: 0
New process pid=5811
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=5811) exited with status: 0
One traced child (pid=5801) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1240.71
CPU time (s): 1206.15
CPU user time (s): 1187.53
CPU system time (s): 18.6112
CPU usage (%): 97.2139
Max. virtual memory (cumulated for all children) (Kb): 17380

Verifier Data

ERROR: no interpretation found !