Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM3c39e3c2b993ee2185e2a1a3e73b9723
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark315.832
Number of variables1086
Total number of constraints1171
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1170
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1086

Trace number 4282

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        884432 kB
Buffers:         36832 kB
Cached:          84124 kB
SwapCached:        832 kB
Active:          71532 kB
Inactive:        52128 kB
HighTotal:      131008 kB
HighFree:        43484 kB
LowTotal:       903652 kB
LowFree:        840948 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20868 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:27:59 (client local time) WITH STATUS 0 IN 1205.75 SECONDS
stats: 7548 7 1205.75 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 2479;  #end-nodes: 474;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 69 / 81 (81)
#axs: 170, #non-axs: 25
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:  192563 (4627:>=*);
#decisions: 47;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 170, #non-axs: 25
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:  192564 (4626:>=*);
#decisions: 40;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 170, #non-axs: 25
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:  192731 (4459:>=*);
#decisions: 52;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 170, #non-axs: 25
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:  192744 (4446:>=*);
#decisions: 51;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 170, #non-axs: 25
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:  192779 (4411:>=*);
#decisions: 5240;  #end-nodes: 2026;
#proof improvement attempts: 0;  #restarts: 24
Current batch, end-nodes: 17 / 86 (86)
#axs: 170, #non-axs: 102
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:  192812 (4378:>=*);
#decisions: 90;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 170, #non-axs: 102
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:  192816 (4374:>=*);
#decisions: 157;  #end-nodes: 74;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 74 / 80 (80)
#axs: 170, #non-axs: 102
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:  192826 (4364:>=*);
#decisions: 154;  #end-nodes: 49;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 170, #non-axs: 103
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:  192827 (4363:>=*);
#decisions: 63;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 170, #non-axs: 103
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:  192831 (4359:>=*);
#decisions: 4174;  #end-nodes: 1775;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 32 / 85 (85)
#axs: 170, #non-axs: 96
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:  192872 (4318:>=*);
#decisions: 27;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 170, #non-axs: 96
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:  192874 (4316:>=*);
#decisions: 31;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 170, #non-axs: 96
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:  192878 (4312:>=*);
#decisions: 38;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 170, #non-axs: 96
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:  192880 (4310:>=*);
#decisions: 73;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 170, #non-axs: 96
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:  192881 (4309:>=*);
#decisions: 3161;  #end-nodes: 1142;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 80 / 85 (83)
#axs: 170, #non-axs: 168
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:  192887 (4303:>=*);
#decisions: 21;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 170, #non-axs: 168
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:  192893 (4297:>=*);
#decisions: 12541;  #end-nodes: 5376;
#proof improvement attempts: 0;  #restarts: 61
Current batch, end-nodes: 3 / 97 (95)
#axs: 170, #non-axs: 268
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:  192997 (4193:>=*);
#decisions: 35;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 170, #non-axs: 268
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:  193000 (4190:>=*);
#decisions: 34;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 170, #non-axs: 268
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:  193006 (4184:>=*);
#decisions: 39;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 170, #non-axs: 268
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:  193009 (4181:>=*);
#decisions: 64;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 170, #non-axs: 268
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:  193010 (4180:>=*);
#decisions: 23;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 170, #non-axs: 268
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:  193013 (4177:>=*);
#decisions: 57;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 170, #non-axs: 268
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:  193015 (4175:>=*);
#decisions: 74;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 170, #non-axs: 268
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:  193180 (4010:>=*);
#decisions: 48;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 170, #non-axs: 269
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:  193187 (4003:>=*);
#decisions: 47;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 170, #non-axs: 269
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:  193188 (4002:>=*);
#decisions: 133;  #end-nodes: 64;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 64 / 80 (80)
#axs: 170, #non-axs: 271
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:  193194 (3996:>=*);
#decisions: 47;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 170, #non-axs: 271
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:  193196 (3994:>=*);
#decisions: 358306;  #end-nodes: 192911;
#proof improvement attempts: 0;  #restarts: 959
Current batch, end-nodes: 68 / 319 (319)
#axs: 170, #non-axs: 642
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  193242 (3948:>=*);
#decisions: 26;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 170, #non-axs: 642
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  193243 (3947:>=*);
#decisions: 34;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 170, #non-axs: 642
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  193254 (3936:>=*);
#decisions: 42;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 170, #non-axs: 642
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  193282 (3908:>=*);
#decisions: 1033654;  #end-nodes: 571798;
#proof improvement attempts: 0;  #restarts: 1828
Current batch, end-nodes: 389 / 537 (537)
#axs: 170, #non-axs: 145
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 8
Model found with constant:  193319 (3871:>=*);
#decisions: 333;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 170, #non-axs: 145
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 8
Model found with constant:  193364 (3826:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 193364 (3826:>=*)

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

Watcher Data

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

[startup+10.0037 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 269 0 0 0 696 96 0 0 19 0 1 0 1847594096 2310144 239 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 564 239 413 48 0 516 0
[pid=21513] vsize: 2256
Current children cumulated CPU time (s) 7.94
Current children cumulated vsize (Kb) 4384

[startup+20.0055 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 269 0 0 0 1390 202 0 0 20 0 1 0 1847594096 2310144 239 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 564 239 413 48 0 516 0
[pid=21513] vsize: 2256
Current children cumulated CPU time (s) 15.94
Current children cumulated vsize (Kb) 4384

[startup+30.0062 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 363 0 0 0 2174 278 0 0 21 0 1 0 1847594096 3043328 333 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 743 333 413 48 0 695 0
[pid=21513] vsize: 2972
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (Kb) 5100

[startup+40.0069 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 378 0 0 0 2959 355 0 0 21 0 1 0 1847594096 3043328 348 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 743 348 413 48 0 695 0
[pid=21513] vsize: 2972
Current children cumulated CPU time (s) 33.16
Current children cumulated vsize (Kb) 5100

[startup+50.0087 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 382 0 0 0 3752 423 0 0 23 0 1 0 1847594096 3043328 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 743 352 413 48 0 695 0
[pid=21513] vsize: 2972
Current children cumulated CPU time (s) 41.77
Current children cumulated vsize (Kb) 5100

[startup+60.0094 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 385 0 0 0 4520 501 0 0 21 0 1 0 1847594096 3043328 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 743 355 413 48 0 695 0
[pid=21513] vsize: 2972
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (Kb) 5100

[startup+70.0111 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 385 0 0 0 5276 588 0 0 20 0 1 0 1847594096 3043328 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 743 355 413 48 0 695 0
[pid=21513] vsize: 2972
Current children cumulated CPU time (s) 58.66
Current children cumulated vsize (Kb) 5100

[startup+80.0119 s]
Raw data (loadavg): 1.06 1.00 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 397 0 0 0 6053 666 0 0 23 0 1 0 1847594096 3043328 367 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 743 367 413 48 0 695 0
[pid=21513] vsize: 2972
Current children cumulated CPU time (s) 67.21
Current children cumulated vsize (Kb) 5100

[startup+90.0126 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 480 0 0 0 6841 739 0 0 22 0 1 0 1847594096 3170304 450 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 450 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 75.82
Current children cumulated vsize (Kb) 5224

[startup+100.013 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 480 0 0 0 7597 822 0 0 21 0 1 0 1847594096 3170304 450 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 450 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 84.21
Current children cumulated vsize (Kb) 5224

[startup+110.014 s]
Raw data (loadavg): 1.11 1.02 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 496 0 0 0 8368 904 0 0 21 0 1 0 1847594096 3170304 466 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 466 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 92.74
Current children cumulated vsize (Kb) 5224

[startup+120.016 s]
Raw data (loadavg): 1.10 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 498 0 0 0 9156 975 0 0 23 0 1 0 1847594096 3170304 468 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 468 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (Kb) 5224

[startup+130.017 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 501 0 0 0 9931 1053 0 0 20 0 1 0 1847594096 3170304 471 4294967295 134512640 134702520 3221223952 3221222848 134550367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 471 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 5224

[startup+140.017 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 501 0 0 0 10691 1135 0 0 21 0 1 0 1847594096 3170304 471 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 471 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 118.28
Current children cumulated vsize (Kb) 5224

[startup+150.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 502 0 0 0 11474 1208 0 0 22 0 1 0 1847594096 3170304 472 4294967295 134512640 134702520 3221223952 3221223072 134572114 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 472 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 126.84
Current children cumulated vsize (Kb) 5224

[startup+160.02 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 506 0 0 0 12267 1276 0 0 22 0 1 0 1847594096 3170304 476 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 476 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 135.45
Current children cumulated vsize (Kb) 5224

[startup+170.02 s]
Raw data (loadavg): 1.19 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 508 0 0 0 13046 1353 0 0 21 0 1 0 1847594096 3170304 478 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 478 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 144.01
Current children cumulated vsize (Kb) 5224

[startup+180.021 s]
Raw data (loadavg): 1.16 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 508 0 0 0 13802 1436 0 0 20 0 1 0 1847594096 3170304 478 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 478 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 152.4
Current children cumulated vsize (Kb) 5224

[startup+190.022 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 510 0 0 0 14593 1508 0 0 22 0 1 0 1847594096 3170304 480 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 480 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (Kb) 5224

[startup+200.023 s]
Raw data (loadavg): 1.19 1.05 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 515 0 0 0 15407 1572 0 0 21 0 1 0 1847594096 3170304 485 4294967295 134512640 134702520 3221223952 3221222848 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 485 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 169.81
Current children cumulated vsize (Kb) 5224

[startup+210.023 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 517 0 0 0 16193 1644 0 0 21 0 1 0 1847594096 3170304 487 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 487 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 178.39
Current children cumulated vsize (Kb) 5224

[startup+220.025 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 517 0 0 0 16961 1719 0 0 21 0 1 0 1847594096 3170304 487 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 487 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 186.82
Current children cumulated vsize (Kb) 5224

[startup+230.026 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 519 0 0 0 17762 1788 0 0 22 0 1 0 1847594096 3170304 489 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 489 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 195.52
Current children cumulated vsize (Kb) 5224

[startup+240.027 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 523 0 0 0 18564 1855 0 0 22 0 1 0 1847594096 3170304 493 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 493 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 204.21
Current children cumulated vsize (Kb) 5224

[startup+250.028 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 525 0 0 0 19338 1932 0 0 16 0 1 0 1847594096 3170304 495 4294967295 134512640 134702520 3221223952 3221222848 134550389 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 774 495 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 212.72
Current children cumulated vsize (Kb) 5224

[startup+260.029 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 525 0 0 0 20099 2015 0 0 15 0 1 0 1847594096 3170304 495 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 774 495 413 48 0 726 0
[pid=21513] vsize: 3096
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (Kb) 5224

[startup+270.03 s]
Raw data (loadavg): 1.06 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 526 0 0 0 20893 2088 0 0 16 0 1 0 1847594096 3289088 496 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 496 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 229.83
Current children cumulated vsize (Kb) 5340

[startup+280.03 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 529 0 0 0 21700 2154 0 0 16 0 1 0 1847594096 3289088 499 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 499 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 238.56
Current children cumulated vsize (Kb) 5340

[startup+290.031 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 532 0 0 0 22483 2231 0 0 16 0 1 0 1847594096 3289088 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 502 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 247.16
Current children cumulated vsize (Kb) 5340

[startup+300.032 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 532 0 0 0 23244 2317 0 0 16 0 1 0 1847594096 3289088 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 502 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 255.63
Current children cumulated vsize (Kb) 5340

[startup+310.033 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 534 0 0 0 24047 2385 0 0 16 0 1 0 1847594096 3289088 504 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 504 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 264.34
Current children cumulated vsize (Kb) 5340

[startup+320.034 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 536 0 0 0 24865 2445 0 0 17 0 1 0 1847594096 3289088 506 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 506 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 273.12
Current children cumulated vsize (Kb) 5340

[startup+330.035 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 539 0 0 0 25655 2517 0 0 15 0 1 0 1847594096 3289088 509 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 509 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 281.74
Current children cumulated vsize (Kb) 5340

[startup+340.036 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 539 0 0 0 26414 2601 0 0 16 0 1 0 1847594096 3289088 509 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 509 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 290.17
Current children cumulated vsize (Kb) 5340

[startup+350.037 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 540 0 0 0 27208 2672 0 0 16 0 1 0 1847594096 3289088 510 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 510 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 298.82
Current children cumulated vsize (Kb) 5340

[startup+360.037 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 543 0 0 0 28019 2742 0 0 16 0 1 0 1847594096 3289088 513 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 513 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 307.63
Current children cumulated vsize (Kb) 5340

[startup+370.039 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 546 0 0 0 28823 2808 0 0 15 0 1 0 1847594096 3289088 516 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 516 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 316.33
Current children cumulated vsize (Kb) 5340

[startup+380.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 546 0 0 0 29591 2887 0 0 16 0 1 0 1847594096 3289088 516 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 516 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 324.8
Current children cumulated vsize (Kb) 5340

[startup+390.041 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 547 0 0 0 30382 2958 0 0 16 0 1 0 1847594096 3289088 517 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 517 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 333.42
Current children cumulated vsize (Kb) 5340

[startup+400.041 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 549 0 0 0 31198 3025 0 0 16 0 1 0 1847594096 3289088 519 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 519 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (Kb) 5340

[startup+410.042 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 551 0 0 0 32015 3086 0 0 16 0 1 0 1847594096 3289088 521 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 521 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 351.03
Current children cumulated vsize (Kb) 5340

[startup+420.044 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 32815 3156 0 0 15 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 359.73
Current children cumulated vsize (Kb) 5340

[startup+430.044 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 33612 3226 0 0 16 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 368.4
Current children cumulated vsize (Kb) 5340

[startup+440.045 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 34376 3306 0 0 15 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 376.84
Current children cumulated vsize (Kb) 5340

[startup+450.046 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 35146 3386 0 0 16 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 385.34
Current children cumulated vsize (Kb) 5340

[startup+460.047 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 35932 3458 0 0 16 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 393.92
Current children cumulated vsize (Kb) 5340

[startup+470.047 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 36701 3542 0 0 16 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (Kb) 5340

[startup+480.048 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 552 0 0 0 37454 3626 0 0 15 0 1 0 1847594096 3289088 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 522 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 410.82
Current children cumulated vsize (Kb) 5340

[startup+490.049 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 38239 3702 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 419.43
Current children cumulated vsize (Kb) 5340

[startup+500.05 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 553 0 0 0 39028 3774 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 428.04
Current children cumulated vsize (Kb) 5340

[startup+510.05 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 39795 3849 0 0 15 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 436.46
Current children cumulated vsize (Kb) 5340

[startup+520.051 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 40561 3933 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 444.96
Current children cumulated vsize (Kb) 5340

[startup+530.052 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 41359 4002 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 453.63
Current children cumulated vsize (Kb) 5340

[startup+540.052 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 42152 4071 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (Kb) 5340

[startup+550.053 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 42924 4152 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 470.78
Current children cumulated vsize (Kb) 5340

[startup+560.054 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 43703 4229 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 479.34
Current children cumulated vsize (Kb) 5340

[startup+570.055 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 553 0 0 0 44508 4296 0 0 16 0 1 0 1847594096 3289088 523 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 523 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 488.06
Current children cumulated vsize (Kb) 5340

[startup+580.055 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 554 0 0 0 45301 4368 0 0 15 0 1 0 1847594096 3289088 524 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 524 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 496.71
Current children cumulated vsize (Kb) 5340

[startup+590.056 s]
Raw data (loadavg): 1.20 1.08 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 554 0 0 0 46064 4453 0 0 16 0 1 0 1847594096 3289088 524 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 524 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 505.19
Current children cumulated vsize (Kb) 5340

[startup+600.057 s]
Raw data (loadavg): 1.25 1.10 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 554 0 0 0 46842 4529 0 0 15 0 1 0 1847594096 3289088 524 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 524 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 513.73
Current children cumulated vsize (Kb) 5340

[startup+610.059 s]
Raw data (loadavg): 1.21 1.09 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 555 0 0 0 47652 4592 0 0 16 0 1 0 1847594096 3289088 525 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 525 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 522.46
Current children cumulated vsize (Kb) 5340

[startup+620.059 s]
Raw data (loadavg): 1.18 1.09 1.02 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 556 0 0 0 48448 4665 0 0 16 0 1 0 1847594096 3289088 526 4294967295 134512640 134702520 3221223952 3221222788 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 803 526 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 531.15
Current children cumulated vsize (Kb) 5340

[startup+630.06 s]
Raw data (loadavg): 1.23 1.10 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 556 0 0 0 49209 4745 0 0 15 0 1 0 1847594096 3289088 526 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 803 526 413 48 0 755 0
[pid=21513] vsize: 3212
Current children cumulated CPU time (s) 539.56
Current children cumulated vsize (Kb) 5340

[startup+640.061 s]
Raw data (loadavg): 1.19 1.10 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 557 0 0 0 49984 4821 0 0 16 0 1 0 1847594096 3411968 527 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 527 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 548.07
Current children cumulated vsize (Kb) 5460

[startup+650.062 s]
Raw data (loadavg): 1.24 1.11 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 557 0 0 0 50788 4890 0 0 16 0 1 0 1847594096 3411968 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 527 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 556.8
Current children cumulated vsize (Kb) 5460

[startup+660.061 s]
Raw data (loadavg): 1.20 1.11 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 558 0 0 0 51587 4960 0 0 16 0 1 0 1847594096 3411968 528 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 528 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 565.49
Current children cumulated vsize (Kb) 5460

[startup+670.063 s]
Raw data (loadavg): 1.17 1.10 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 558 0 0 0 52346 5043 0 0 16 0 1 0 1847594096 3411968 528 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 528 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 573.91
Current children cumulated vsize (Kb) 5460

[startup+680.064 s]
Raw data (loadavg): 1.14 1.10 1.02 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 560 0 0 0 53126 5121 0 0 16 0 1 0 1847594096 3411968 530 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 530 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 582.49
Current children cumulated vsize (Kb) 5460

[startup+690.064 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 560 0 0 0 53924 5194 0 0 15 0 1 0 1847594096 3411968 530 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 530 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 591.2
Current children cumulated vsize (Kb) 5460

[startup+700.066 s]
Raw data (loadavg): 1.10 1.09 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 560 0 0 0 54735 5261 0 0 16 0 1 0 1847594096 3411968 530 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 530 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 599.98
Current children cumulated vsize (Kb) 5460

[startup+710.067 s]
Raw data (loadavg): 1.09 1.09 1.02 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 561 0 0 0 55506 5340 0 0 16 0 1 0 1847594096 3411968 531 4294967295 134512640 134702520 3221223952 3221222848 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 833 531 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 608.48
Current children cumulated vsize (Kb) 5460

[startup+720.068 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 561 0 0 0 56268 5423 0 0 16 0 1 0 1847594096 3411968 531 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 833 531 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 616.93
Current children cumulated vsize (Kb) 5460

[startup+730.068 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 562 0 0 0 57091 5486 0 0 16 0 1 0 1847594096 3411968 532 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 532 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 625.79
Current children cumulated vsize (Kb) 5460

[startup+740.069 s]
Raw data (loadavg): 1.05 1.08 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 563 0 0 0 57900 5555 0 0 16 0 1 0 1847594096 3411968 533 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 533 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 634.57
Current children cumulated vsize (Kb) 5460

[startup+750.071 s]
Raw data (loadavg): 1.04 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 564 0 0 0 58684 5628 0 0 15 0 1 0 1847594096 3411968 534 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 534 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 643.14
Current children cumulated vsize (Kb) 5460

[startup+760.072 s]
Raw data (loadavg): 1.04 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 564 0 0 0 59445 5710 0 0 15 0 1 0 1847594096 3411968 534 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 534 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 651.57
Current children cumulated vsize (Kb) 5460

[startup+770.072 s]
Raw data (loadavg): 1.03 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 564 0 0 0 60241 5783 0 0 16 0 1 0 1847594096 3411968 534 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 534 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 660.26
Current children cumulated vsize (Kb) 5460

[startup+780.073 s]
Raw data (loadavg): 1.02 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 565 0 0 0 61053 5852 0 0 16 0 1 0 1847594096 3411968 535 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 535 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 669.07
Current children cumulated vsize (Kb) 5460

[startup+790.074 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 568 0 0 0 61863 5916 0 0 16 0 1 0 1847594096 3411968 538 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 538 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 677.81
Current children cumulated vsize (Kb) 5460

[startup+800.074 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 568 0 0 0 62627 5997 0 0 16 0 1 0 1847594096 3411968 538 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 538 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 686.26
Current children cumulated vsize (Kb) 5460

[startup+810.075 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 568 0 0 0 63409 6076 0 0 16 0 1 0 1847594096 3411968 538 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 538 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 694.87
Current children cumulated vsize (Kb) 5460

[startup+820.076 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 569 0 0 0 64214 6148 0 0 16 0 1 0 1847594096 3411968 539 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 833 539 413 48 0 785 0
[pid=21513] vsize: 3332
Current children cumulated CPU time (s) 703.64
Current children cumulated vsize (Kb) 5460

[startup+830.077 s]
Raw data (loadavg): 1.05 1.07 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 634 0 0 0 65033 6214 0 0 16 0 1 0 1847594096 3616768 604 4294967295 134512640 134702520 3221223952 3221222848 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 883 604 413 48 0 835 0
[pid=21513] vsize: 3532
Current children cumulated CPU time (s) 712.49
Current children cumulated vsize (Kb) 5660

[startup+840.076 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 645 0 0 0 65830 6287 0 0 16 0 1 0 1847594096 3719168 615 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 615 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 721.19
Current children cumulated vsize (Kb) 5760

[startup+850.078 s]
Raw data (loadavg): 1.03 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 645 0 0 0 66593 6367 0 0 16 0 1 0 1847594096 3719168 615 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 615 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 729.62
Current children cumulated vsize (Kb) 5760

[startup+860.079 s]
Raw data (loadavg): 1.03 1.06 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 645 0 0 0 67412 6430 0 0 16 0 1 0 1847594096 3719168 615 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 615 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 738.44
Current children cumulated vsize (Kb) 5760

[startup+870.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 645 0 0 0 68250 6488 0 0 16 0 1 0 1847594096 3719168 615 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 615 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 747.4
Current children cumulated vsize (Kb) 5760

[startup+880.081 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 69080 6550 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 756.32
Current children cumulated vsize (Kb) 5760

[startup+890.082 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 69838 6635 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 764.75
Current children cumulated vsize (Kb) 5760

[startup+900.083 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 70613 6710 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 773.25
Current children cumulated vsize (Kb) 5760

[startup+910.083 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 71438 6768 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 782.08
Current children cumulated vsize (Kb) 5760

[startup+920.084 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 72263 6827 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 790.92
Current children cumulated vsize (Kb) 5760

[startup+930.085 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 73080 6887 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 799.69
Current children cumulated vsize (Kb) 5760

[startup+940.086 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 73844 6970 0 0 15 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 808.16
Current children cumulated vsize (Kb) 5760

[startup+950.087 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 74637 7042 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 816.81
Current children cumulated vsize (Kb) 5760

[startup+960.088 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 658 0 0 0 75464 7102 0 0 16 0 1 0 1847594096 3719168 628 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 628 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 825.68
Current children cumulated vsize (Kb) 5760

[startup+970.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 659 0 0 0 76292 7166 0 0 16 0 1 0 1847594096 3719168 629 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 629 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 834.6
Current children cumulated vsize (Kb) 5760

[startup+980.091 s]
Raw data (loadavg): 1.01 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 659 0 0 0 77097 7237 0 0 16 0 1 0 1847594096 3719168 629 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 629 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 843.36
Current children cumulated vsize (Kb) 5760

[startup+990.09 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 659 0 0 0 77864 7315 0 0 15 0 1 0 1847594096 3719168 629 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 629 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 851.81
Current children cumulated vsize (Kb) 5760

[startup+1000.09 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 659 0 0 0 78672 7384 0 0 16 0 1 0 1847594096 3719168 629 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 629 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 860.58
Current children cumulated vsize (Kb) 5760

[startup+1010.09 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 660 0 0 0 79496 7443 0 0 16 0 1 0 1847594096 3719168 630 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 630 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 869.41
Current children cumulated vsize (Kb) 5760

[startup+1020.09 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 661 0 0 0 80321 7507 0 0 16 0 1 0 1847594096 3719168 631 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 631 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 878.3
Current children cumulated vsize (Kb) 5760

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 662 0 0 0 81115 7576 0 0 16 0 1 0 1847594096 3719168 632 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 632 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 886.93
Current children cumulated vsize (Kb) 5760

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 662 0 0 0 81890 7655 0 0 16 0 1 0 1847594096 3719168 632 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 632 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 895.47
Current children cumulated vsize (Kb) 5760

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 663 0 0 0 82699 7721 0 0 16 0 1 0 1847594096 3719168 633 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 633 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 904.22
Current children cumulated vsize (Kb) 5760

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 664 0 0 0 83529 7780 0 0 16 0 1 0 1847594096 3719168 634 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 634 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 913.11
Current children cumulated vsize (Kb) 5760

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 666 0 0 0 84352 7837 0 0 16 0 1 0 1847594096 3719168 636 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 636 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 921.91
Current children cumulated vsize (Kb) 5760

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 666 0 0 0 85170 7902 0 0 15 0 1 0 1847594096 3719168 636 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 636 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 930.74
Current children cumulated vsize (Kb) 5760

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 666 0 0 0 85929 7984 0 0 16 0 1 0 1847594096 3719168 636 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 908 636 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 939.15
Current children cumulated vsize (Kb) 5760

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 666 0 0 0 86731 8052 0 0 16 0 1 0 1847594096 3719168 636 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 636 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 947.85
Current children cumulated vsize (Kb) 5760

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 666 0 0 0 87541 8118 0 0 16 0 1 0 1847594096 3719168 636 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 908 636 413 48 0 860 0
[pid=21513] vsize: 3632
Current children cumulated CPU time (s) 956.61
Current children cumulated vsize (Kb) 5760

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 667 0 0 0 88353 8181 0 0 16 0 1 0 1847594096 3846144 637 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 637 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 965.36
Current children cumulated vsize (Kb) 5884

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 667 0 0 0 89181 8238 0 0 16 0 1 0 1847594096 3846144 637 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 939 637 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 974.21
Current children cumulated vsize (Kb) 5884

[startup+1140.1 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 668 0 0 0 89941 8320 0 0 16 0 1 0 1847594096 3846144 638 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 638 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 982.63
Current children cumulated vsize (Kb) 5884

[startup+1150.1 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 669 0 0 0 90696 8408 0 0 16 0 1 0 1847594096 3846144 639 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 639 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 991.06
Current children cumulated vsize (Kb) 5884

[startup+1160.1 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 669 0 0 0 91520 8466 0 0 16 0 1 0 1847594096 3846144 639 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 639 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 999.88
Current children cumulated vsize (Kb) 5884

[startup+1170.11 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 670 0 0 0 92326 8534 0 0 16 0 1 0 1847594096 3846144 640 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 640 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1008.62
Current children cumulated vsize (Kb) 5884

[startup+1180.11 s]
Raw data (loadavg): 1.08 1.05 1.01 2/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) R 21510 21510 2660 0 -1 0 671 0 0 0 93151 8591 0 0 16 0 1 0 1847594096 3846144 641 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21513/statm): 939 641 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1017.44
Current children cumulated vsize (Kb) 5884

[startup+1190.11 s]
Raw data (loadavg): 1.06 1.04 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 673 0 0 0 93948 8657 0 0 16 0 1 0 1847594096 3846144 643 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 643 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1026.07
Current children cumulated vsize (Kb) 5884

[startup+1200.11 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 673 0 0 0 94706 8743 0 0 16 0 1 0 1847594096 3846144 643 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 643 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1034.51
Current children cumulated vsize (Kb) 5884

[startup+1210.11 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 674 0 0 0 95502 8815 0 0 16 0 1 0 1847594096 3846144 644 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 644 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1043.19
Current children cumulated vsize (Kb) 5884

[startup+1220.11 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 674 0 0 0 96321 8879 0 0 17 0 1 0 1847594096 3846144 644 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 644 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1052.02
Current children cumulated vsize (Kb) 5884

[startup+1230.11 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 675 0 0 0 97132 8944 0 0 16 0 1 0 1847594096 3846144 645 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 645 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1060.78
Current children cumulated vsize (Kb) 5884

[startup+1240.11 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 676 0 0 0 97955 9005 0 0 16 0 1 0 1847594096 3846144 646 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 646 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1069.62
Current children cumulated vsize (Kb) 5884

[startup+1250.11 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 677 0 0 0 98720 9092 0 0 15 0 1 0 1847594096 3846144 647 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 647 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1078.14
Current children cumulated vsize (Kb) 5884

[startup+1260.11 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 677 0 0 0 99475 9176 0 0 15 0 1 0 1847594096 3846144 647 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 647 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1086.53
Current children cumulated vsize (Kb) 5884

[startup+1270.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 100256 9253 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1095.11
Current children cumulated vsize (Kb) 5884

[startup+1280.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 101031 9328 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1103.61
Current children cumulated vsize (Kb) 5884

[startup+1290.12 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 101790 9413 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1112.05
Current children cumulated vsize (Kb) 5884

[startup+1300.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 102554 9497 0 0 15 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1120.53
Current children cumulated vsize (Kb) 5884

[startup+1310.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 103335 9572 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1129.09
Current children cumulated vsize (Kb) 5884

[startup+1320.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 104105 9654 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1137.61
Current children cumulated vsize (Kb) 5884

[startup+1330.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 104865 9737 0 0 15 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1146.04
Current children cumulated vsize (Kb) 5884

[startup+1340.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 105638 9813 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1154.53
Current children cumulated vsize (Kb) 5884

[startup+1350.12 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 106418 9888 0 0 15 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1163.08
Current children cumulated vsize (Kb) 5884

[startup+1360.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 107198 9961 0 0 15 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1171.61
Current children cumulated vsize (Kb) 5884

[startup+1370.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 107948 10049 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1179.99
Current children cumulated vsize (Kb) 5884

[startup+1380.12 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 108731 10120 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1188.53
Current children cumulated vsize (Kb) 5884

[startup+1390.12 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 109515 10192 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1197.09
Current children cumulated vsize (Kb) 5884

[startup+1400.12 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 110292 10265 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1205.59
Current children cumulated vsize (Kb) 5884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1400.12 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 21513
Raw data (/proc/21510/stat): 21510 (vallstSAT2005PB) S 21509 21510 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847594087 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/21510/statm): 532 242 485 147 0 385 0
[pid=21510] vsize: 2128
Raw data (/proc/21513/stat): 21513 (vallst) T 21510 21510 2660 0 -1 0 678 0 0 0 110292 10265 0 0 16 0 1 0 1847594096 3846144 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21513/statm): 939 648 413 48 0 891 0
[pid=21513] vsize: 3756
Current children cumulated CPU time (s) 1205.59
Current children cumulated vsize (Kb) 5884

Sending SIGTERM to -21510
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=21515
New process pid=21516
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=21513) exited with status: 3
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/21473/stat
open syscall for file /proc/21473/status
open syscall for file /proc/21473/cmdline
open syscall for file /proc/21473/environ
open syscall for file /proc/21509/stat
open syscall for file /proc/21509/status
open syscall for file /proc/21509/cmdline
open syscall for file /proc/21509/environ
open syscall for file /proc/21510/stat
open syscall for file /proc/21510/status
open syscall for file /proc/21510/cmdline
open syscall for file /proc/21510/environ
open syscall for file /proc/21515/stat
open syscall for file /proc/21515/status
open syscall for file /proc/21515/cmdline
open syscall for file /proc/21515/environ
open syscall for file /proc/21516/stat
open syscall for file /proc/21516/status
open syscall for file /proc/21516/cmdline
open syscall for file /proc/21516/environ
One traced child (pid=21515) exited with status: 0
One traced child (pid=21516) exited with status: 0
New process pid=21517
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=21517) exited with status: 0
New process pid=21518
execve syscall for /bin/nice executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=21518) exited with status: 0
New process pid=21519
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=21519) exited with status: 0
New process pid=21520
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=21520) exited with status: 0
One traced child (pid=21510) 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): 1400.68
CPU time (s): 1205.75
CPU user time (s): 1102.99
CPU system time (s): 102.761
CPU usage (%): 86.083
Max. virtual memory (cumulated for all children) (Kb): 5884

Verifier Data

ERROR: no interpretation found !