Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUMf88781e3d6e9a5487d13eaa213c27b55
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5237
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6291450
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 6291450
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.45
Number of variables205
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)45
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint105

Trace number 9418

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 13:20:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8131 boxname=wulflinc11 idbench=1099 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare1_1.opb 0
IDLAUNCH: 8131
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        944616 kB
Buffers:         12540 kB
Cached:          60628 kB
SwapCached:          0 kB
Active:          44168 kB
Inactive:        31860 kB
HighTotal:      131008 kB
HighFree:        65940 kB
LowTotal:       903652 kB
LowFree:        878676 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8512 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:48:46 (client local time) WITH STATUS 0 IN 1200.96 SECONDS
stats: 8131 7 1200.96 0

Solver Data

1:
seed: 0
Nr of vars set: 12  (#equs: 0)
Nr of vars set: 12  (#equs: 0)
#decisions: 411;  #end-nodes: 177;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 17 / 80 (80)
#axs: 18, #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:  6216105 (75344:>=*);
#decisions: 64;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 18, #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:  6216885 (74564:>=*);
#decisions: 66;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 18, #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:  6219921 (71528:>=*);
#decisions: 75;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 18, #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:  6220701 (70748:>=*);
#decisions: 117;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 18, #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:  6224193 (67256:>=*);
#decisions: 99;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 18, #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:  6224457 (66992:>=*);
#decisions: 105;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 18, #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:  6225237 (66212:>=*);
#decisions: 127;  #end-nodes: 63;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 63 / 80 (80)
#axs: 18, #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:  6225677 (65772:>=*);
#decisions: 3800;  #end-nodes: 1653;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 6 / 85 (85)
#axs: 18, #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:  6227641 (63808:>=*);
#decisions: 9519;  #end-nodes: 4522;
#proof improvement attempts: 0;  #restarts: 52
Current batch, end-nodes: 29 / 93 (93)
#axs: 18, #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:  6232281 (59168:>=*);
#decisions: 5922;  #end-nodes: 2841;
#proof improvement attempts: 0;  #restarts: 33
Current batch, end-nodes: 70 / 88 (88)
#axs: 18, #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:  6239675 (51774:>=*);
#decisions: 7592;  #end-nodes: 3436;
#proof improvement attempts: 0;  #restarts: 40
Current batch, end-nodes: 38 / 90 (90)
#axs: 18, #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:  6248697 (42752:>=*);
#decisions: 1116;  #end-nodes: 539;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 55 / 81 (81)
#axs: 18, #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:  6254216 (37233:>=*);
#decisions: 98;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 18, #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:  6255272 (36177:>=*);
#decisions: 86;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 18, #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:  6255740 (35709:>=*);
#decisions: 15437;  #end-nodes: 7649;
#proof improvement attempts: 0;  #restarts: 84
Current batch, end-nodes: 47 / 101 (101)
#axs: 18, #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:  6256831 (34618:>=*);
#decisions: 10282;  #end-nodes: 4808;
#proof improvement attempts: 0;  #restarts: 55
Current batch, end-nodes: 20 / 93 (93)
#axs: 18, #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:  6258117 (33332:>=*);
#decisions: 94;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 18, #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:  6265173 (26276:>=*);
#decisions: 16814;  #end-nodes: 8385;
#proof improvement attempts: 0;  #restarts: 91
Current batch, end-nodes: 81 / 102 (102)
#axs: 18, #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:  6273339 (18110:>=*);
#decisions: 70102;  #end-nodes: 36660;
#proof improvement attempts: 0;  #restarts: 309
Current batch, end-nodes: 15 / 157 (157)
#axs: 18, #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:  6274417 (17032:>=*);
#decisions: 128588;  #end-nodes: 69468;
#proof improvement attempts: 0;  #restarts: 491
Current batch, end-nodes: 50 / 202 (202)
#axs: 18, #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:  6278170 (13279:>=*);
#decisions: 63878;  #end-nodes: 37820;
#proof improvement attempts: 0;  #restarts: 316
Current batch, end-nodes: 55 / 159 (159)
#axs: 18, #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:  6278721 (12728:>=*);
#decisions: 65841;  #end-nodes: 38362;
#proof improvement attempts: 0;  #restarts: 319
Current batch, end-nodes: 140 / 159 (159)
#axs: 18, #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:  6280609 (10840:>=*);
#decisions: 250787;  #end-nodes: 161800;
#proof improvement attempts: 0;  #restarts: 861
Current batch, end-nodes: 285 / 295 (295)
#axs: 18, #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:  6281269 (10180:>=*);
#decisions: 2314531;  #end-nodes: 1679833;
#proof improvement attempts: 0;  #restarts: 3360
Current batch, end-nodes: 0 / 919 (919)
#axs: 18, #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: 21, end (keep): 34
Model found with constant:
  (pushed:) 6281269 (10180:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 36  (#equs: 0)
Time taken: 15 min, 19 sec

2:
seed: 0
Nr of vars set: 36  (#equs: 0)
Nr of vars set: 36  (#equs: 0)
#decisions: 253425;  #end-nodes: 162861;
#proof improvement attempts: 0;  #restarts: 758
Current batch, end-nodes: 127 / 309 (309)
#axs: 18, #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: 21, end (keep): 34
result: model found (1)
Model found with constant:  88879 (9418:>=*);
#decisions: 55699;  #end-nodes: 33685;
#proof improvement attempts: 0;  #restarts: 227
Current batch, end-nodes: 8 / 176 (176)
#axs: 18, #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: 21, end (keep): 34
Model found with constant:  88989 (9308:>=*);
#decisions: 252404;  #end-nodes: 161391;
#proof improvement attempts: 0;  #restarts: 753
Current batch, end-nodes: 173 / 308 (308)
#axs: 18, #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: 21, end (keep): 34
Model found with constant:  89545 (8752:>=*);
Interupt request received.
#decisions: 993243;  #end-nodes: 681090;
#proof improvement attempts: 0;  #restarts: 1903
Current batch, end-nodes: 131 / 595 (595)
#axs: 18, #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: 21, end (keep): 34
Model found with constant:
  (pushed:) 89545 (8752:>=*)

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: 117  (#equs: 0)
Time taken: 4 min, 41 sec

Watcher Data

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

[startup+10.0031 s]
Raw data (loadavg): 1.10 1.11 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 241 0 0 0 550 140 0 0 16 0 1 0 20504508 2183168 211 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 533 211 413 48 0 485 0
[pid=5830] vsize: 2132
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (Kb) 4260

[startup+20.0039 s]
Raw data (loadavg): 1.08 1.10 1.09 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 248 0 0 0 1098 281 0 0 18 0 1 0 20504508 2183168 218 4294967295 134512640 134702520 3221223952 3221223232 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 533 218 413 48 0 485 0
[pid=5830] vsize: 2132
Current children cumulated CPU time (s) 13.81
Current children cumulated vsize (Kb) 4260

[startup+30.0047 s]
Raw data (loadavg): 1.07 1.10 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 252 0 0 0 1642 427 0 0 17 0 1 0 20504508 2183168 222 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 533 222 413 48 0 485 0
[pid=5830] vsize: 2132
Current children cumulated CPU time (s) 20.71
Current children cumulated vsize (Kb) 4260

[startup+40.0055 s]
Raw data (loadavg): 1.06 1.10 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 254 0 0 0 2210 572 0 0 19 0 1 0 20504508 2314240 224 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 224 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 27.84
Current children cumulated vsize (Kb) 4388

[startup+50.0063 s]
Raw data (loadavg): 1.05 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 254 0 0 0 2694 741 0 0 18 0 1 0 20504508 2314240 224 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 224 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 34.37
Current children cumulated vsize (Kb) 4388

[startup+60.007 s]
Raw data (loadavg): 1.04 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 258 0 0 0 3190 895 0 0 16 0 1 0 20504508 2314240 228 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 228 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 40.87
Current children cumulated vsize (Kb) 4388

[startup+70.0088 s]
Raw data (loadavg): 1.12 1.10 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 300 0 0 0 3771 1032 0 0 17 0 1 0 20504508 2314240 270 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 270 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 48.05
Current children cumulated vsize (Kb) 4388

[startup+80.0096 s]
Raw data (loadavg): 1.10 1.10 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 300 0 0 0 4271 1188 0 0 18 0 1 0 20504508 2314240 270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 270 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 54.61
Current children cumulated vsize (Kb) 4388

[startup+90.0104 s]
Raw data (loadavg): 1.08 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 300 0 0 0 4767 1353 0 0 19 0 1 0 20504508 2314240 270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 270 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 61.22
Current children cumulated vsize (Kb) 4388

[startup+100.011 s]
Raw data (loadavg): 1.07 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 300 0 0 0 5270 1512 0 0 16 0 1 0 20504508 2314240 270 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 270 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 67.84
Current children cumulated vsize (Kb) 4388

[startup+110.013 s]
Raw data (loadavg): 1.06 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 302 0 0 0 5846 1648 0 0 17 0 1 0 20504508 2314240 272 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 272 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 74.96
Current children cumulated vsize (Kb) 4388

[startup+120.014 s]
Raw data (loadavg): 1.05 1.08 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 303 0 0 0 6369 1808 0 0 20 0 1 0 20504508 2314240 273 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 273 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 81.79
Current children cumulated vsize (Kb) 4388

[startup+130.015 s]
Raw data (loadavg): 1.04 1.08 1.08 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 304 0 0 0 6887 1968 0 0 18 0 1 0 20504508 2314240 274 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 274 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 4388

[startup+140.015 s]
Raw data (loadavg): 1.03 1.08 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 306 0 0 0 7491 2098 0 0 17 0 1 0 20504508 2314240 276 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 276 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 95.91
Current children cumulated vsize (Kb) 4388

[startup+150.016 s]
Raw data (loadavg): 1.03 1.07 1.08 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 306 0 0 0 8022 2243 0 0 20 0 1 0 20504508 2314240 276 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 276 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 102.67
Current children cumulated vsize (Kb) 4388

[startup+160.017 s]
Raw data (loadavg): 1.10 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 306 0 0 0 8519 2408 0 0 19 0 1 0 20504508 2314240 276 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 276 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 109.29
Current children cumulated vsize (Kb) 4388

[startup+170.018 s]
Raw data (loadavg): 1.24 1.12 1.09 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 307 0 0 0 9043 2561 0 0 20 0 1 0 20504508 2314240 277 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 277 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 116.06
Current children cumulated vsize (Kb) 4388

[startup+180.018 s]
Raw data (loadavg): 1.20 1.11 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 307 0 0 0 9620 2691 0 0 17 0 1 0 20504508 2314240 277 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 277 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 123.13
Current children cumulated vsize (Kb) 4388

[startup+190.019 s]
Raw data (loadavg): 1.17 1.11 1.09 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 307 0 0 0 10185 2839 0 0 19 0 1 0 20504508 2314240 277 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 277 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 130.26
Current children cumulated vsize (Kb) 4388

[startup+200.02 s]
Raw data (loadavg): 1.14 1.11 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 307 0 0 0 10681 3003 0 0 18 0 1 0 20504508 2314240 277 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 277 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 136.86
Current children cumulated vsize (Kb) 4388

[startup+210.022 s]
Raw data (loadavg): 1.12 1.10 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 307 0 0 0 11209 3157 0 0 16 0 1 0 20504508 2314240 277 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 277 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 143.68
Current children cumulated vsize (Kb) 4388

[startup+220.023 s]
Raw data (loadavg): 1.10 1.10 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 307 0 0 0 11818 3288 0 0 17 0 1 0 20504508 2314240 277 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 277 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 151.08
Current children cumulated vsize (Kb) 4388

[startup+230.022 s]
Raw data (loadavg): 1.08 1.09 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 12353 3435 0 0 19 0 1 0 20504508 2314240 278 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 278 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 157.9
Current children cumulated vsize (Kb) 4388

[startup+240.023 s]
Raw data (loadavg): 1.07 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 12840 3602 0 0 16 0 1 0 20504508 2314240 278 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 278 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 164.44
Current children cumulated vsize (Kb) 4388

[startup+250.024 s]
Raw data (loadavg): 1.06 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 13390 3745 0 0 16 0 1 0 20504508 2314240 278 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 278 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 171.37
Current children cumulated vsize (Kb) 4388

[startup+260.026 s]
Raw data (loadavg): 1.05 1.08 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 13981 3882 0 0 20 0 1 0 20504508 2314240 278 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 278 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 178.65
Current children cumulated vsize (Kb) 4388

[startup+270.027 s]
Raw data (loadavg): 1.12 1.10 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 309 0 0 0 14493 4035 0 0 17 0 1 0 20504508 2314240 279 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 279 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 185.3
Current children cumulated vsize (Kb) 4388

[startup+280.027 s]
Raw data (loadavg): 1.10 1.09 1.09 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 309 0 0 0 15043 4180 0 0 20 0 1 0 20504508 2314240 279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 279 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 192.25
Current children cumulated vsize (Kb) 4388

[startup+290.029 s]
Raw data (loadavg): 1.08 1.09 1.09 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 310 0 0 0 15678 4299 0 0 17 0 1 0 20504508 2314240 280 4294967295 134512640 134702520 3221223952 3221222848 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 280 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 199.79
Current children cumulated vsize (Kb) 4388

[startup+300.03 s]
Raw data (loadavg): 1.07 1.09 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 310 0 0 0 16215 4450 0 0 18 0 1 0 20504508 2314240 280 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 280 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 206.67
Current children cumulated vsize (Kb) 4388

[startup+310.032 s]
Raw data (loadavg): 1.06 1.08 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 311 0 0 0 16748 4603 0 0 17 0 1 0 20504508 2314240 281 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 281 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 213.53
Current children cumulated vsize (Kb) 4388

[startup+320.033 s]
Raw data (loadavg): 1.05 1.08 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 312 0 0 0 17411 4714 0 0 17 0 1 0 20504508 2314240 282 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 282 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 221.27
Current children cumulated vsize (Kb) 4388

[startup+330.033 s]
Raw data (loadavg): 1.04 1.08 1.08 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 313 0 0 0 17985 4848 0 0 22 0 1 0 20504508 2314240 283 4294967295 134512640 134702520 3221223952 3221223344 134603373 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 283 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 228.35
Current children cumulated vsize (Kb) 4388

[startup+340.034 s]
Raw data (loadavg): 1.03 1.07 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 315 0 0 0 18633 4965 0 0 16 0 1 0 20504508 2314240 285 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 285 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 236
Current children cumulated vsize (Kb) 4388

[startup+350.035 s]
Raw data (loadavg): 1.03 1.07 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 316 0 0 0 19213 5099 0 0 20 0 1 0 20504508 2314240 286 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 286 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 243.14
Current children cumulated vsize (Kb) 4388

[startup+360.037 s]
Raw data (loadavg): 1.02 1.07 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 318 0 0 0 19881 5204 0 0 19 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 250.87
Current children cumulated vsize (Kb) 4388

[startup+370.037 s]
Raw data (loadavg): 1.02 1.06 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 318 0 0 0 20376 5372 0 0 18 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 257.5
Current children cumulated vsize (Kb) 4388

[startup+380.037 s]
Raw data (loadavg): 1.02 1.06 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 318 0 0 0 20923 5517 0 0 16 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 264.42
Current children cumulated vsize (Kb) 4388

[startup+390.039 s]
Raw data (loadavg): 1.01 1.06 1.08 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 318 0 0 0 21511 5650 0 0 19 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 271.63
Current children cumulated vsize (Kb) 4388

[startup+400.04 s]
Raw data (loadavg): 1.01 1.06 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 318 0 0 0 22031 5805 0 0 16 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 278.38
Current children cumulated vsize (Kb) 4388

[startup+410.041 s]
Raw data (loadavg): 1.01 1.05 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 318 0 0 0 22560 5958 0 0 19 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 285.2
Current children cumulated vsize (Kb) 4388

[startup+420.041 s]
Raw data (loadavg): 1.01 1.05 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 318 0 0 0 23209 6070 0 0 19 0 1 0 20504508 2314240 288 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 288 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 292.81
Current children cumulated vsize (Kb) 4388

[startup+430.042 s]
Raw data (loadavg): 1.00 1.05 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 319 0 0 0 23749 6220 0 0 17 0 1 0 20504508 2314240 289 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 289 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 299.71
Current children cumulated vsize (Kb) 4388

[startup+440.043 s]
Raw data (loadavg): 1.00 1.05 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 319 0 0 0 24304 6361 0 0 16 0 1 0 20504508 2314240 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 289 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 306.67
Current children cumulated vsize (Kb) 4388

[startup+450.044 s]
Raw data (loadavg): 1.00 1.05 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 320 0 0 0 24979 6467 0 0 21 0 1 0 20504508 2314240 290 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 290 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 314.48
Current children cumulated vsize (Kb) 4388

[startup+460.046 s]
Raw data (loadavg): 1.00 1.04 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 320 0 0 0 25519 6614 0 0 20 0 1 0 20504508 2314240 290 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 290 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 321.35
Current children cumulated vsize (Kb) 4388

[startup+470.046 s]
Raw data (loadavg): 1.00 1.04 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 320 0 0 0 26195 6714 0 0 18 0 1 0 20504508 2314240 290 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 290 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 329.11
Current children cumulated vsize (Kb) 4388

[startup+480.047 s]
Raw data (loadavg): 1.00 1.04 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 321 0 0 0 26765 6855 0 0 22 0 1 0 20504508 2314240 291 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 291 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 336.22
Current children cumulated vsize (Kb) 4388

[startup+490.048 s]
Raw data (loadavg): 1.00 1.04 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 321 0 0 0 27385 6975 0 0 17 0 1 0 20504508 2314240 291 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 291 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 343.62
Current children cumulated vsize (Kb) 4388

[startup+500.049 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 322 0 0 0 27993 7105 0 0 20 0 1 0 20504508 2314240 292 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 292 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 351
Current children cumulated vsize (Kb) 4388

[startup+510.05 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 322 0 0 0 28589 7239 0 0 16 0 1 0 20504508 2314240 292 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 292 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (Kb) 4388

[startup+520.05 s]
Raw data (loadavg): 1.00 1.03 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 323 0 0 0 29267 7344 0 0 22 0 1 0 20504508 2314240 293 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 293 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 366.13
Current children cumulated vsize (Kb) 4388

[startup+530.051 s]
Raw data (loadavg): 1.00 1.03 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 323 0 0 0 29861 7472 0 0 16 0 1 0 20504508 2314240 293 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 293 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 373.35
Current children cumulated vsize (Kb) 4388

[startup+540.052 s]
Raw data (loadavg): 1.00 1.03 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 324 0 0 0 30547 7576 0 0 22 0 1 0 20504508 2314240 294 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 294 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 381.25
Current children cumulated vsize (Kb) 4388

[startup+550.053 s]
Raw data (loadavg): 1.00 1.03 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 326 0 0 0 31133 7713 0 0 16 0 1 0 20504508 2314240 296 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 565 296 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 388.48
Current children cumulated vsize (Kb) 4388

[startup+560.053 s]
Raw data (loadavg): 1.08 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 327 0 0 0 31818 7815 0 0 20 0 1 0 20504508 2314240 297 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 565 297 413 48 0 517 0
[pid=5830] vsize: 2260
Current children cumulated CPU time (s) 396.35
Current children cumulated vsize (Kb) 4388

[startup+570.055 s]
Raw data (loadavg): 1.07 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 328 0 0 0 32469 7923 0 0 16 0 1 0 20504508 2449408 298 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 298 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 403.94
Current children cumulated vsize (Kb) 4520

[startup+580.055 s]
Raw data (loadavg): 1.06 1.04 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 330 0 0 0 33130 8035 0 0 21 0 1 0 20504508 2449408 300 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 300 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 411.67
Current children cumulated vsize (Kb) 4520

[startup+590.056 s]
Raw data (loadavg): 1.05 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 331 0 0 0 33811 8140 0 0 16 0 1 0 20504508 2449408 301 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 301 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 419.53
Current children cumulated vsize (Kb) 4520

[startup+600.057 s]
Raw data (loadavg): 1.04 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 332 0 0 0 34405 8268 0 0 19 0 1 0 20504508 2449408 302 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 302 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 426.75
Current children cumulated vsize (Kb) 4520

[startup+610.057 s]
Raw data (loadavg): 1.03 1.03 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 333 0 0 0 35129 8359 0 0 22 0 1 0 20504508 2449408 303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 303 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 434.9
Current children cumulated vsize (Kb) 4520

[startup+620.058 s]
Raw data (loadavg): 1.10 1.05 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 334 0 0 0 35708 8492 0 0 20 0 1 0 20504508 2449408 304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 304 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 442.02
Current children cumulated vsize (Kb) 4520

[startup+630.059 s]
Raw data (loadavg): 1.08 1.05 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 335 0 0 0 36435 8581 0 0 22 0 1 0 20504508 2449408 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 305 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 450.18
Current children cumulated vsize (Kb) 4520

[startup+640.061 s]
Raw data (loadavg): 1.07 1.04 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 335 0 0 0 37011 8718 0 0 19 0 1 0 20504508 2449408 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 305 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 457.31
Current children cumulated vsize (Kb) 4520

[startup+650.062 s]
Raw data (loadavg): 1.06 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 336 0 0 0 37740 8810 0 0 21 0 1 0 20504508 2449408 306 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 306 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 465.52
Current children cumulated vsize (Kb) 4520

[startup+660.061 s]
Raw data (loadavg): 1.12 1.06 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 337 0 0 0 38443 8912 0 0 17 0 1 0 20504508 2449408 307 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 307 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 473.57
Current children cumulated vsize (Kb) 4520

[startup+670.062 s]
Raw data (loadavg): 1.10 1.06 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 338 0 0 0 39060 9038 0 0 15 0 1 0 20504508 2449408 308 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 308 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 481
Current children cumulated vsize (Kb) 4520

[startup+680.062 s]
Raw data (loadavg): 1.09 1.05 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 338 0 0 0 39803 9131 0 0 15 0 1 0 20504508 2449408 308 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 308 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 489.36
Current children cumulated vsize (Kb) 4520

[startup+690.063 s]
Raw data (loadavg): 1.15 1.07 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 340 0 0 0 40393 9262 0 0 16 0 1 0 20504508 2449408 310 4294967295 134512640 134702520 3221223952 3221223232 134557208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 310 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 496.57
Current children cumulated vsize (Kb) 4520

[startup+700.063 s]
Raw data (loadavg): 1.21 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 342 0 0 0 41124 9348 0 0 16 0 1 0 20504508 2449408 312 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 312 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 504.74
Current children cumulated vsize (Kb) 4520

[startup+710.063 s]
Raw data (loadavg): 1.18 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 343 0 0 0 41842 9441 0 0 15 0 1 0 20504508 2449408 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 313 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 512.85
Current children cumulated vsize (Kb) 4520

[startup+720.064 s]
Raw data (loadavg): 1.15 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 345 0 0 0 42463 9562 0 0 16 0 1 0 20504508 2449408 315 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 315 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 520.27
Current children cumulated vsize (Kb) 4520

[startup+730.065 s]
Raw data (loadavg): 1.13 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 347 0 0 0 43199 9647 0 0 16 0 1 0 20504508 2449408 317 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 317 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 528.48
Current children cumulated vsize (Kb) 4520

[startup+740.067 s]
Raw data (loadavg): 1.11 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 348 0 0 0 43790 9781 0 0 16 0 1 0 20504508 2449408 318 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 318 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 535.73
Current children cumulated vsize (Kb) 4520

[startup+750.067 s]
Raw data (loadavg): 1.16 1.08 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 350 0 0 0 44536 9872 0 0 16 0 1 0 20504508 2449408 320 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 320 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 544.1
Current children cumulated vsize (Kb) 4520

[startup+760.067 s]
Raw data (loadavg): 1.14 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 351 0 0 0 45251 9965 0 0 16 0 1 0 20504508 2449408 321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 321 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 552.18
Current children cumulated vsize (Kb) 4520

[startup+770.068 s]
Raw data (loadavg): 1.12 1.08 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 353 0 0 0 45860 10091 0 0 16 0 1 0 20504508 2449408 323 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 323 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 559.53
Current children cumulated vsize (Kb) 4520

[startup+780.069 s]
Raw data (loadavg): 1.10 1.08 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 353 0 0 0 46599 10177 0 0 16 0 1 0 20504508 2449408 323 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 323 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 567.78
Current children cumulated vsize (Kb) 4520

[startup+790.071 s]
Raw data (loadavg): 1.08 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 354 0 0 0 47349 10263 0 0 15 0 1 0 20504508 2449408 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 598 324 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 576.14
Current children cumulated vsize (Kb) 4520

[startup+800.071 s]
Raw data (loadavg): 1.15 1.09 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 354 0 0 0 47947 10394 0 0 16 0 1 0 20504508 2449408 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 324 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 583.43
Current children cumulated vsize (Kb) 4520

[startup+810.072 s]
Raw data (loadavg): 1.13 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 356 0 0 0 48716 10472 0 0 16 0 1 0 20504508 2449408 326 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 326 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 591.9
Current children cumulated vsize (Kb) 4520

[startup+820.073 s]
Raw data (loadavg): 1.11 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 358 0 0 0 49400 10574 0 0 15 0 1 0 20504508 2449408 328 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 598 328 413 48 0 550 0
[pid=5830] vsize: 2392
Current children cumulated CPU time (s) 599.76
Current children cumulated vsize (Kb) 4520

[startup+830.074 s]
Raw data (loadavg): 1.09 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 395 0 0 0 50053 10690 0 0 16 0 1 0 20504508 2592768 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 633 365 413 48 0 585 0
[pid=5830] vsize: 2532
Current children cumulated CPU time (s) 607.45
Current children cumulated vsize (Kb) 4660

[startup+840.076 s]
Raw data (loadavg): 1.08 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 442 0 0 0 50778 10778 0 0 16 0 1 0 20504508 2867200 412 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 412 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 615.58
Current children cumulated vsize (Kb) 4928

[startup+850.076 s]
Raw data (loadavg): 1.06 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 51448 10889 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 623.39
Current children cumulated vsize (Kb) 4928

[startup+860.076 s]
Raw data (loadavg): 1.05 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 52139 10988 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 631.29
Current children cumulated vsize (Kb) 4928

[startup+870.077 s]
Raw data (loadavg): 1.12 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 52880 11073 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 639.55
Current children cumulated vsize (Kb) 4928

[startup+880.078 s]
Raw data (loadavg): 1.18 1.10 1.08 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 53511 11196 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 647.09
Current children cumulated vsize (Kb) 4928

[startup+890.078 s]
Raw data (loadavg): 1.16 1.09 1.08 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 54226 11293 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 655.21
Current children cumulated vsize (Kb) 4928

[startup+900.079 s]
Raw data (loadavg): 1.13 1.09 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 54989 11370 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 663.61
Current children cumulated vsize (Kb) 4928

[startup+910.08 s]
Raw data (loadavg): 1.11 1.08 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 443 0 0 0 55613 11498 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 671.13
Current children cumulated vsize (Kb) 4928

[startup+920.081 s]
Raw data (loadavg): 1.09 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 56332 11592 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 679.26
Current children cumulated vsize (Kb) 4928

[startup+930.082 s]
Raw data (loadavg): 1.08 1.08 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 443 0 0 0 57094 11668 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 687.64
Current children cumulated vsize (Kb) 4928

[startup+940.082 s]
Raw data (loadavg): 1.07 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 57747 11784 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 695.33
Current children cumulated vsize (Kb) 4928

[startup+950.083 s]
Raw data (loadavg): 1.06 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 58446 11882 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 703.3
Current children cumulated vsize (Kb) 4928

[startup+960.083 s]
Raw data (loadavg): 1.05 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 59192 11968 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 711.62
Current children cumulated vsize (Kb) 4928

[startup+970.084 s]
Raw data (loadavg): 1.04 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 59896 12069 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 719.67
Current children cumulated vsize (Kb) 4928

[startup+980.085 s]
Raw data (loadavg): 1.03 1.06 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 60565 12180 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 727.47
Current children cumulated vsize (Kb) 4928

[startup+990.085 s]
Raw data (loadavg): 1.03 1.06 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 61319 12263 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 735.84
Current children cumulated vsize (Kb) 4928

[startup+1000.09 s]
Raw data (loadavg): 1.10 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 62089 12346 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 744.37
Current children cumulated vsize (Kb) 4928

[startup+1010.09 s]
Raw data (loadavg): 1.16 1.09 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 62700 12474 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 751.76
Current children cumulated vsize (Kb) 4928

[startup+1020.09 s]
Raw data (loadavg): 1.13 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 63436 12564 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 760.02
Current children cumulated vsize (Kb) 4928

[startup+1030.09 s]
Raw data (loadavg): 1.11 1.08 1.07 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 64179 12651 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 768.32
Current children cumulated vsize (Kb) 4928

[startup+1040.09 s]
Raw data (loadavg): 1.10 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 64789 12776 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 775.67
Current children cumulated vsize (Kb) 4928

[startup+1050.09 s]
Raw data (loadavg): 1.08 1.08 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 65542 12860 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 784.04
Current children cumulated vsize (Kb) 4928

[startup+1060.09 s]
Raw data (loadavg): 1.07 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 66304 12938 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 792.44
Current children cumulated vsize (Kb) 4928

[startup+1070.09 s]
Raw data (loadavg): 1.06 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 66998 13042 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 800.42
Current children cumulated vsize (Kb) 4928

[startup+1080.09 s]
Raw data (loadavg): 1.05 1.07 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 67674 13151 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 808.27
Current children cumulated vsize (Kb) 4928

[startup+1090.09 s]
Raw data (loadavg): 1.04 1.06 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 68438 13230 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 816.7
Current children cumulated vsize (Kb) 4928

[startup+1100.09 s]
Raw data (loadavg): 1.03 1.06 1.07 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 69187 13314 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 825.03
Current children cumulated vsize (Kb) 4928

[startup+1110.09 s]
Raw data (loadavg): 1.03 1.06 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 69795 13436 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 832.33
Current children cumulated vsize (Kb) 4928

[startup+1120.09 s]
Raw data (loadavg): 1.02 1.06 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 443 0 0 0 70559 13512 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223516 134519982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 840.73
Current children cumulated vsize (Kb) 4928

[startup+1130.1 s]
Raw data (loadavg): 1.02 1.05 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 71318 13595 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 849.15
Current children cumulated vsize (Kb) 4928

[startup+1140.1 s]
Raw data (loadavg): 1.02 1.05 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 72020 13696 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 857.18
Current children cumulated vsize (Kb) 4928

[startup+1150.1 s]
Raw data (loadavg): 1.01 1.05 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 72697 13802 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 865.01
Current children cumulated vsize (Kb) 4928

[startup+1160.1 s]
Raw data (loadavg): 1.01 1.05 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 443 0 0 0 73463 13881 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 873.46
Current children cumulated vsize (Kb) 4928

[startup+1170.1 s]
Raw data (loadavg): 1.01 1.05 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 74218 13965 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (Kb) 4928

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 74829 14091 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 889.22
Current children cumulated vsize (Kb) 4928

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 75578 14179 0 0 15 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 897.59
Current children cumulated vsize (Kb) 4928

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) R 5827 5827 4060 0 -1 0 443 0 0 0 76387 14247 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 906.36
Current children cumulated vsize (Kb) 4928

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.04 1.05 1/56 5830
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 330 232 0 0 1 0 0 1 21 0 1 0 20504499 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 242 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5830/stat): 5830 (vallst) T 5827 5827 4060 0 -1 0 443 0 0 0 77168 14318 0 0 16 0 1 0 20504508 2867200 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5830/statm): 700 413 413 48 0 652 0
[pid=5830] vsize: 2800
Current children cumulated CPU time (s) 914.88
Current children cumulated vsize (Kb) 4928
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5830) exited with status: 2
New process pid=5831
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5831) exited with status: 0
New process pid=5832
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.04 1.05 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 185 0 0 0 68 79 0 0 16 0 1 0 20626216 1859584 156 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 454 156 413 48 0 406 0
[pid=5832] vsize: 1816
Current children cumulated CPU time (s) 920.93
Current children cumulated vsize (Kb) 3944

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.04 1.05 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 284 0 0 0 410 296 0 0 16 0 1 0 20626216 2170880 255 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 530 255 413 48 0 482 0
[pid=5832] vsize: 2120
Current children cumulated CPU time (s) 926.52
Current children cumulated vsize (Kb) 4248

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.03 1.05 2/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) R 5827 5827 4060 0 -1 0 290 0 0 0 782 507 0 0 17 0 1 0 20626216 2301952 261 4294967295 134512640 134702520 3221223712 3221222992 134553140 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5832/statm): 562 261 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 932.35
Current children cumulated vsize (Kb) 4376

[startup+1250.1 s]
Raw data (loadavg): 1.08 1.05 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 292 0 0 0 1162 708 0 0 17 0 1 0 20626216 2301952 263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 562 263 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 938.16
Current children cumulated vsize (Kb) 4376

[startup+1260.1 s]
Raw data (loadavg): 1.07 1.05 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 295 0 0 0 1575 892 0 0 16 0 1 0 20626216 2301952 266 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 562 266 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 944.13
Current children cumulated vsize (Kb) 4376

[startup+1270.11 s]
Raw data (loadavg): 1.14 1.06 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 298 0 0 0 2007 1078 0 0 16 0 1 0 20626216 2301952 269 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 562 269 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 950.31
Current children cumulated vsize (Kb) 4376

[startup+1280.11 s]
Raw data (loadavg): 1.11 1.06 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 301 0 0 0 2457 1257 0 0 16 0 1 0 20626216 2301952 272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 562 272 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 956.6
Current children cumulated vsize (Kb) 4376

[startup+1290.11 s]
Raw data (loadavg): 1.10 1.06 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 303 0 0 0 2882 1438 0 0 17 0 1 0 20626216 2301952 274 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 562 274 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 962.66
Current children cumulated vsize (Kb) 4376

[startup+1300.11 s]
Raw data (loadavg): 1.08 1.05 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 305 0 0 0 3299 1625 0 0 18 0 1 0 20626216 2301952 276 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 562 276 413 48 0 514 0
[pid=5832] vsize: 2248
Current children cumulated CPU time (s) 968.7
Current children cumulated vsize (Kb) 4376

[startup+1310.11 s]
Raw data (loadavg): 1.14 1.07 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 3749 1802 0 0 16 0 1 0 20626216 2306048 279 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 279 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 974.97
Current children cumulated vsize (Kb) 4380

[startup+1320.11 s]
Raw data (loadavg): 1.12 1.06 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 4104 2009 0 0 16 0 1 0 20626216 2306048 279 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 279 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 980.59
Current children cumulated vsize (Kb) 4380

[startup+1330.11 s]
Raw data (loadavg): 1.18 1.08 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 4501 2206 0 0 18 0 1 0 20626216 2306048 279 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 279 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 986.53
Current children cumulated vsize (Kb) 4380

[startup+1340.11 s]
Raw data (loadavg): 1.15 1.08 1.06 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 4857 2414 0 0 16 0 1 0 20626216 2306048 279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 279 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 992.17
Current children cumulated vsize (Kb) 4380

[startup+1350.11 s]
Raw data (loadavg): 1.20 1.09 1.07 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 5242 2613 0 0 17 0 1 0 20626216 2306048 279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 563 279 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 998.01
Current children cumulated vsize (Kb) 4380

[startup+1360.11 s]
Raw data (loadavg): 1.25 1.10 1.07 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 308 0 0 0 5630 2818 0 0 18 0 1 0 20626216 2306048 279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 279 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1003.94
Current children cumulated vsize (Kb) 4380

[startup+1370.11 s]
Raw data (loadavg): 1.21 1.10 1.07 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 309 0 0 0 6038 3005 0 0 18 0 1 0 20626216 2306048 280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 280 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1009.89
Current children cumulated vsize (Kb) 4380

[startup+1380.11 s]
Raw data (loadavg): 1.25 1.11 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 309 0 0 0 6448 3198 0 0 19 0 1 0 20626216 2306048 280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 563 280 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1015.92
Current children cumulated vsize (Kb) 4380

[startup+1390.11 s]
Raw data (loadavg): 1.21 1.11 1.07 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 310 0 0 0 6853 3392 0 0 18 0 1 0 20626216 2306048 281 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 281 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1021.91
Current children cumulated vsize (Kb) 4380

[startup+1400.12 s]
Raw data (loadavg): 1.18 1.10 1.07 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 310 0 0 0 7262 3589 0 0 16 0 1 0 20626216 2306048 281 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 281 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1027.97
Current children cumulated vsize (Kb) 4380

[startup+1410.12 s]
Raw data (loadavg): 1.15 1.10 1.07 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 310 0 0 0 7758 3759 0 0 16 0 1 0 20626216 2306048 281 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 281 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1034.63
Current children cumulated vsize (Kb) 4380

[startup+1420.12 s]
Raw data (loadavg): 1.21 1.11 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 311 0 0 0 8117 3968 0 0 17 0 1 0 20626216 2306048 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 563 282 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1040.31
Current children cumulated vsize (Kb) 4380

[startup+1430.12 s]
Raw data (loadavg): 1.26 1.12 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 311 0 0 0 8501 4164 0 0 17 0 1 0 20626216 2306048 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 282 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1046.11
Current children cumulated vsize (Kb) 4380

[startup+1440.12 s]
Raw data (loadavg): 1.22 1.12 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 311 0 0 0 8895 4359 0 0 17 0 1 0 20626216 2306048 282 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 563 282 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1052
Current children cumulated vsize (Kb) 4380

[startup+1450.12 s]
Raw data (loadavg): 1.18 1.12 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 311 0 0 0 9282 4559 0 0 16 0 1 0 20626216 2306048 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 282 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1057.87
Current children cumulated vsize (Kb) 4380

[startup+1460.12 s]
Raw data (loadavg): 1.15 1.11 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 311 0 0 0 9677 4760 0 0 18 0 1 0 20626216 2306048 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 282 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1063.83
Current children cumulated vsize (Kb) 4380

[startup+1470.12 s]
Raw data (loadavg): 1.13 1.11 1.08 2/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) R 5827 5827 4060 0 -1 0 311 0 0 0 10080 4953 0 0 16 0 1 0 20626216 2306048 282 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 282 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1069.79
Current children cumulated vsize (Kb) 4380

[startup+1480.12 s]
Raw data (loadavg): 1.26 1.14 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 312 0 0 0 10501 5139 0 0 16 0 1 0 20626216 2306048 283 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 283 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1075.86
Current children cumulated vsize (Kb) 4380

[startup+1490.12 s]
Raw data (loadavg): 1.22 1.13 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 312 0 0 0 10993 5310 0 0 16 0 1 0 20626216 2306048 283 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 283 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1082.49
Current children cumulated vsize (Kb) 4380

[startup+1500.12 s]
Raw data (loadavg): 1.19 1.13 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 313 0 0 0 11447 5486 0 0 19 0 1 0 20626216 2306048 284 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 284 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1088.79
Current children cumulated vsize (Kb) 4380

[startup+1510.12 s]
Raw data (loadavg): 1.16 1.12 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 314 0 0 0 11877 5676 0 0 19 0 1 0 20626216 2306048 285 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 285 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1094.99
Current children cumulated vsize (Kb) 4380

[startup+1520.12 s]
Raw data (loadavg): 1.13 1.12 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 315 0 0 0 12308 5862 0 0 16 0 1 0 20626216 2306048 286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 286 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1101.16
Current children cumulated vsize (Kb) 4380

[startup+1530.13 s]
Raw data (loadavg): 1.11 1.11 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 318 0 0 0 12819 6029 0 0 15 0 1 0 20626216 2306048 289 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 289 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1107.94
Current children cumulated vsize (Kb) 4380

[startup+1540.13 s]
Raw data (loadavg): 1.17 1.13 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 320 0 0 0 13278 6208 0 0 15 0 1 0 20626216 2306048 291 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 291 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1114.32
Current children cumulated vsize (Kb) 4380

[startup+1550.13 s]
Raw data (loadavg): 1.15 1.12 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 321 0 0 0 13727 6389 0 0 16 0 1 0 20626216 2306048 292 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 563 292 413 48 0 515 0
[pid=5832] vsize: 2252
Current children cumulated CPU time (s) 1120.62
Current children cumulated vsize (Kb) 4380

[startup+1560.13 s]
Raw data (loadavg): 1.20 1.13 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 324 0 0 0 14201 6562 0 0 16 0 1 0 20626216 2441216 295 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 295 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1127.09
Current children cumulated vsize (Kb) 4512

[startup+1570.13 s]
Raw data (loadavg): 1.17 1.13 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 325 0 0 0 14721 6719 0 0 15 0 1 0 20626216 2441216 296 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 296 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1133.86
Current children cumulated vsize (Kb) 4512

[startup+1580.13 s]
Raw data (loadavg): 1.15 1.12 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 327 0 0 0 15175 6894 0 0 15 0 1 0 20626216 2441216 298 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 596 298 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1140.15
Current children cumulated vsize (Kb) 4512

[startup+1590.13 s]
Raw data (loadavg): 1.12 1.12 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 327 0 0 0 15676 7057 0 0 16 0 1 0 20626216 2441216 298 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 298 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1146.79
Current children cumulated vsize (Kb) 4512

[startup+1600.13 s]
Raw data (loadavg): 1.10 1.11 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 327 0 0 0 16202 7211 0 0 15 0 1 0 20626216 2441216 298 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 298 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1153.59
Current children cumulated vsize (Kb) 4512

[startup+1610.13 s]
Raw data (loadavg): 1.09 1.11 1.09 2/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) R 5827 5827 4060 0 -1 0 328 0 0 0 16652 7392 0 0 15 0 1 0 20626216 2441216 299 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 299 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1159.9
Current children cumulated vsize (Kb) 4512

