Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM8ad66f5ec9923fdfb526351beaad3554
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -11317
Optimality of the best value was proved NO
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.1
Number of variables10713
Total number of constraints9801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints9783
Minimum length of a constraint1
Maximum length of a constraint8

Trace number 4321

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        835280 kB
Buffers:         37304 kB
Cached:         134780 kB
SwapCached:        228 kB
Active:          71552 kB
Inactive:       103464 kB
HighTotal:      131008 kB
HighFree:        38556 kB
LowTotal:       903652 kB
LowFree:        796724 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18740 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:46:34 (client local time) WITH STATUS 0 IN 1206.18 SECONDS
stats: 7603 7 1206.18 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 7278;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-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:  7821 (22589:>=*);
#decisions: 8595;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7823 (22587:>=*);
#decisions: 8595;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7825 (22585:>=*);
#decisions: 7283;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7826 (22584:>=*);
#decisions: 7280;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7827 (22583:>=*);
#decisions: 7304;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7828 (22582:>=*);
#decisions: 7299;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7829 (22581:>=*);
#decisions: 18044;  #end-nodes: 83;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7893 (22517:>=*);
#decisions: 9804;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7896 (22514:>=*);
#decisions: 7264;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7897 (22513:>=*);
#decisions: 7264;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7898 (22512:>=*);
#decisions: 7266;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7899 (22511:>=*);
#decisions: 7267;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7900 (22510:>=*);
#decisions: 7269;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7901 (22509:>=*);
#decisions: 7286;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7902 (22508:>=*);
#decisions: 7288;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7903 (22507:>=*);
#decisions: 7286;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7904 (22506:>=*);
#decisions: 18005;  #end-nodes: 81;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7993 (22417:>=*);
#decisions: 10576;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  7999 (22411:>=*);
#decisions: 8576;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8001 (22409:>=*);
#decisions: 8576;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8003 (22407:>=*);
#decisions: 8578;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8004 (22406:>=*);
#decisions: 7275;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8005 (22405:>=*);
#decisions: 7272;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8006 (22404:>=*);
#decisions: 7276;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8007 (22403:>=*);
#decisions: 7282;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8008 (22402:>=*);
#decisions: 7281;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8009 (22401:>=*);
#decisions: 7295;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8010 (22400:>=*);
#decisions: 8588;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8012 (22398:>=*);
#decisions: 8610;  #end-nodes: 43;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 43 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8013 (22397:>=*);
#decisions: 7294;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8014 (22396:>=*);
#decisions: 7273;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8015 (22395:>=*);
#decisions: 47323;  #end-nodes: 405;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 0 / 81 (81)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8117 (22293:>=*);
#decisions: 8550;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8119 (22291:>=*);
#decisions: 7204;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8120 (22290:>=*);
#decisions: 7206;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8121 (22289:>=*);
#decisions: 7224;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8122 (22288:>=*);
#decisions: 7236;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8123 (22287:>=*);
#decisions: 1051994;  #end-nodes: 14014;
#proof improvement attempts: 0;  #restarts: 143
Current batch, end-nodes: 0 / 115 (115)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8168 (22242:>=*);
#decisions: 7178;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8169 (22241:>=*);
#decisions: 7181;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8170 (22240:>=*);
#decisions: 7189;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8171 (22239:>=*);
#decisions: 7201;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8172 (22238:>=*);
#decisions: 7180;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8173 (22237:>=*);
#decisions: 7187;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8174 (22236:>=*);
#decisions: 7240;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8175 (22235:>=*);
#decisions: 1925745;  #end-nodes: 29738;
#proof improvement attempts: 0;  #restarts: 263
Current batch, end-nodes: 0 / 145 (145)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8187 (22223:>=*);
#decisions: 9749;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8190 (22220:>=*);
#decisions: 9749;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8193 (22217:>=*);
#decisions: 7158;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8194 (22216:>=*);
#decisions: 8489;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8196 (22214:>=*);
#decisions: 7206;  #end-nodes: 57;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8197 (22213:>=*);
Interupt request received.
#decisions: 2036902;  #end-nodes: 32127;
#proof improvement attempts: 0;  #restarts: 279
Current batch, end-nodes: 6 / 149 (149)
#axs: 9152, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 8197 (22213:>=*)

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

