Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUMffa3a55eb53181880328dd1b84f91e66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark207.265
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 4305

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        851860 kB
Buffers:         35368 kB
Cached:         120936 kB
SwapCached:        708 kB
Active:          67452 kB
Inactive:        91476 kB
HighTotal:      131008 kB
HighFree:        40880 kB
LowTotal:       903652 kB
LowFree:        810980 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18264 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:38:33 (client local time) WITH STATUS 0 IN 1201.52 SECONDS
stats: 7562 7 1201.52 0

Solver Data

1:
seed: 0
Nr of vars set: 6  (#equs: 0)
Nr of vars set: 6  (#equs: 0)
#decisions: 27;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17588 (2391:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17598 (2381:>=*);
#decisions: 29;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #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:  17728 (2251:>=*);
#decisions: 28;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17818 (2161:>=*);
#decisions: 24;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17828 (2151:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17838 (2141:>=*);
#decisions: 26;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #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:  17858 (2121:>=*);
#decisions: 25;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #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:  17898 (2081:>=*);
#decisions: 24;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #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:  17928 (2051:>=*);
#decisions: 30;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 134, #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:  17940 (2039:>=*);
#decisions: 261;  #end-nodes: 188;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  17966 (2013:>=*);
#decisions: 38;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  17976 (2003:>=*);
#decisions: 36;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  17986 (1993:>=*);
#decisions: 44;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  17994 (1985:>=*);
#decisions: 60;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  18009 (1970:>=*);
#decisions: 27;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  18021 (1958:>=*);
#decisions: 56;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  18041 (1938:>=*);
#decisions: 70;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  18061 (1918:>=*);
#decisions: 47;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 134, #non-axs: 9
tight: meta-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:  18073 (1906:>=*);
#decisions: 708;  #end-nodes: 556;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 58 / 81 (81)
#axs: 134, #non-axs: 12
tight: meta-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:  18100 (1879:>=*);
#decisions: 26;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 12
tight: meta-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:  18112 (1867:>=*);
#decisions: 305;  #end-nodes: 223;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 63 / 83 (80)
#axs: 134, #non-axs: 13
tight: meta-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:  18122 (1857:>=*);
#decisions: 26;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 13
tight: meta-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:  18132 (1847:>=*);
#decisions: 27;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 13
tight: meta-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:  18152 (1827:>=*);
#decisions: 26;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 13
tight: meta-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:  18172 (1807:>=*);
#decisions: 6712;  #end-nodes: 4929;
#proof improvement attempts: 0;  #restarts: 54
Current batch, end-nodes: 35 / 95 (93)
#axs: 134, #non-axs: 115
tight: meta-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:  18180 (1799:>=*);
#decisions: 36;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-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:  18230 (1749:>=*);
#decisions: 74;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-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:  18266 (1713:>=*);
#decisions: 43;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-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:  18286 (1693:>=*);
#decisions: 58;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-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:  18294 (1685:>=*);
#decisions: 35;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 115
tight: meta-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:  18306 (1673:>=*);
#decisions: 60405;  #end-nodes: 44045;
#proof improvement attempts: 0;  #restarts: 341
Current batch, end-nodes: 64 / 165 (165)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18322 (1657:>=*);
#decisions: 34;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18332 (1647:>=*);
#decisions: 44;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18334 (1645:>=*);
#decisions: 30;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 449
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18344 (1635:>=*);
#decisions: 297060;  #end-nodes: 230823;
#proof improvement attempts: 0;  #restarts: 1059
Current batch, end-nodes: 32 / 344 (344)
#axs: 134, #non-axs: 959
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18364 (1615:>=*);
#decisions: 151491;  #end-nodes: 115087;
#proof improvement attempts: 0;  #restarts: 687
Current batch, end-nodes: 33 / 251 (251)
#axs: 134, #non-axs: 1114
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18366 (1613:>=*);
#decisions: 170905;  #end-nodes: 133543;
#proof improvement attempts: 0;  #restarts: 759
Current batch, end-nodes: 45 / 269 (269)
#axs: 134, #non-axs: 1252
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  18404 (1575:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 18404 (1575:>=*)

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: 6  (#equs: 0)
Time taken: 20 min, 1 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/12070/stat): 12070 (vallstSAT2005PB) R 12069 12070 1333 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1789428539 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12070/statm): 174 3 169 147 0 27 0
[pid=12070] 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=12071
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=12071) exited with status: 0
New process pid=12072
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=12072) exited with status: 0
New process pid=12073
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/wulflinc13/normalized-mps-v2-20-10-p0201.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0051 s]
Raw data (loadavg): 0.94 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 248 0 0 0 424 183 0 0 16 0 1 0 1789428548 2359296 218 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 218 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (Kb) 4432