[startup+1620.13 s]
Raw data (loadavg): 1.07 1.11 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 331 0 0 0 17223 7531 0 0 15 0 1 0 20626216 2441216 302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 302 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1167
Current children cumulated vsize (Kb) 4512

[startup+1630.13 s]
Raw data (loadavg): 1.06 1.10 1.08 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 331 0 0 0 17687 7700 0 0 16 0 1 0 20626216 2441216 302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 302 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1173.33
Current children cumulated vsize (Kb) 4512

[startup+1640.14 s]
Raw data (loadavg): 1.13 1.11 1.09 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 334 0 0 0 18193 7863 0 0 16 0 1 0 20626216 2441216 305 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 596 305 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1180.02
Current children cumulated vsize (Kb) 4512

[startup+1650.14 s]
Raw data (loadavg): 1.26 1.14 1.10 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 335 0 0 0 18750 8011 0 0 15 0 1 0 20626216 2441216 306 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5832/statm): 596 306 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1187.07
Current children cumulated vsize (Kb) 4512

[startup+1660.14 s]
Raw data (loadavg): 1.30 1.15 1.10 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 336 0 0 0 19228 8180 0 0 15 0 1 0 20626216 2441216 307 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 307 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1193.54
Current children cumulated vsize (Kb) 4512