Watcher Data

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

[startup+10.0049 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 965 0 0 0 529 151 0 0 17 0 1 0 1789516572 5206016 867 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 1271 867 413 48 0 1223 0
[pid=6114] vsize: 5084
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (Kb) 7212

[startup+20.0054 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 965 0 0 0 1057 307 0 0 18 0 1 0 1789516572 5206016 867 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 1271 867 413 48 0 1223 0
[pid=6114] vsize: 5084
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (Kb) 7212

[startup+30.007 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1095 0 0 0 1855 375 0 0 25 0 1 0 1789516572 8974336 997 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2191 997 413 48 0 2143 0
[pid=6114] vsize: 8764
Current children cumulated CPU time (s) 22.33
Current children cumulated vsize (Kb) 10892

[startup+40.0075 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1315 0 0 0 2725 419 0 0 25 0 1 0 1789516572 8974336 1217 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2191 1217 413 48 0 2143 0
[pid=6114] vsize: 8764
Current children cumulated CPU time (s) 31.47
Current children cumulated vsize (Kb) 10892

[startup+50.0091 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1702 0 0 0 3611 459 0 0 25 0 1 0 1789516572 9056256 1604 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1604 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 40.73
Current children cumulated vsize (Kb) 10972

[startup+60.0096 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1702 0 0 0 4481 501 0 0 25 0 1 0 1789516572 9056256 1604 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1604 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 10972

[startup+70.0102 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1716 0 0 0 5352 548 0 0 25 0 1 0 1789516572 9056256 1618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1618 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 59.03
Current children cumulated vsize (Kb) 10972

[startup+80.0108 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 6235 588 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 68.26
Current children cumulated vsize (Kb) 10972

[startup+90.0113 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 7135 625 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 77.63
Current children cumulated vsize (Kb) 10972

[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 8011 670 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 86.84
Current children cumulated vsize (Kb) 10972

[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 8883 712 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 95.98
Current children cumulated vsize (Kb) 10972

[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 9773 750 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 105.26
Current children cumulated vsize (Kb) 10972

[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 10580 814 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 113.97
Current children cumulated vsize (Kb) 10972

[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 11468 850 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 123.21
Current children cumulated vsize (Kb) 10972

[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 12333 895 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 132.31
Current children cumulated vsize (Kb) 10972

[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 13128 961 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 140.92
Current children cumulated vsize (Kb) 10972

[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 13921 1026 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 149.5
Current children cumulated vsize (Kb) 10972

[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 14721 1094 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 158.18
Current children cumulated vsize (Kb) 10972

[startup+190.017 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 15505 1162 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 166.7
Current children cumulated vsize (Kb) 10972

[startup+200.017 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 16275 1234 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 175.12
Current children cumulated vsize (Kb) 10972

[startup+210.018 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 17059 1303 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 183.65
Current children cumulated vsize (Kb) 10972

[startup+220.019 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 17854 1372 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 192.29
Current children cumulated vsize (Kb) 10972

[startup+230.019 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 18626 1448 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 200.77
Current children cumulated vsize (Kb) 10972

[startup+240.02 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 19442 1510 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 209.55
Current children cumulated vsize (Kb) 10972

[startup+250.02 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 20242 1578 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 218.23
Current children cumulated vsize (Kb) 10972

[startup+260.021 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 21038 1644 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 226.85
Current children cumulated vsize (Kb) 10972

[startup+270.021 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 21839 1705 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 235.47
Current children cumulated vsize (Kb) 10972

[startup+280.022 s]
Raw data (loadavg): 1.07 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 22651 1771 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 244.25
Current children cumulated vsize (Kb) 10972

[startup+290.022 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 23454 1835 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 252.92
Current children cumulated vsize (Kb) 10972

[startup+300.024 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 24244 1902 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 261.49
Current children cumulated vsize (Kb) 10972

[startup+310.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 25192 1919 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221222848 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 271.14
Current children cumulated vsize (Kb) 10972

[startup+320.024 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 26058 1966 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 280.27
Current children cumulated vsize (Kb) 10972

[startup+330.026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 26866 2027 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 288.96
Current children cumulated vsize (Kb) 10972

[startup+340.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 27672 2090 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221222976 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 297.65
Current children cumulated vsize (Kb) 10972

[startup+350.027 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 28475 2153 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 306.31
Current children cumulated vsize (Kb) 10972

[startup+360.028 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 29288 2215 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 315.06
Current children cumulated vsize (Kb) 10972

[startup+370.028 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 30112 2273 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (Kb) 10972

[startup+380.029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 30906 2339 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134578851 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 332.48
Current children cumulated vsize (Kb) 10972

[startup+390.029 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 31722 2399 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 341.24
Current children cumulated vsize (Kb) 10972

[startup+400.03 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 32573 2450 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 350.26
Current children cumulated vsize (Kb) 10972

[startup+410.03 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 33440 2496 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 359.39
Current children cumulated vsize (Kb) 10972

[startup+420.031 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 34298 2540 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 368.41
Current children cumulated vsize (Kb) 10972

[startup+430.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 35061 2622 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (Kb) 10972

[startup+440.032 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 35836 2695 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 385.34
Current children cumulated vsize (Kb) 10972

[startup+450.033 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 36622 2765 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 393.9
Current children cumulated vsize (Kb) 10972

[startup+460.034 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 37406 2832 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (Kb) 10972

[startup+470.035 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 38195 2905 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 411.03
Current children cumulated vsize (Kb) 10972

[startup+480.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 38986 2977 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 419.66
Current children cumulated vsize (Kb) 10972

[startup+490.036 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 39765 3051 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 428.19
Current children cumulated vsize (Kb) 10972

[startup+500.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 40554 3116 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588376 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 436.73
Current children cumulated vsize (Kb) 10972

[startup+510.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 41347 3185 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550192 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 445.35
Current children cumulated vsize (Kb) 10972

[startup+520.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 42148 3253 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 454.04
Current children cumulated vsize (Kb) 10972

[startup+530.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 42947 3319 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 462.69
Current children cumulated vsize (Kb) 10972

[startup+540.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 43753 3382 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134557282 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 471.38
Current children cumulated vsize (Kb) 10972

[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 44550 3451 0 0 17 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 480.04
Current children cumulated vsize (Kb) 10972

[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 45365 3510 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 488.78
Current children cumulated vsize (Kb) 10972

[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 46229 3552 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 497.84
Current children cumulated vsize (Kb) 10972

[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 47179 3571 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 507.53
Current children cumulated vsize (Kb) 10972

[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 47964 3642 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 516.09
Current children cumulated vsize (Kb) 10972

[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 48756 3710 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 524.69
Current children cumulated vsize (Kb) 10972

[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 49558 3777 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 533.38
Current children cumulated vsize (Kb) 10972

[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 50347 3847 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 541.97
Current children cumulated vsize (Kb) 10972

[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 51162 3909 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 550.74
Current children cumulated vsize (Kb) 10972

[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 51963 3972 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134572622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 559.38
Current children cumulated vsize (Kb) 10972

[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 52751 4040 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134553070 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 567.94
Current children cumulated vsize (Kb) 10972

[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 53536 4114 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 576.53
Current children cumulated vsize (Kb) 10972

[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 54339 4178 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134588357 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 585.2
Current children cumulated vsize (Kb) 10972

[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 55161 4237 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 594.01
Current children cumulated vsize (Kb) 10972

[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 55967 4301 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 602.71
Current children cumulated vsize (Kb) 10972

[startup+700.053 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 56755 4371 0 0 17 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550192 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 611.29
Current children cumulated vsize (Kb) 10972

[startup+710.055 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 57547 4439 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 619.89
Current children cumulated vsize (Kb) 10972

[startup+720.056 s]
Raw data (loadavg): 1.12 1.03 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 58344 4506 0 0 24 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 628.53
Current children cumulated vsize (Kb) 10972

[startup+730.057 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 59161 4563 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 637.27
Current children cumulated vsize (Kb) 10972

[startup+740.058 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 59982 4625 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 646.1
Current children cumulated vsize (Kb) 10972

[startup+750.058 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 60931 4642 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 655.76
Current children cumulated vsize (Kb) 10972

[startup+760.059 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 61770 4697 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 664.7
Current children cumulated vsize (Kb) 10972

[startup+770.059 s]
Raw data (loadavg): 1.12 1.04 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 62610 4748 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 673.61
Current children cumulated vsize (Kb) 10972

[startup+780.061 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 63425 4807 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 682.35
Current children cumulated vsize (Kb) 10972

[startup+790.062 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 64219 4877 0 0 22 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 690.99
Current children cumulated vsize (Kb) 10972

[startup+800.062 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 65041 4939 0 0 23 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 699.83
Current children cumulated vsize (Kb) 10972

[startup+810.063 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 65851 4998 0 0 19 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 708.52
Current children cumulated vsize (Kb) 10972

[startup+820.063 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 66665 5062 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223172 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 717.3
Current children cumulated vsize (Kb) 10972

[startup+830.064 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 67491 5122 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 726.16
Current children cumulated vsize (Kb) 10972

[startup+840.064 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 68302 5185 0 0 18 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 734.9
Current children cumulated vsize (Kb) 10972

[startup+850.065 s]
Raw data (loadavg): 1.06 1.04 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 69116 5245 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 743.64
Current children cumulated vsize (Kb) 10972

[startup+860.065 s]
Raw data (loadavg): 1.05 1.04 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 69950 5297 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 752.5
Current children cumulated vsize (Kb) 10972

[startup+870.066 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 70752 5357 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 761.12
Current children cumulated vsize (Kb) 10972

[startup+880.067 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 71591 5409 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 10972

[startup+890.068 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 72471 5450 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 779.24
Current children cumulated vsize (Kb) 10972

[startup+900.068 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 73354 5492 0 0 25 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 788.49
Current children cumulated vsize (Kb) 10972

[startup+910.068 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1941 0 0 0 74160 5557 0 0 20 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 797.2
Current children cumulated vsize (Kb) 10972

[startup+920.069 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1941 0 0 0 74940 5624 0 0 21 0 1 0 1789516572 9056256 1843 4294967295 134512640 134702520 3221223952 3221223388 1074228988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1843 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 805.67
Current children cumulated vsize (Kb) 10972

[startup+930.07 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 75721 5695 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 814.19
Current children cumulated vsize (Kb) 10972

[startup+940.071 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 76491 5769 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 822.63
Current children cumulated vsize (Kb) 10972

[startup+950.071 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 77283 5838 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552705 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 831.24
Current children cumulated vsize (Kb) 10972

[startup+960.072 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 78049 5912 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 839.64
Current children cumulated vsize (Kb) 10972

[startup+970.072 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 78824 5985 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 848.12
Current children cumulated vsize (Kb) 10972

[startup+980.074 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 79589 6059 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 856.51
Current children cumulated vsize (Kb) 10972

[startup+990.075 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 80375 6128 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 865.06
Current children cumulated vsize (Kb) 10972

[startup+1000.08 s]
Raw data (loadavg): 1.05 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 81155 6203 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134579031 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 873.61
Current children cumulated vsize (Kb) 10972

[startup+1010.08 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 81949 6271 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (Kb) 10972

[startup+1020.08 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 82733 6343 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 890.79
Current children cumulated vsize (Kb) 10972

[startup+1030.08 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 83545 6406 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 899.54
Current children cumulated vsize (Kb) 10972

[startup+1040.08 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 84331 6476 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 908.1
Current children cumulated vsize (Kb) 10972

[startup+1050.08 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 85211 6515 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 917.29
Current children cumulated vsize (Kb) 10972

[startup+1060.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 86146 6534 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 926.83
Current children cumulated vsize (Kb) 10972

[startup+1070.08 s]
Raw data (loadavg): 1.15 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 86942 6603 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 935.48
Current children cumulated vsize (Kb) 10972

[startup+1080.08 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 87712 6682 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 943.97
Current children cumulated vsize (Kb) 10972

[startup+1090.08 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 88516 6745 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 952.64
Current children cumulated vsize (Kb) 10972

[startup+1100.08 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 89318 6810 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 961.31
Current children cumulated vsize (Kb) 10972

[startup+1110.08 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 90116 6876 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 969.95
Current children cumulated vsize (Kb) 10972

[startup+1120.08 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 90911 6944 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 978.58
Current children cumulated vsize (Kb) 10972

[startup+1130.09 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 91733 7005 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134572608 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 987.41
Current children cumulated vsize (Kb) 10972

[startup+1140.09 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 92517 7076 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 995.96
Current children cumulated vsize (Kb) 10972

[startup+1150.09 s]
Raw data (loadavg): 1.13 1.07 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 93295 7151 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1004.49
Current children cumulated vsize (Kb) 10972

[startup+1160.09 s]
Raw data (loadavg): 1.11 1.07 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 94113 7209 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1013.25
Current children cumulated vsize (Kb) 10972

[startup+1170.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 94914 7275 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1021.92
Current children cumulated vsize (Kb) 10972

[startup+1180.09 s]
Raw data (loadavg): 1.08 1.07 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 95711 7336 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134579038 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1030.5
Current children cumulated vsize (Kb) 10972

[startup+1190.09 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 96519 7399 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1039.21
Current children cumulated vsize (Kb) 10972

[startup+1200.09 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 97306 7471 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1047.8
Current children cumulated vsize (Kb) 10972

[startup+1210.09 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 98096 7539 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1056.38
Current children cumulated vsize (Kb) 10972

[startup+1220.09 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 98987 7576 0 0 25 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1065.66
Current children cumulated vsize (Kb) 10972

[startup+1230.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 99915 7599 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1075.17
Current children cumulated vsize (Kb) 10972

[startup+1240.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 100719 7664 0 0 21 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1083.86
Current children cumulated vsize (Kb) 10972

[startup+1250.09 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 101518 7732 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1092.53
Current children cumulated vsize (Kb) 10972

[startup+1260.1 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 102321 7797 0 0 22 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223072 134573842 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1101.21
Current children cumulated vsize (Kb) 10972

[startup+1270.1 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 103133 7859 0 0 23 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1109.95
Current children cumulated vsize (Kb) 10972

[startup+1280.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 103933 7930 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1118.66
Current children cumulated vsize (Kb) 10972

[startup+1290.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1942 0 0 0 104732 7998 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1127.33
Current children cumulated vsize (Kb) 10972

[startup+1300.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1942 0 0 0 105522 8065 0 0 20 0 1 0 1789516572 9056256 1844 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1844 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1135.9
Current children cumulated vsize (Kb) 10972

[startup+1310.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1944 0 0 0 106343 8124 0 0 23 0 1 0 1789516572 9056256 1846 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1846 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1144.7
Current children cumulated vsize (Kb) 10972

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1944 0 0 0 107164 8184 0 0 25 0 1 0 1789516572 9056256 1846 4294967295 134512640 134702520 3221223952 3221223072 134578886 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1846 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1153.51
Current children cumulated vsize (Kb) 10972

[startup+1330.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1944 0 0 0 107982 8242 0 0 24 0 1 0 1789516572 9056256 1846 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6114/statm): 2211 1846 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1162.27
Current children cumulated vsize (Kb) 10972

[startup+1340.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1946 0 0 0 108787 8303 0 0 22 0 1 0 1789516572 9056256 1848 4294967295 134512640 134702520 3221223952 3221223072 134573474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1848 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (Kb) 10972

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1946 0 0 0 109603 8360 0 0 24 0 1 0 1789516572 9056256 1848 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1848 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1179.66
Current children cumulated vsize (Kb) 10972

[startup+1360.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1946 0 0 0 110432 8415 0 0 21 0 1 0 1789516572 9056256 1848 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1848 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1188.5
Current children cumulated vsize (Kb) 10972

[startup+1370.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) T 6111 6111 22582 0 -1 0 1948 0 0 0 111228 8479 0 0 21 0 1 0 1789516572 9056256 1850 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1850 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1197.1
Current children cumulated vsize (Kb) 10972

[startup+1380.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1948 0 0 0 112033 8545 0 0 21 0 1 0 1789516572 9056256 1850 4294967295 134512640 134702520 3221223952 3221223072 134579029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1850 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1205.81
Current children cumulated vsize (Kb) 10972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1380.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6114
Raw data (/proc/6111/stat): 6111 (vallstSAT2005PB) S 6110 6111 22582 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1789516565 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6111/statm): 532 242 485 147 0 385 0
[pid=6111] vsize: 2128
Raw data (/proc/6114/stat): 6114 (vallst) R 6111 6111 22582 0 -1 0 1948 0 0 0 112033 8545 0 0 21 0 1 0 1789516572 9056256 1850 4294967295 134512640 134702520 3221223952 3221223072 134573689 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6114/statm): 2211 1850 413 48 0 2163 0
[pid=6114] vsize: 8844
Current children cumulated CPU time (s) 1205.81
Current children cumulated vsize (Kb) 10972

Sending SIGTERM to -6111
Sleeping 2 seconds
New process pid=6116
New process pid=6117
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/13967/stat
open syscall for file /proc/13967/status
open syscall for file /proc/13967/cmdline
open syscall for file /proc/13967/environ
open syscall for file /proc/9077/stat
open syscall for file /proc/9077/status
open syscall for file /proc/9077/cmdline
open syscall for file /proc/9077/environ
open syscall for file /proc/9104/stat
open syscall for file /proc/9104/status
open syscall for file /proc/9104/cmdline
open syscall for file /proc/9104/environ
open syscall for file /proc/9128/stat
open syscall for file /proc/9128/status
open syscall for file /proc/9128/cmdline
open syscall for file /proc/9128/environ
open syscall for file /proc/17043/stat
open syscall for file /proc/17043/status
open syscall for file /proc/17043/cmdline
open syscall for file /proc/17043/environ
open syscall for file /proc/17049/stat
open syscall for file /proc/17049/status
open syscall for file /proc/17049/cmdline
open syscall for file /proc/17049/environ
open syscall for file /proc/2284/stat
open syscall for file /proc/2284/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/2284/cmdline
open syscall for file /proc/2284/environ
open syscall for file /proc/2319/stat
open syscall for file /proc/2319/status
open syscall for file /proc/2319/cmdline
open syscall for file /proc/2319/environ
open syscall for file /proc/22582/stat
open syscall for file /proc/22582/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/22582/cmdline
open syscall for file /proc/22582/environ
open syscall for file /proc/22583/stat
open syscall for file /proc/22583/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/22583/cmdline
open syscall for file /proc/22583/environ
open syscall for file /proc/22592/stat
open syscall for file /proc/22592/status
open syscall for file /proc/22592/cmdline
open syscall for file /proc/22592/environ
open syscall for file /proc/6074/stat
open syscall for file /proc/6074/status
open syscall for file /proc/6074/cmdline
open syscall for file /proc/6074/environ
open syscall for file /proc/6110/stat
open syscall for file /proc/6110/status
open syscall for file /proc/6110/cmdline
open syscall for file /proc/6110/environ
open syscall for file /proc/6111/stat
open syscall for file /proc/6111/status
open syscall for file /proc/6111/cmdline
open syscall for file /proc/6111/environ
open syscall for file /proc/6114/stat
open syscall for file /proc/6114/status
open syscall for file /proc/6114/cmdline
open syscall for file /proc/6114/environ
open syscall for file /proc/6116/stat
open syscall for file /proc/6116/status
open syscall for file /proc/6116/cmdline
open syscall for file /proc/6116/environ
open syscall for file /proc/6117/stat
open syscall for file /proc/6117/status
open syscall for file /proc/6117/cmdline
open syscall for file /proc/6117/environ
One traced child (pid=6116) exited with status: 0
One traced child (pid=6117) exited with status: 0
New process pid=6118
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6114) exited with status: 3
One traced child (pid=6118) exited with status: 0
New process pid=6119
execve syscall for /bin/nice executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=6119) exited with status: 0
New process pid=6120
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=6120) exited with status: 0
New process pid=6121
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=6121) exited with status: 0
One traced child (pid=6111) 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): 1380.7
CPU time (s): 1206.18
CPU user time (s): 1120.56
CPU system time (s): 85.615
CPU usage (%): 87.3598
Max. virtual memory (cumulated for all children) (Kb): 10972

Verifier Data

ERROR: no interpretation found !