[startup+20.0057 s]
Raw data (loadavg): 0.95 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 260 0 0 0 956 333 0 0 15 0 1 0 1789428548 2359296 230 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 230 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 12.9
Current children cumulated vsize (Kb) 4432

[startup+30.0074 s]
Raw data (loadavg): 0.95 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 274 0 0 0 1493 491 0 0 16 0 1 0 1789428548 2359296 244 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 244 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 4432

[startup+40.0081 s]
Raw data (loadavg): 0.96 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 280 0 0 0 2033 642 0 0 16 0 1 0 1789428548 2359296 250 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 576 250 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 26.76
Current children cumulated vsize (Kb) 4432

[startup+50.0087 s]
Raw data (loadavg): 0.97 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 330 0 0 0 2586 793 0 0 16 0 1 0 1789428548 2359296 300 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 300 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 33.8
Current children cumulated vsize (Kb) 4432

[startup+60.0094 s]
Raw data (loadavg): 0.97 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 335 0 0 0 3150 937 0 0 16 0 1 0 1789428548 2359296 305 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 305 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 40.88
Current children cumulated vsize (Kb) 4432

[startup+70.01 s]
Raw data (loadavg): 0.97 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 336 0 0 0 3706 1084 0 0 16 0 1 0 1789428548 2359296 306 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 306 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 47.91
Current children cumulated vsize (Kb) 4432

[startup+80.0107 s]
Raw data (loadavg): 0.98 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 337 0 0 0 4285 1220 0 0 16 0 1 0 1789428548 2359296 307 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 307 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 55.06
Current children cumulated vsize (Kb) 4432

[startup+90.0114 s]
Raw data (loadavg): 0.98 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 337 0 0 0 4854 1362 0 0 16 0 1 0 1789428548 2359296 307 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 576 307 413 48 0 528 0
[pid=12073] vsize: 2304
Current children cumulated CPU time (s) 62.17
Current children cumulated vsize (Kb) 4432