[startup+1670.14 s]
Raw data (loadavg): 1.34 1.17 1.10 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 337 0 0 0 19825 8314 0 0 15 0 1 0 20626216 2441216 308 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 308 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (Kb) 4512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1670.14 s]
Raw data (loadavg): 1.34 1.17 1.10 1/56 5832
Raw data (/proc/5827/stat): 5827 (vallstSAT2005PB) S 5826 5827 4060 0 -1 0 378 818 0 0 1 1 77515 14429 17 0 1 0 20504499 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5827/statm): 532 248 485 147 0 385 0
[pid=5827] vsize: 2128
Raw data (/proc/5832/stat): 5832 (vallst) T 5827 5827 4060 0 -1 0 337 0 0 0 19825 8314 0 0 15 0 1 0 20626216 2441216 308 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5832/statm): 596 308 413 48 0 548 0
[pid=5832] vsize: 2384
Current children cumulated CPU time (s) 1200.85
Current children cumulated vsize (Kb) 4512

Sending SIGTERM to -5827
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5834
New process pid=5835
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
One traced child (pid=5832) exited with status: 3
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5788/stat
open syscall for file /proc/5788/status
open syscall for file /proc/5788/cmdline
open syscall for file /proc/5788/environ
open syscall for file /proc/5826/stat
open syscall for file /proc/5826/status
open syscall for file /proc/5826/cmdline
open syscall for file /proc/5826/environ
open syscall for file /proc/5827/stat
open syscall for file /proc/5827/status
open syscall for file /proc/5827/cmdline
open syscall for file /proc/5827/environ
open syscall for file /proc/5834/stat
open syscall for file /proc/5834/status
open syscall for file /proc/5834/cmdline
open syscall for file /proc/5834/environ
open syscall for file /proc/5835/stat
open syscall for file /proc/5835/status
open syscall for file /proc/5835/cmdline
open syscall for file /proc/5835/environ
One traced child (pid=5834) exited with status: 0
One traced child (pid=5835) exited with status: 0
New process pid=5836
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=5836) exited with status: 0
New process pid=5837
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=5837) exited with status: 0
One traced child (pid=5827) 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): 1670.61
CPU time (s): 1200.96
CPU user time (s): 973.453
CPU system time (s): 227.503
CPU usage (%): 71.8872
Max. virtual memory (cumulated for all children) (Kb): 4928

Verifier Data

ERROR: no interpretation found !