[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.97 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 340 0 0 0 5434 1501 0 0 16 0 1 0 1789428548 2490368 310 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 310 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 69.36
Current children cumulated vsize (Kb) 4560

[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 341 0 0 0 6005 1639 0 0 16 0 1 0 1789428548 2490368 311 4294967295 134512640 134702520 3221223952 3221222848 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 311 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 76.45
Current children cumulated vsize (Kb) 4560

[startup+120.012 s]
Raw data (loadavg): 1.06 1.00 0.98 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 344 0 0 0 6585 1780 0 0 16 0 1 0 1789428548 2490368 314 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 314 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 83.66
Current children cumulated vsize (Kb) 4560

[startup+130.013 s]
Raw data (loadavg): 1.12 1.02 0.98 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 345 0 0 0 7178 1922 0 0 16 0 1 0 1789428548 2490368 315 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 315 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 91.01
Current children cumulated vsize (Kb) 4560

[startup+140.014 s]
Raw data (loadavg): 1.11 1.02 0.98 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 347 0 0 0 7755 2060 0 0 16 0 1 0 1789428548 2490368 317 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 317 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 98.16
Current children cumulated vsize (Kb) 4560

[startup+150.014 s]
Raw data (loadavg): 1.09 1.01 0.98 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 348 0 0 0 8338 2191 0 0 16 0 1 0 1789428548 2490368 318 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 318 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 105.3
Current children cumulated vsize (Kb) 4560

[startup+160.015 s]
Raw data (loadavg): 1.07 1.01 0.98 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 349 0 0 0 8898 2337 0 0 16 0 1 0 1789428548 2490368 319 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 319 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 112.36
Current children cumulated vsize (Kb) 4560

[startup+170.016 s]
Raw data (loadavg): 1.06 1.01 0.98 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 352 0 0 0 9499 2466 0 0 16 0 1 0 1789428548 2490368 322 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 322 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 119.66
Current children cumulated vsize (Kb) 4560

[startup+180.016 s]
Raw data (loadavg): 1.05 1.01 0.98 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 353 0 0 0 10065 2609 0 0 16 0 1 0 1789428548 2490368 323 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 323 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 126.75
Current children cumulated vsize (Kb) 4560

[startup+190.017 s]
Raw data (loadavg): 1.12 1.03 0.99 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 356 0 0 0 10669 2737 0 0 16 0 1 0 1789428548 2490368 326 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 326 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 134.07
Current children cumulated vsize (Kb) 4560

[startup+200.018 s]
Raw data (loadavg): 1.10 1.03 0.99 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 357 0 0 0 11252 2875 0 0 15 0 1 0 1789428548 2490368 327 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 327 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 141.28
Current children cumulated vsize (Kb) 4560

[startup+210.019 s]
Raw data (loadavg): 1.09 1.02 0.99 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 360 0 0 0 11850 3013 0 0 16 0 1 0 1789428548 2490368 330 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 330 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 148.64
Current children cumulated vsize (Kb) 4560

[startup+220.02 s]
Raw data (loadavg): 1.15 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 361 0 0 0 12420 3156 0 0 16 0 1 0 1789428548 2490368 331 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 331 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 155.77
Current children cumulated vsize (Kb) 4560

[startup+230.021 s]
Raw data (loadavg): 1.12 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 365 0 0 0 13031 3289 0 0 16 0 1 0 1789428548 2490368 335 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 335 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 163.21
Current children cumulated vsize (Kb) 4560

[startup+240.021 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 367 0 0 0 13624 3423 0 0 16 0 1 0 1789428548 2490368 337 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 337 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 170.48
Current children cumulated vsize (Kb) 4560

[startup+250.022 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 369 0 0 0 14235 3545 0 0 16 0 1 0 1789428548 2490368 339 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 339 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 177.81
Current children cumulated vsize (Kb) 4560

[startup+260.023 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 14808 3680 0 0 15 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 184.89
Current children cumulated vsize (Kb) 4560

[startup+270.023 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 15383 3818 0 0 15 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 192.02
Current children cumulated vsize (Kb) 4560

[startup+280.024 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 15971 3952 0 0 16 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 199.24
Current children cumulated vsize (Kb) 4560

[startup+290.025 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 370 0 0 0 16541 4099 0 0 16 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 206.41
Current children cumulated vsize (Kb) 4560

[startup+300.024 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 17135 4232 0 0 16 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 213.68
Current children cumulated vsize (Kb) 4560

[startup+310.026 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 17707 4370 0 0 15 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 220.78
Current children cumulated vsize (Kb) 4560

[startup+320.027 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 18284 4507 0 0 16 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 227.92
Current children cumulated vsize (Kb) 4560

[startup+330.027 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 18871 4644 0 0 15 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 235.16
Current children cumulated vsize (Kb) 4560

[startup+340.029 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 19445 4786 0 0 16 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 242.32
Current children cumulated vsize (Kb) 4560

[startup+350.029 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 370 0 0 0 20055 4913 0 0 16 0 1 0 1789428548 2490368 340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 340 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 249.69
Current children cumulated vsize (Kb) 4560

[startup+360.029 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 20631 5054 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 256.86
Current children cumulated vsize (Kb) 4560

[startup+370.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 371 0 0 0 21252 5185 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221222848 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 264.38
Current children cumulated vsize (Kb) 4560

[startup+380.031 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 21825 5325 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 271.51
Current children cumulated vsize (Kb) 4560

[startup+390.031 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 22401 5465 0 0 15 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 278.67
Current children cumulated vsize (Kb) 4560

[startup+400.032 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 22977 5596 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 285.74
Current children cumulated vsize (Kb) 4560

[startup+410.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 371 0 0 0 23554 5739 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221222592 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 292.94
Current children cumulated vsize (Kb) 4560

[startup+420.033 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 24151 5874 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 300.26
Current children cumulated vsize (Kb) 4560

[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 24715 6020 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 307.36
Current children cumulated vsize (Kb) 4560

[startup+440.035 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 25311 6154 0 0 15 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 314.66
Current children cumulated vsize (Kb) 4560

[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 25900 6286 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 321.87
Current children cumulated vsize (Kb) 4560

[startup+460.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 26477 6427 0 0 16 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 329.05
Current children cumulated vsize (Kb) 4560

[startup+470.038 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 371 0 0 0 27088 6556 0 0 15 0 1 0 1789428548 2490368 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 608 341 413 48 0 560 0
[pid=12073] vsize: 2432
Current children cumulated CPU time (s) 336.45
Current children cumulated vsize (Kb) 4560

[startup+480.039 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 372 0 0 0 27656 6697 0 0 15 0 1 0 1789428548 2625536 342 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 342 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 343.54
Current children cumulated vsize (Kb) 4692

[startup+490.04 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 372 0 0 0 28278 6823 0 0 16 0 1 0 1789428548 2625536 342 4294967295 134512640 134702520 3221223952 3221223024 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 342 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 351.02
Current children cumulated vsize (Kb) 4692

[startup+500.039 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 28863 6962 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 358.26
Current children cumulated vsize (Kb) 4692

[startup+510.041 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 29475 7096 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 365.72
Current children cumulated vsize (Kb) 4692

[startup+520.042 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 373 0 0 0 30061 7232 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222720 134550737 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 372.94
Current children cumulated vsize (Kb) 4692

[startup+530.042 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 30625 7373 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 4692

[startup+540.043 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 31207 7516 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 387.24
Current children cumulated vsize (Kb) 4692

[startup+550.044 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 31796 7653 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 394.5
Current children cumulated vsize (Kb) 4692

[startup+560.044 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 32366 7795 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 401.62
Current children cumulated vsize (Kb) 4692

[startup+570.045 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 32965 7927 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 408.93
Current children cumulated vsize (Kb) 4692

[startup+580.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 373 0 0 0 33535 8074 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222976 134550794 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 416.1
Current children cumulated vsize (Kb) 4692

[startup+590.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 373 0 0 0 34122 8213 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222992 134658402 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 423.36
Current children cumulated vsize (Kb) 4692

[startup+600.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 34724 8347 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 430.72
Current children cumulated vsize (Kb) 4692

[startup+610.048 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 35305 8486 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 437.92
Current children cumulated vsize (Kb) 4692

[startup+620.048 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 373 0 0 0 35915 8613 0 0 16 0 1 0 1789428548 2625536 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 343 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 445.29
Current children cumulated vsize (Kb) 4692

[startup+630.05 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 374 0 0 0 36480 8760 0 0 16 0 1 0 1789428548 2625536 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 344 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 452.41
Current children cumulated vsize (Kb) 4692

[startup+640.051 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 374 0 0 0 37095 8887 0 0 16 0 1 0 1789428548 2625536 344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 344 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 459.83
Current children cumulated vsize (Kb) 4692

[startup+650.051 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 374 0 0 0 37671 9029 0 0 16 0 1 0 1789428548 2625536 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 344 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 467.01
Current children cumulated vsize (Kb) 4692

[startup+660.052 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 374 0 0 0 38299 9157 0 0 16 0 1 0 1789428548 2625536 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 344 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 474.57
Current children cumulated vsize (Kb) 4692

[startup+670.053 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 375 0 0 0 38870 9294 0 0 16 0 1 0 1789428548 2625536 345 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 345 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 481.65
Current children cumulated vsize (Kb) 4692

[startup+680.054 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 376 0 0 0 39490 9416 0 0 15 0 1 0 1789428548 2625536 346 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 346 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 489.07
Current children cumulated vsize (Kb) 4692

[startup+690.055 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 377 0 0 0 40061 9555 0 0 16 0 1 0 1789428548 2625536 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 347 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 496.17
Current children cumulated vsize (Kb) 4692

[startup+700.056 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 378 0 0 0 40691 9682 0 0 16 0 1 0 1789428548 2625536 348 4294967295 134512640 134702520 3221223952 3221222976 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 348 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 503.74
Current children cumulated vsize (Kb) 4692

[startup+710.056 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 379 0 0 0 41266 9819 0 0 16 0 1 0 1789428548 2625536 349 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 349 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 510.86
Current children cumulated vsize (Kb) 4692

[startup+720.057 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 381 0 0 0 41892 9941 0 0 16 0 1 0 1789428548 2625536 351 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 351 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 518.34
Current children cumulated vsize (Kb) 4692

[startup+730.059 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 381 0 0 0 42475 10084 0 0 16 0 1 0 1789428548 2625536 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 351 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 525.6
Current children cumulated vsize (Kb) 4692

[startup+740.059 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 382 0 0 0 43107 10205 0 0 16 0 1 0 1789428548 2625536 352 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 352 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 533.13
Current children cumulated vsize (Kb) 4692

[startup+750.06 s]
Raw data (loadavg): 1.11 1.03 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 382 0 0 0 43688 10344 0 0 16 0 1 0 1789428548 2625536 352 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 352 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 540.33
Current children cumulated vsize (Kb) 4692

[startup+760.061 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 384 0 0 0 44326 10464 0 0 15 0 1 0 1789428548 2625536 354 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 354 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 547.91
Current children cumulated vsize (Kb) 4692

[startup+770.061 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 385 0 0 0 44920 10604 0 0 16 0 1 0 1789428548 2625536 355 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 355 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 555.25
Current children cumulated vsize (Kb) 4692

[startup+780.062 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 388 0 0 0 45550 10724 0 0 16 0 1 0 1789428548 2625536 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 358 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 562.75
Current children cumulated vsize (Kb) 4692

[startup+790.063 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 389 0 0 0 46165 10855 0 0 16 0 1 0 1789428548 2625536 359 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 359 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 570.21
Current children cumulated vsize (Kb) 4692

[startup+800.063 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 390 0 0 0 46782 10979 0 0 16 0 1 0 1789428548 2625536 360 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 360 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 577.62
Current children cumulated vsize (Kb) 4692

[startup+810.065 s]
Raw data (loadavg): 1.19 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 391 0 0 0 47402 11108 0 0 16 0 1 0 1789428548 2625536 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 361 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 585.11
Current children cumulated vsize (Kb) 4692

[startup+820.066 s]
Raw data (loadavg): 1.16 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 391 0 0 0 48002 11240 0 0 16 0 1 0 1789428548 2625536 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 361 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 592.43
Current children cumulated vsize (Kb) 4692

[startup+830.066 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 391 0 0 0 48650 11363 0 0 16 0 1 0 1789428548 2625536 361 4294967295 134512640 134702520 3221223952 3221223232 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 361 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 600.14
Current children cumulated vsize (Kb) 4692

[startup+840.067 s]
Raw data (loadavg): 1.19 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 391 0 0 0 49239 11503 0 0 16 0 1 0 1789428548 2625536 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 361 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 607.43
Current children cumulated vsize (Kb) 4692

[startup+850.067 s]
Raw data (loadavg): 1.16 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 394 0 0 0 49887 11621 0 0 16 0 1 0 1789428548 2625536 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 364 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 615.09
Current children cumulated vsize (Kb) 4692

[startup+860.069 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 394 0 0 0 50498 11752 0 0 16 0 1 0 1789428548 2625536 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 364 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 622.51
Current children cumulated vsize (Kb) 4692

[startup+870.07 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 395 0 0 0 51131 11874 0 0 16 0 1 0 1789428548 2625536 365 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 365 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 630.06
Current children cumulated vsize (Kb) 4692

[startup+880.072 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 395 0 0 0 51770 11995 0 0 16 0 1 0 1789428548 2625536 365 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 365 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 637.66
Current children cumulated vsize (Kb) 4692

[startup+890.072 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 395 0 0 0 52358 12131 0 0 16 0 1 0 1789428548 2625536 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 365 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 644.9
Current children cumulated vsize (Kb) 4692

[startup+900.073 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 397 0 0 0 53004 12249 0 0 16 0 1 0 1789428548 2625536 367 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 367 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 652.54
Current children cumulated vsize (Kb) 4692

[startup+910.073 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 398 0 0 0 53579 12390 0 0 16 0 1 0 1789428548 2625536 368 4294967295 134512640 134702520 3221223952 3221222592 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 368 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 659.7
Current children cumulated vsize (Kb) 4692

[startup+920.074 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 402 0 0 0 54235 12507 0 0 16 0 1 0 1789428548 2625536 372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 641 372 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 667.43
Current children cumulated vsize (Kb) 4692

[startup+930.076 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 403 0 0 0 54867 12632 0 0 16 0 1 0 1789428548 2625536 373 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 641 373 413 48 0 593 0
[pid=12073] vsize: 2564
Current children cumulated CPU time (s) 675
Current children cumulated vsize (Kb) 4692

[startup+940.076 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 405 0 0 0 55475 12760 0 0 16 0 1 0 1789428548 2760704 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 674 375 413 48 0 626 0
[pid=12073] vsize: 2696
Current children cumulated CPU time (s) 682.36
Current children cumulated vsize (Kb) 4824

[startup+950.077 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 407 0 0 0 56129 12877 0 0 16 0 1 0 1789428548 2760704 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 674 377 413 48 0 626 0
[pid=12073] vsize: 2696
Current children cumulated CPU time (s) 690.07
Current children cumulated vsize (Kb) 4824

[startup+960.079 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 408 0 0 0 56720 13018 0 0 15 0 1 0 1789428548 2760704 378 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 674 378 413 48 0 626 0
[pid=12073] vsize: 2696
Current children cumulated CPU time (s) 697.39
Current children cumulated vsize (Kb) 4824

[startup+970.079 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 409 0 0 0 57381 13129 0 0 16 0 1 0 1789428548 2760704 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 674 379 413 48 0 626 0
[pid=12073] vsize: 2696
Current children cumulated CPU time (s) 705.11
Current children cumulated vsize (Kb) 4824

[startup+980.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 412 0 0 0 58042 13241 0 0 16 0 1 0 1789428548 2760704 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 674 382 413 48 0 626 0
[pid=12073] vsize: 2696
Current children cumulated CPU time (s) 712.84
Current children cumulated vsize (Kb) 4824

[startup+990.082 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 451 0 0 0 58644 13370 0 0 15 0 1 0 1789428548 2895872 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 707 421 413 48 0 659 0
[pid=12073] vsize: 2828
Current children cumulated CPU time (s) 720.15
Current children cumulated vsize (Kb) 4956

[startup+1000.08 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 662 0 0 0 59349 13468 0 0 16 0 1 0 1789428548 3665920 630 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 895 630 413 48 0 847 0
[pid=12073] vsize: 3580
Current children cumulated CPU time (s) 728.18
Current children cumulated vsize (Kb) 5708

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 761 0 0 0 60074 13561 0 0 16 0 1 0 1789428548 3915776 691 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 956 691 413 48 0 908 0
[pid=12073] vsize: 3824
Current children cumulated CPU time (s) 736.36
Current children cumulated vsize (Kb) 5952

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 761 0 0 0 60691 13685 0 0 16 0 1 0 1789428548 3915776 691 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 956 691 413 48 0 908 0
[pid=12073] vsize: 3824
Current children cumulated CPU time (s) 743.77
Current children cumulated vsize (Kb) 5952

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 769 0 0 0 61449 13769 0 0 16 0 1 0 1789428548 4055040 699 4294967295 134512640 134702520 3221223952 3221223344 134604364 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 990 699 413 48 0 942 0
[pid=12073] vsize: 3960
Current children cumulated CPU time (s) 752.19
Current children cumulated vsize (Kb) 6088

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 62234 13843 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223512 134564449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 760.78
Current children cumulated vsize (Kb) 6512

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 62828 13980 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 768.09
Current children cumulated vsize (Kb) 6512

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 63536 14078 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 776.15
Current children cumulated vsize (Kb) 6512

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 64284 14162 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 784.47
Current children cumulated vsize (Kb) 6512

[startup+1080.09 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 64884 14294 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 791.79
Current children cumulated vsize (Kb) 6512

[startup+1090.09 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 65595 14389 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 799.85
Current children cumulated vsize (Kb) 6512

[startup+1100.09 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 66314 14479 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 807.94
Current children cumulated vsize (Kb) 6512

[startup+1110.09 s]
Raw data (loadavg): 1.20 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 66909 14612 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 815.22
Current children cumulated vsize (Kb) 6512

[startup+1120.09 s]
Raw data (loadavg): 1.17 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 67593 14723 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 823.17
Current children cumulated vsize (Kb) 6512

[startup+1130.1 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 68276 14830 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 831.07
Current children cumulated vsize (Kb) 6512

[startup+1140.1 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 68874 14965 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 838.4
Current children cumulated vsize (Kb) 6512

[startup+1150.1 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 69547 15071 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 846.19
Current children cumulated vsize (Kb) 6512

[startup+1160.1 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 70219 15185 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 854.05
Current children cumulated vsize (Kb) 6512

[startup+1170.1 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 70810 15318 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 861.29
Current children cumulated vsize (Kb) 6512

[startup+1180.1 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 71491 15423 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 869.15
Current children cumulated vsize (Kb) 6512

[startup+1190.1 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 72136 15544 0 0 15 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 876.81
Current children cumulated vsize (Kb) 6512

[startup+1200.1 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 72744 15672 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 884.17
Current children cumulated vsize (Kb) 6512

[startup+1210.1 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 73424 15781 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222720 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 892.06
Current children cumulated vsize (Kb) 6512

[startup+1220.1 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 74079 15890 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 899.7
Current children cumulated vsize (Kb) 6512

[startup+1230.11 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 74698 16023 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 907.22
Current children cumulated vsize (Kb) 6512

[startup+1240.11 s]
Raw data (loadavg): 1.12 1.07 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 75374 16135 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 915.1
Current children cumulated vsize (Kb) 6512

[startup+1250.11 s]
Raw data (loadavg): 1.18 1.08 1.02 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 76033 16247 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 922.81
Current children cumulated vsize (Kb) 6512

[startup+1260.11 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 76656 16372 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 930.29
Current children cumulated vsize (Kb) 6512

[startup+1270.11 s]
Raw data (loadavg): 1.13 1.08 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 77331 16481 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 938.13
Current children cumulated vsize (Kb) 6512

[startup+1280.11 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 77997 16593 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 945.91
Current children cumulated vsize (Kb) 6512

[startup+1290.11 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 78617 16715 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 953.33
Current children cumulated vsize (Kb) 6512

[startup+1300.12 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 79304 16817 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 961.22
Current children cumulated vsize (Kb) 6512

[startup+1310.12 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 79961 16933 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 968.95
Current children cumulated vsize (Kb) 6512

[startup+1320.12 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 80556 17068 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 976.25
Current children cumulated vsize (Kb) 6512

[startup+1330.12 s]
Raw data (loadavg): 1.10 1.08 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 81251 17173 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 984.25
Current children cumulated vsize (Kb) 6512

[startup+1340.12 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 81936 17282 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 992.19
Current children cumulated vsize (Kb) 6512

[startup+1350.12 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 82524 17419 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 999.44
Current children cumulated vsize (Kb) 6512

[startup+1360.12 s]
Raw data (loadavg): 1.12 1.08 1.02 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 83192 17528 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1007.21
Current children cumulated vsize (Kb) 6512

[startup+1370.12 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 83880 17635 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1015.16
Current children cumulated vsize (Kb) 6512

[startup+1380.13 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 84473 17770 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1022.44
Current children cumulated vsize (Kb) 6512

[startup+1390.13 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 85159 17881 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1030.41
Current children cumulated vsize (Kb) 6512

[startup+1400.13 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 85840 17995 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1038.36
Current children cumulated vsize (Kb) 6512

[startup+1410.13 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 86458 18119 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1045.78
Current children cumulated vsize (Kb) 6512

[startup+1420.13 s]
Raw data (loadavg): 1.04 1.07 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 87128 18235 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1053.64
Current children cumulated vsize (Kb) 6512

[startup+1430.13 s]
Raw data (loadavg): 1.04 1.06 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 87804 18346 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134552749 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1061.51
Current children cumulated vsize (Kb) 6512

[startup+1440.13 s]
Raw data (loadavg): 1.03 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 88474 18458 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1069.33
Current children cumulated vsize (Kb) 6512

[startup+1450.13 s]
Raw data (loadavg): 1.02 1.06 1.01 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 89094 18586 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1076.81
Current children cumulated vsize (Kb) 6512

[startup+1460.13 s]
Raw data (loadavg): 1.02 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 89784 18689 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1084.74
Current children cumulated vsize (Kb) 6512

[startup+1470.13 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 90464 18798 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1092.63
Current children cumulated vsize (Kb) 6512

[startup+1480.13 s]
Raw data (loadavg): 1.01 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 91063 18935 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1099.99
Current children cumulated vsize (Kb) 6512

[startup+1490.13 s]
Raw data (loadavg): 1.01 1.05 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 91755 19035 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1107.91
Current children cumulated vsize (Kb) 6512

[startup+1500.14 s]
Raw data (loadavg): 1.01 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 92431 19141 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1115.73
Current children cumulated vsize (Kb) 6512

[startup+1510.14 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 93053 19273 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 6512

[startup+1520.14 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 93724 19384 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1131.09
Current children cumulated vsize (Kb) 6512

[startup+1530.15 s]
Raw data (loadavg): 1.06 1.06 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 94398 19498 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1138.97
Current children cumulated vsize (Kb) 6512

[startup+1540.15 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 95083 19603 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1146.87
Current children cumulated vsize (Kb) 6512

[startup+1550.15 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 95697 19726 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1154.24
Current children cumulated vsize (Kb) 6512

[startup+1560.15 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 96377 19832 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1162.1
Current children cumulated vsize (Kb) 6512

[startup+1570.15 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) R 12070 12070 1333 0 -1 0 872 0 0 0 97062 19939 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1170.02
Current children cumulated vsize (Kb) 6512

[startup+1580.15 s]
Raw data (loadavg): 1.10 1.06 1.00 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 97687 20067 0 0 15 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1177.55
Current children cumulated vsize (Kb) 6512

[startup+1590.15 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 98366 20175 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1185.42
Current children cumulated vsize (Kb) 6512

[startup+1600.15 s]
Raw data (loadavg): 1.21 1.09 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 99056 20281 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1193.38
Current children cumulated vsize (Kb) 6512

[startup+1610.15 s]
Raw data (loadavg): 1.18 1.09 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 99747 20389 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1201.37
Current children cumulated vsize (Kb) 6512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1610.15 s]
Raw data (loadavg): 1.18 1.09 1.01 1/57 12073
Raw data (/proc/12070/stat): 12070 (vallstSAT2005PB) S 12069 12070 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1789428539 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12070/statm): 532 242 485 147 0 385 0
[pid=12070] vsize: 2128
Raw data (/proc/12073/stat): 12073 (vallst) T 12070 12070 1333 0 -1 0 872 0 0 0 99747 20389 0 0 16 0 1 0 1789428548 4489216 802 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12073/statm): 1096 802 413 48 0 1048 0
[pid=12073] vsize: 4384
Current children cumulated CPU time (s) 1201.37
Current children cumulated vsize (Kb) 6512

Sending SIGTERM to -12070
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=12075
New process pid=12076
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=12073) exited with status: 3
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/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/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/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/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/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/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/12033/stat
open syscall for file /proc/12033/status
open syscall for file /proc/12033/cmdline
open syscall for file /proc/12033/environ
open syscall for file /proc/12069/stat
open syscall for file /proc/12069/status
open syscall for file /proc/12069/cmdline
open syscall for file /proc/12069/environ
open syscall for file /proc/12070/stat
open syscall for file /proc/12070/status
open syscall for file /proc/12070/cmdline
open syscall for file /proc/12070/environ
open syscall for file /proc/12075/stat
open syscall for file /proc/12075/status
open syscall for file /proc/12075/cmdline
open syscall for file /proc/12075/environ
open syscall for file /proc/12076/stat
open syscall for file /proc/12076/status
open syscall for file /proc/12076/cmdline
open syscall for file /proc/12076/environ
One traced child (pid=12075) exited with status: 0
One traced child (pid=12076) exited with status: 0
New process pid=12077
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=12077) exited with status: 0
New process pid=12078
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=12078) exited with status: 0
New process pid=12079
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=12079) exited with status: 0
New process pid=12080
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=12080) exited with status: 0
One traced child (pid=12070) 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): 1610.71
CPU time (s): 1201.52
CPU user time (s): 997.525
CPU system time (s): 203.993
CPU usage (%): 74.5957
Max. virtual memory (cumulated for all children) (Kb): 6512

Verifier Data

ERROR: no interpretation found !