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

Namesubmitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUMebc55cfc194a279163f52418008eccf2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70
Optimality of the best value was proved NO
Number of terms in the objective function 2460
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2460
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2460
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.14
Number of variables2459
Total number of constraints873
Number of constraints which are clauses873
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint146

Trace number 1272

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-18 14:25:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7097 boxname=wulflinc26 idbench=65 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc26/normalized-ex5.pi.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc26/normalized-ex5.pi.opb 0
IDLAUNCH: 7097
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        922660 kB
Buffers:         35080 kB
Cached:          49732 kB
SwapCached:        868 kB
Active:          64860 kB
Inactive:        22608 kB
HighTotal:      131008 kB
HighFree:        78540 kB
LowTotal:       903652 kB
LowFree:        844120 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19012 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 14:48:22 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 7097 7 1200.41 0

Solver Data

1:
seed: 0
Nr of vars set: 28  (#equs: 0)
Nr of vars set: 28  (#equs: 0)
#decisions: 106;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  2326 (133:>=*);
#decisions: 112;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2327 (132:>=*);
#decisions: 2790;  #end-nodes: 160;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2335 (124:>=*);
#decisions: 100;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2336 (123:>=*);
#decisions: 131;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2337 (122:>=*);
#decisions: 855;  #end-nodes: 387;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 67 / 81 (81)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2338 (121:>=*);
#decisions: 2871;  #end-nodes: 1305;
#proof improvement attempts: 0;  #restarts: 16
Current batch, end-nodes: 0 / 84 (84)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2339 (120:>=*);
#decisions: 5194;  #end-nodes: 1304;
#proof improvement attempts: 0;  #restarts: 16
Current batch, end-nodes: 0 / 84 (84)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2342 (117:>=*);
#decisions: 106;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2343 (116:>=*);
#decisions: 20952;  #end-nodes: 9520;
#proof improvement attempts: 0;  #restarts: 103
Current batch, end-nodes: 0 / 105 (105)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2345 (114:>=*);
#decisions: 88;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2346 (113:>=*);
#decisions: 73296;  #end-nodes: 43531;
#proof improvement attempts: 0;  #restarts: 352
Current batch, end-nodes: 39 / 168 (168)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2347 (112:>=*);
#decisions: 311371;  #end-nodes: 223399;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 343 (343)
#axs: 846, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 2347 (112:>=*)

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

2:
seed: 0
Nr of vars set: 28  (#equs: 0)
Nr of vars set: 28  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 28  (#equs: 0)
Time taken: 4 min, 56 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (21546) - No such process

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/21541/stat): 21541 (vallstSAT2005PB) R 21540 21541 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841966522 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21541/statm): 174 3 169 147 0 27 0
[pid=21541] 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=21542
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=21542) exited with status: 0
New process pid=21543
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=21543) exited with status: 0
New process pid=21544
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/wulflinc26/normalized-ex5.pi.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0039 s]
Raw data (loadavg): 1.00 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 385 0 0 0 136 263 0 0 15 0 1 0 1841966530 2883584 355 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 704 355 413 48 0 656 0
[pid=21544] vsize: 2816
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (Kb) 4944

[startup+20.0046 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 467 0 0 0 936 331 0 0 18 0 1 0 1841966530 4550656 437 4294967295 134512640 134702520 3221223968 3221223248 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1111 437 413 48 0 1063 0
[pid=21544] vsize: 4444
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (Kb) 6572

[startup+30.0053 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 475 0 0 0 1748 393 0 0 16 0 1 0 1841966530 4685824 445 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 445 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 21.43
Current children cumulated vsize (Kb) 6704

[startup+40.006 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 482 0 0 0 2561 459 0 0 16 0 1 0 1841966530 4685824 452 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 452 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 30.22
Current children cumulated vsize (Kb) 6704

[startup+50.0067 s]
Raw data (loadavg): 1.00 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 491 0 0 0 3370 524 0 0 18 0 1 0 1841966530 4685824 461 4294967295 134512640 134702520 3221223968 3221223248 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 461 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 38.96
Current children cumulated vsize (Kb) 6704

[startup+60.0074 s]
Raw data (loadavg): 1.07 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 491 0 0 0 3997 646 0 0 15 0 1 0 1841966530 4685824 461 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 461 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 46.45
Current children cumulated vsize (Kb) 6704

[startup+70.008 s]
Raw data (loadavg): 1.13 1.10 1.07 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 492 0 0 0 4619 770 0 0 16 0 1 0 1841966530 4685824 462 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 462 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 53.91
Current children cumulated vsize (Kb) 6704

[startup+80.0087 s]
Raw data (loadavg): 1.11 1.10 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 500 0 0 0 5381 852 0 0 17 0 1 0 1841966530 4685824 470 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 470 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 62.35
Current children cumulated vsize (Kb) 6704

[startup+90.0094 s]
Raw data (loadavg): 1.10 1.09 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 501 0 0 0 6194 913 0 0 17 0 1 0 1841966530 4685824 471 4294967295 134512640 134702520 3221223968 3221223248 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 471 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 71.09
Current children cumulated vsize (Kb) 6704

[startup+100.01 s]
Raw data (loadavg): 1.08 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 507 0 0 0 6980 985 0 0 15 0 1 0 1841966530 4685824 477 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1144 477 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 79.67
Current children cumulated vsize (Kb) 6704

[startup+110.012 s]
Raw data (loadavg): 1.07 1.09 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 507 0 0 0 7586 1121 0 0 15 0 1 0 1841966530 4685824 477 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 477 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 87.09
Current children cumulated vsize (Kb) 6704

[startup+120.012 s]
Raw data (loadavg): 1.06 1.08 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 508 0 0 0 8167 1262 0 0 16 0 1 0 1841966530 4685824 478 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1144 478 413 48 0 1096 0
[pid=21544] vsize: 4576
Current children cumulated CPU time (s) 94.31
Current children cumulated vsize (Kb) 6704

[startup+130.013 s]
Raw data (loadavg): 1.05 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 510 0 0 0 9008 1315 0 0 18 0 1 0 1841966530 4792320 480 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 480 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 103.25
Current children cumulated vsize (Kb) 6808

[startup+140.014 s]
Raw data (loadavg): 1.04 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 515 0 0 0 9828 1375 0 0 17 0 1 0 1841966530 4792320 485 4294967295 134512640 134702520 3221223968 3221223088 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 485 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 112.05
Current children cumulated vsize (Kb) 6808

[startup+150.015 s]
Raw data (loadavg): 1.03 1.07 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 522 0 0 0 10643 1440 0 0 17 0 1 0 1841966530 4792320 492 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 492 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 120.85
Current children cumulated vsize (Kb) 6808

[startup+160.016 s]
Raw data (loadavg): 1.03 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 524 0 0 0 11373 1536 0 0 15 0 1 0 1841966530 4792320 494 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 494 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 129.11
Current children cumulated vsize (Kb) 6808

[startup+170.017 s]
Raw data (loadavg): 1.02 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 524 0 0 0 11989 1668 0 0 15 0 1 0 1841966530 4792320 494 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 494 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 136.59
Current children cumulated vsize (Kb) 6808

[startup+180.018 s]
Raw data (loadavg): 1.09 1.08 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 528 0 0 0 12613 1794 0 0 15 0 1 0 1841966530 4792320 498 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 498 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 144.09
Current children cumulated vsize (Kb) 6808

[startup+190.019 s]
Raw data (loadavg): 1.08 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 533 0 0 0 13497 1833 0 0 19 0 1 0 1841966530 4792320 503 4294967295 134512640 134702520 3221223968 3221223088 134578856 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 503 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 153.32
Current children cumulated vsize (Kb) 6808

[startup+200.02 s]
Raw data (loadavg): 1.07 1.08 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 538 0 0 0 14320 1895 0 0 17 0 1 0 1841966530 4792320 508 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 508 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (Kb) 6808

[startup+210.021 s]
Raw data (loadavg): 1.06 1.07 1.06 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 541 0 0 0 15224 1927 0 0 18 0 1 0 1841966530 4792320 511 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 511 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 171.53
Current children cumulated vsize (Kb) 6808

[startup+220.022 s]
Raw data (loadavg): 1.05 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 544 0 0 0 15978 2011 0 0 15 0 1 0 1841966530 4792320 514 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 514 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 179.91
Current children cumulated vsize (Kb) 6808

[startup+230.022 s]
Raw data (loadavg): 1.04 1.07 1.06 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 544 0 0 0 16590 2144 0 0 15 0 1 0 1841966530 4792320 514 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 514 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 187.36
Current children cumulated vsize (Kb) 6808

[startup+240.023 s]
Raw data (loadavg): 1.03 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 547 0 0 0 17277 2248 0 0 16 0 1 0 1841966530 4792320 517 4294967295 134512640 134702520 3221223968 3221223088 134572636 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 517 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 195.27
Current children cumulated vsize (Kb) 6808

[startup+250.024 s]
Raw data (loadavg): 1.03 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 552 0 0 0 18168 2287 0 0 19 0 1 0 1841966530 4792320 522 4294967295 134512640 134702520 3221223968 3221223088 134572601 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 522 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (Kb) 6808

[startup+260.025 s]
Raw data (loadavg): 1.02 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 555 0 0 0 19063 2323 0 0 22 0 1 0 1841966530 4792320 525 4294967295 134512640 134702520 3221223968 3221223248 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 525 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 213.88
Current children cumulated vsize (Kb) 6808

[startup+270.026 s]
Raw data (loadavg): 1.02 1.06 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 559 0 0 0 19877 2383 0 0 17 0 1 0 1841966530 4792320 529 4294967295 134512640 134702520 3221223968 3221223248 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 529 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 222.62
Current children cumulated vsize (Kb) 6808

[startup+280.026 s]
Raw data (loadavg): 1.02 1.05 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 561 0 0 0 20691 2447 0 0 17 0 1 0 1841966530 4792320 531 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 531 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 231.4
Current children cumulated vsize (Kb) 6808

[startup+290.028 s]
Raw data (loadavg): 1.01 1.05 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 562 0 0 0 21513 2507 0 0 17 0 1 0 1841966530 4792320 532 4294967295 134512640 134702520 3221223968 3221223088 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 532 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 240.22
Current children cumulated vsize (Kb) 6808

[startup+300.029 s]
Raw data (loadavg): 1.01 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 562 0 0 0 22285 2583 0 0 15 0 1 0 1841966530 4792320 532 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1170 532 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 248.7
Current children cumulated vsize (Kb) 6808

[startup+310.031 s]
Raw data (loadavg): 1.01 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 562 0 0 0 22906 2716 0 0 16 0 1 0 1841966530 4792320 532 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1170 532 413 48 0 1122 0
[pid=21544] vsize: 4680
Current children cumulated CPU time (s) 256.24
Current children cumulated vsize (Kb) 6808

[startup+320.031 s]
Raw data (loadavg): 1.01 1.05 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 564 0 0 0 23558 2834 0 0 16 0 1 0 1841966530 4898816 534 4294967295 134512640 134702520 3221223968 3221223248 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 534 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 263.94
Current children cumulated vsize (Kb) 6912

[startup+330.031 s]
Raw data (loadavg): 1.00 1.04 1.05 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 565 0 0 0 24461 2868 0 0 19 0 1 0 1841966530 4898816 535 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 535 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 273.31
Current children cumulated vsize (Kb) 6912

[startup+340.032 s]
Raw data (loadavg): 1.00 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 566 0 0 0 25286 2932 0 0 15 0 1 0 1841966530 4898816 536 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 536 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (Kb) 6912

[startup+350.032 s]
Raw data (loadavg): 1.00 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 566 0 0 0 26141 2980 0 0 16 0 1 0 1841966530 4898816 536 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 536 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 291.23
Current children cumulated vsize (Kb) 6912

[startup+360.034 s]
Raw data (loadavg): 1.00 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 566 0 0 0 26752 3112 0 0 15 0 1 0 1841966530 4898816 536 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 536 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 298.66
Current children cumulated vsize (Kb) 6912

[startup+370.035 s]
Raw data (loadavg): 1.08 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 567 0 0 0 27355 3245 0 0 16 0 1 0 1841966530 4898816 537 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 537 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 306.02
Current children cumulated vsize (Kb) 6912

[startup+380.034 s]
Raw data (loadavg): 1.07 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 568 0 0 0 28163 3315 0 0 16 0 1 0 1841966530 4898816 538 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 538 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 314.8
Current children cumulated vsize (Kb) 6912

[startup+390.035 s]
Raw data (loadavg): 1.06 1.05 1.05 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 571 0 0 0 28960 3379 0 0 15 0 1 0 1841966530 4898816 541 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 541 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 323.41
Current children cumulated vsize (Kb) 6912

[startup+400.036 s]
Raw data (loadavg): 1.05 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 573 0 0 0 29767 3444 0 0 15 0 1 0 1841966530 4898816 543 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 543 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 332.13
Current children cumulated vsize (Kb) 6912

[startup+410.036 s]
Raw data (loadavg): 1.04 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 573 0 0 0 30376 3579 0 0 15 0 1 0 1841966530 4898816 543 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 543 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (Kb) 6912

[startup+420.037 s]
Raw data (loadavg): 1.03 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 574 0 0 0 30966 3715 0 0 15 0 1 0 1841966530 4898816 544 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 544 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 346.83
Current children cumulated vsize (Kb) 6912

[startup+430.038 s]
Raw data (loadavg): 1.03 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 575 0 0 0 31859 3750 0 0 19 0 1 0 1841966530 4898816 545 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 545 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 356.11
Current children cumulated vsize (Kb) 6912

[startup+440.038 s]
Raw data (loadavg): 1.02 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 576 0 0 0 32747 3787 0 0 17 0 1 0 1841966530 4898816 546 4294967295 134512640 134702520 3221223968 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 546 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 365.36
Current children cumulated vsize (Kb) 6912

[startup+450.039 s]
Raw data (loadavg): 1.02 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 577 0 0 0 33590 3839 0 0 16 0 1 0 1841966530 4898816 547 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 547 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 374.31
Current children cumulated vsize (Kb) 6912

[startup+460.041 s]
Raw data (loadavg): 1.02 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 580 0 0 0 34456 3885 0 0 18 0 1 0 1841966530 4898816 550 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 550 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 383.43
Current children cumulated vsize (Kb) 6912

[startup+470.041 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 580 0 0 0 35086 4013 0 0 16 0 1 0 1841966530 4898816 550 4294967295 134512640 134702520 3221223968 3221222864 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 550 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 391.01
Current children cumulated vsize (Kb) 6912

[startup+480.041 s]
Raw data (loadavg): 1.09 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 581 0 0 0 35705 4144 0 0 15 0 1 0 1841966530 4898816 551 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 551 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (Kb) 6912

[startup+490.043 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 585 0 0 0 36517 4207 0 0 17 0 1 0 1841966530 4898816 555 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 555 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 407.26
Current children cumulated vsize (Kb) 6912

[startup+500.043 s]
Raw data (loadavg): 1.06 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 588 0 0 0 37406 4248 0 0 21 0 1 0 1841966530 4898816 558 4294967295 134512640 134702520 3221223968 3221222864 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 558 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 416.56
Current children cumulated vsize (Kb) 6912

[startup+510.044 s]
Raw data (loadavg): 1.05 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 591 0 0 0 38285 4292 0 0 15 0 1 0 1841966530 4898816 561 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 561 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 425.79
Current children cumulated vsize (Kb) 6912

[startup+520.045 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 594 0 0 0 39132 4344 0 0 19 0 1 0 1841966530 4898816 564 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 564 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 434.78
Current children cumulated vsize (Kb) 6912

[startup+530.046 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 595 0 0 0 39907 4421 0 0 16 0 1 0 1841966530 4898816 565 4294967295 134512640 134702520 3221223968 3221222864 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 565 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (Kb) 6912

[startup+540.046 s]
Raw data (loadavg): 1.11 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 595 0 0 0 40508 4561 0 0 15 0 1 0 1841966530 4898816 565 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 565 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 450.71
Current children cumulated vsize (Kb) 6912

[startup+550.047 s]
Raw data (loadavg): 1.09 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 597 0 0 0 41254 4647 0 0 19 0 1 0 1841966530 4898816 567 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 567 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 459.03
Current children cumulated vsize (Kb) 6912

[startup+560.049 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 600 0 0 0 42152 4681 0 0 21 0 1 0 1841966530 4898816 570 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1196 570 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 468.35
Current children cumulated vsize (Kb) 6912

[startup+570.049 s]
Raw data (loadavg): 1.07 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 603 0 0 0 43021 4727 0 0 16 0 1 0 1841966530 4898816 573 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 573 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 477.5
Current children cumulated vsize (Kb) 6912

[startup+580.05 s]
Raw data (loadavg): 1.06 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 609 0 0 0 43853 4784 0 0 16 0 1 0 1841966530 4898816 579 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1196 579 413 48 0 1148 0
[pid=21544] vsize: 4784
Current children cumulated CPU time (s) 486.39
Current children cumulated vsize (Kb) 6912

[startup+590.052 s]
Raw data (loadavg): 1.05 1.04 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 611 0 0 0 44749 4821 0 0 18 0 1 0 1841966530 5005312 581 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 581 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 495.72
Current children cumulated vsize (Kb) 7016

[startup+600.052 s]
Raw data (loadavg): 1.04 1.04 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 613 0 0 0 45541 4892 0 0 15 0 1 0 1841966530 5005312 583 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 583 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 504.35
Current children cumulated vsize (Kb) 7016

[startup+610.054 s]
Raw data (loadavg): 1.03 1.04 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 613 0 0 0 46146 5026 0 0 16 0 1 0 1841966530 5005312 583 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 583 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 511.74
Current children cumulated vsize (Kb) 7016

[startup+620.055 s]
Raw data (loadavg): 1.10 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 616 0 0 0 46812 5139 0 0 16 0 1 0 1841966530 5005312 586 4294967295 134512640 134702520 3221223968 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 586 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 519.53
Current children cumulated vsize (Kb) 7016

[startup+630.054 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 619 0 0 0 47642 5195 0 0 17 0 1 0 1841966530 5005312 589 4294967295 134512640 134702520 3221223968 3221223088 134586058 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 589 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 528.39
Current children cumulated vsize (Kb) 7016

[startup+640.056 s]
Raw data (loadavg): 1.07 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 622 0 0 0 48530 5232 0 0 18 0 1 0 1841966530 5005312 592 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 592 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (Kb) 7016

[startup+650.057 s]
Raw data (loadavg): 1.14 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 626 0 0 0 49418 5271 0 0 20 0 1 0 1841966530 5005312 596 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 596 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 546.91
Current children cumulated vsize (Kb) 7016

[startup+660.058 s]
Raw data (loadavg): 1.12 1.06 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 631 0 0 0 50280 5319 0 0 16 0 1 0 1841966530 5005312 601 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 601 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 556.01
Current children cumulated vsize (Kb) 7016

[startup+670.059 s]
Raw data (loadavg): 1.17 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 631 0 0 0 50892 5452 0 0 16 0 1 0 1841966530 5005312 601 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 601 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 563.46
Current children cumulated vsize (Kb) 7016

[startup+680.06 s]
Raw data (loadavg): 1.15 1.07 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 632 0 0 0 51495 5585 0 0 15 0 1 0 1841966530 5005312 602 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 602 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 570.82
Current children cumulated vsize (Kb) 7016

[startup+690.061 s]
Raw data (loadavg): 1.12 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 633 0 0 0 52347 5636 0 0 17 0 1 0 1841966530 5005312 603 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 603 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 579.85
Current children cumulated vsize (Kb) 7016

[startup+700.061 s]
Raw data (loadavg): 1.10 1.07 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 635 0 0 0 53295 5656 0 0 16 0 1 0 1841966530 5005312 605 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 605 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 589.53
Current children cumulated vsize (Kb) 7016

[startup+710.063 s]
Raw data (loadavg): 1.09 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 637 0 0 0 54221 5684 0 0 25 0 1 0 1841966530 5005312 607 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 607 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 599.07
Current children cumulated vsize (Kb) 7016

[startup+720.064 s]
Raw data (loadavg): 1.07 1.06 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 642 0 0 0 55040 5745 0 0 16 0 1 0 1841966530 5005312 612 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 612 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 607.87
Current children cumulated vsize (Kb) 7016

[startup+730.064 s]
Raw data (loadavg): 1.06 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 645 0 0 0 55926 5787 0 0 20 0 1 0 1841966530 5005312 615 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 615 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 617.15
Current children cumulated vsize (Kb) 7016

[startup+740.066 s]
Raw data (loadavg): 1.05 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 646 0 0 0 56801 5829 0 0 16 0 1 0 1841966530 5005312 616 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 616 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 626.32
Current children cumulated vsize (Kb) 7016

[startup+750.067 s]
Raw data (loadavg): 1.04 1.05 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 646 0 0 0 57412 5963 0 0 15 0 1 0 1841966530 5005312 616 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 616 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 633.77
Current children cumulated vsize (Kb) 7016

[startup+760.068 s]
Raw data (loadavg): 1.04 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 647 0 0 0 58041 6090 0 0 17 0 1 0 1841966530 5005312 617 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 617 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 641.33
Current children cumulated vsize (Kb) 7016

[startup+770.069 s]
Raw data (loadavg): 1.03 1.05 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 650 0 0 0 58921 6131 0 0 18 0 1 0 1841966530 5005312 620 4294967295 134512640 134702520 3221223968 3221223088 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 620 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 650.54
Current children cumulated vsize (Kb) 7016

[startup+780.07 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 653 0 0 0 59823 6164 0 0 16 0 1 0 1841966530 5005312 623 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 623 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 659.89
Current children cumulated vsize (Kb) 7016

[startup+790.071 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 657 0 0 0 60711 6200 0 0 18 0 1 0 1841966530 5005312 627 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 627 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 669.13
Current children cumulated vsize (Kb) 7016

[startup+800.072 s]
Raw data (loadavg): 1.02 1.04 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 659 0 0 0 61607 6237 0 0 17 0 1 0 1841966530 5005312 629 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 629 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 678.46
Current children cumulated vsize (Kb) 7016

[startup+810.074 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 661 0 0 0 62588 6244 0 0 25 0 1 0 1841966530 5005312 631 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 631 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 688.34
Current children cumulated vsize (Kb) 7016

[startup+820.074 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 663 0 0 0 63490 6279 0 0 23 0 1 0 1841966530 5005312 633 4294967295 134512640 134702520 3221223968 3221223088 134578775 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 633 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 697.71
Current children cumulated vsize (Kb) 7016

[startup+830.075 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 664 0 0 0 64388 6315 0 0 16 0 1 0 1841966530 5005312 634 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 634 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 707.05
Current children cumulated vsize (Kb) 7016

[startup+840.076 s]
Raw data (loadavg): 1.09 1.05 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 664 0 0 0 65008 6449 0 0 15 0 1 0 1841966530 5005312 634 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 634 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 714.59
Current children cumulated vsize (Kb) 7016

[startup+850.076 s]
Raw data (loadavg): 1.07 1.05 1.03 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 665 0 0 0 65651 6574 0 0 16 0 1 0 1841966530 5005312 635 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 635 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 722.27
Current children cumulated vsize (Kb) 7016

[startup+860.078 s]
Raw data (loadavg): 1.13 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 666 0 0 0 66628 6582 0 0 25 0 1 0 1841966530 5005312 636 4294967295 134512640 134702520 3221223968 3221223248 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 636 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 732.12
Current children cumulated vsize (Kb) 7016

[startup+870.079 s]
Raw data (loadavg): 1.11 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 669 0 0 0 67531 6617 0 0 25 0 1 0 1841966530 5005312 639 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 639 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 741.5
Current children cumulated vsize (Kb) 7016

[startup+880.08 s]
Raw data (loadavg): 1.10 1.06 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 671 0 0 0 68436 6648 0 0 17 0 1 0 1841966530 5005312 641 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 641 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 750.86
Current children cumulated vsize (Kb) 7016

[startup+890.08 s]
Raw data (loadavg): 1.08 1.06 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 673 0 0 0 69410 6657 0 0 25 0 1 0 1841966530 5005312 643 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 643 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 760.69
Current children cumulated vsize (Kb) 7016

[startup+900.081 s]
Raw data (loadavg): 1.07 1.06 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 674 0 0 0 70317 6688 0 0 25 0 1 0 1841966530 5005312 644 4294967295 134512640 134702520 3221223968 3221223088 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 644 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 7016

[startup+910.082 s]
Raw data (loadavg): 1.06 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 676 0 0 0 71212 6725 0 0 20 0 1 0 1841966530 5005312 646 4294967295 134512640 134702520 3221223968 3221223088 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 646 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 779.39
Current children cumulated vsize (Kb) 7016

[startup+920.082 s]
Raw data (loadavg): 1.05 1.05 1.03 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 679 0 0 0 72109 6759 0 0 19 0 1 0 1841966530 5005312 649 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 649 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 788.7
Current children cumulated vsize (Kb) 7016

[startup+930.083 s]
Raw data (loadavg): 1.12 1.07 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 681 0 0 0 72968 6800 0 0 15 0 1 0 1841966530 5005312 651 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1222 651 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 797.7
Current children cumulated vsize (Kb) 7016

[startup+940.084 s]
Raw data (loadavg): 1.18 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 681 0 0 0 73573 6932 0 0 15 0 1 0 1841966530 5005312 651 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1222 651 413 48 0 1174 0
[pid=21544] vsize: 4888
Current children cumulated CPU time (s) 805.07
Current children cumulated vsize (Kb) 7016

[startup+950.084 s]
Raw data (loadavg): 1.15 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 682 0 0 0 74175 7065 0 0 17 0 1 0 1841966530 5111808 652 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 652 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 812.42
Current children cumulated vsize (Kb) 7120

[startup+960.084 s]
Raw data (loadavg): 1.21 1.09 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 684 0 0 0 75085 7097 0 0 16 0 1 0 1841966530 5111808 654 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1248 654 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (Kb) 7120

[startup+970.085 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 686 0 0 0 76042 7114 0 0 25 0 1 0 1841966530 5111808 656 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 656 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 831.58
Current children cumulated vsize (Kb) 7120

[startup+980.085 s]
Raw data (loadavg): 1.15 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 688 0 0 0 76943 7146 0 0 25 0 1 0 1841966530 5111808 658 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 658 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 840.91
Current children cumulated vsize (Kb) 7120

[startup+990.087 s]
Raw data (loadavg): 1.13 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 690 0 0 0 77846 7178 0 0 18 0 1 0 1841966530 5111808 660 4294967295 134512640 134702520 3221223968 3221223248 134553369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 660 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 850.26
Current children cumulated vsize (Kb) 7120

[startup+1000.09 s]
Raw data (loadavg): 1.11 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 691 0 0 0 78827 7185 0 0 25 0 1 0 1841966530 5111808 661 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 661 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (Kb) 7120

[startup+1010.09 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 693 0 0 0 79728 7219 0 0 21 0 1 0 1841966530 5111808 663 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 663 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 869.49
Current children cumulated vsize (Kb) 7120

[startup+1020.09 s]
Raw data (loadavg): 1.08 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 695 0 0 0 80630 7255 0 0 16 0 1 0 1841966530 5111808 665 4294967295 134512640 134702520 3221223968 3221223248 134553426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 665 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 878.87
Current children cumulated vsize (Kb) 7120

[startup+1030.09 s]
Raw data (loadavg): 1.06 1.07 1.04 2/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) R 21541 21541 16528 0 -1 0 697 0 0 0 81562 7276 0 0 17 0 1 0 1841966530 5111808 667 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 667 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 888.4
Current children cumulated vsize (Kb) 7120

[startup+1040.09 s]
Raw data (loadavg): 1.13 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 697 0 0 0 82174 7406 0 0 15 0 1 0 1841966530 5111808 667 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21544/statm): 1248 667 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 895.82
Current children cumulated vsize (Kb) 7120

[startup+1050.09 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 21544
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841966522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 242 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21544/stat): 21544 (vallst) T 21541 21541 16528 0 -1 0 698 0 0 0 82775 7537 0 0 15 0 1 0 1841966530 5111808 668 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21544/statm): 1248 668 413 48 0 1200 0
[pid=21544] vsize: 4992
Current children cumulated CPU time (s) 903.14
Current children cumulated vsize (Kb) 7120
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=21544) exited with status: 2
New process pid=21545
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=21545) exited with status: 0
New process pid=21546
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+1060.09 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 362 0 0 0 582 109 0 0 18 0 1 0 1842071644 2883584 333 4294967295 134512640 134702520 3221223712 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 704 333 413 48 0 656 0
[pid=21546] vsize: 2816
Current children cumulated CPU time (s) 910.8
Current children cumulated vsize (Kb) 4944

[startup+1070.09 s]
Raw data (loadavg): 1.08 1.07 1.04 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 362 0 0 0 1220 226 0 0 18 0 1 0 1842071644 2883584 333 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 704 333 413 48 0 656 0
[pid=21546] vsize: 2816
Current children cumulated CPU time (s) 918.35
Current children cumulated vsize (Kb) 4944

[startup+1080.09 s]
Raw data (loadavg): 1.06 1.07 1.04 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 430 0 0 0 1992 301 0 0 19 0 1 0 1842071644 4546560 401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1110 401 413 48 0 1062 0
[pid=21546] vsize: 4440
Current children cumulated CPU time (s) 926.82
Current children cumulated vsize (Kb) 6568

[startup+1090.09 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 438 0 0 0 2835 356 0 0 25 0 1 0 1842071644 4546560 409 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1110 409 413 48 0 1062 0
[pid=21546] vsize: 4440
Current children cumulated CPU time (s) 935.8
Current children cumulated vsize (Kb) 6568

[startup+1100.1 s]
Raw data (loadavg): 1.04 1.07 1.04 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 446 0 0 0 3657 418 0 0 18 0 1 0 1842071644 4653056 417 4294967295 134512640 134702520 3221223712 3221222784 134617475 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 417 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 944.64
Current children cumulated vsize (Kb) 6672

[startup+1110.1 s]
Raw data (loadavg): 1.04 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 448 0 0 0 4407 503 0 0 18 0 1 0 1842071644 4653056 419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 419 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 952.99
Current children cumulated vsize (Kb) 6672

[startup+1120.1 s]
Raw data (loadavg): 1.03 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 448 0 0 0 5019 633 0 0 18 0 1 0 1842071644 4653056 419 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 419 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 960.41
Current children cumulated vsize (Kb) 6672

[startup+1130.1 s]
Raw data (loadavg): 1.03 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 454 0 0 0 5716 735 0 0 18 0 1 0 1842071644 4653056 425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 425 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 968.4
Current children cumulated vsize (Kb) 6672

[startup+1140.1 s]
Raw data (loadavg): 1.02 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 459 0 0 0 6612 772 0 0 24 0 1 0 1842071644 4653056 430 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 430 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 977.73
Current children cumulated vsize (Kb) 6672

[startup+1150.1 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 465 0 0 0 7428 833 0 0 25 0 1 0 1842071644 4653056 436 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 436 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 986.5
Current children cumulated vsize (Kb) 6672

[startup+1160.1 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 468 0 0 0 8326 866 0 0 25 0 1 0 1842071644 4653056 439 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 439 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 995.81
Current children cumulated vsize (Kb) 6672

[startup+1170.1 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 471 0 0 0 9078 947 0 0 18 0 1 0 1842071644 4653056 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 442 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1004.14
Current children cumulated vsize (Kb) 6672

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 471 0 0 0 9676 1080 0 0 18 0 1 0 1842071644 4653056 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 442 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1011.45
Current children cumulated vsize (Kb) 6672

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 473 0 0 0 10407 1174 0 0 25 0 1 0 1842071644 4653056 444 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1136 444 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1019.7
Current children cumulated vsize (Kb) 6672

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 478 0 0 0 11301 1210 0 0 25 0 1 0 1842071644 4653056 449 4294967295 134512640 134702520 3221223712 3221222832 134578775 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1136 449 413 48 0 1088 0
[pid=21546] vsize: 4544
Current children cumulated CPU time (s) 1029
Current children cumulated vsize (Kb) 6672

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 483 0 0 0 12144 1263 0 0 19 0 1 0 1842071644 4759552 454 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 454 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1037.96
Current children cumulated vsize (Kb) 6776

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.04 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 489 0 0 0 13008 1308 0 0 25 0 1 0 1842071644 4759552 460 4294967295 134512640 134702520 3221223712 3221222992 134553430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 460 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1047.05
Current children cumulated vsize (Kb) 6776

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 494 0 0 0 13783 1383 0 0 18 0 1 0 1842071644 4759552 465 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 465 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1055.55
Current children cumulated vsize (Kb) 6776

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.04 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 494 0 0 0 14386 1514 0 0 18 0 1 0 1842071644 4759552 465 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1162 465 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1062.89
Current children cumulated vsize (Kb) 6776

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 495 0 0 0 14994 1642 0 0 25 0 1 0 1842071644 4759552 466 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1162 466 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1070.25
Current children cumulated vsize (Kb) 6776

[startup+1260.1 s]
Raw data (loadavg): 1.15 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 500 0 0 0 15831 1697 0 0 19 0 1 0 1842071644 4759552 471 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 471 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 6776

[startup+1270.11 s]
Raw data (loadavg): 1.13 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 504 0 0 0 16682 1748 0 0 25 0 1 0 1842071644 4759552 475 4294967295 134512640 134702520 3221223712 3221222992 134553465 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 475 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1088.19
Current children cumulated vsize (Kb) 6776

[startup+1280.11 s]
Raw data (loadavg): 1.11 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 507 0 0 0 17573 1784 0 0 25 0 1 0 1842071644 4759552 478 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 478 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1097.46
Current children cumulated vsize (Kb) 6776

[startup+1290.11 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 513 0 0 0 18379 1851 0 0 18 0 1 0 1842071644 4759552 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 484 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1106.19
Current children cumulated vsize (Kb) 6776

[startup+1300.11 s]
Raw data (loadavg): 1.08 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 513 0 0 0 19002 1976 0 0 18 0 1 0 1842071644 4759552 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 484 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1113.67
Current children cumulated vsize (Kb) 6776

[startup+1310.11 s]
Raw data (loadavg): 1.06 1.05 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 514 0 0 0 19626 2105 0 0 24 0 1 0 1842071644 4759552 485 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1162 485 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1121.2
Current children cumulated vsize (Kb) 6776

[startup+1320.11 s]
Raw data (loadavg): 1.13 1.07 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 517 0 0 0 20504 2146 0 0 25 0 1 0 1842071644 4759552 488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 488 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1130.39
Current children cumulated vsize (Kb) 6776

[startup+1330.11 s]
Raw data (loadavg): 1.11 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 522 0 0 0 21310 2211 0 0 25 0 1 0 1842071644 4759552 493 4294967295 134512640 134702520 3221223712 3221222832 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 493 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1139.1
Current children cumulated vsize (Kb) 6776

[startup+1340.11 s]
Raw data (loadavg): 1.10 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 525 0 0 0 22204 2245 0 0 25 0 1 0 1842071644 4759552 496 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 496 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1148.38
Current children cumulated vsize (Kb) 6776

[startup+1350.11 s]
Raw data (loadavg): 1.08 1.06 1.03 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 527 0 0 0 23092 2284 0 0 25 0 1 0 1842071644 4759552 498 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 498 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1157.65
Current children cumulated vsize (Kb) 6776

[startup+1360.11 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 529 0 0 0 23781 2391 0 0 18 0 1 0 1842071644 4759552 500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 500 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1165.61
Current children cumulated vsize (Kb) 6776

[startup+1370.11 s]
Raw data (loadavg): 1.06 1.05 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 529 0 0 0 24405 2515 0 0 18 0 1 0 1842071644 4759552 500 4294967295 134512640 134702520 3221223712 3221222608 134554398 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1162 500 413 48 0 1114 0
[pid=21546] vsize: 4648
Current children cumulated CPU time (s) 1173.09
Current children cumulated vsize (Kb) 6776

[startup+1380.11 s]
Raw data (loadavg): 1.05 1.05 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 534 0 0 0 25160 2599 0 0 18 0 1 0 1842071644 4870144 505 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1189 505 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (Kb) 6884

[startup+1390.12 s]
Raw data (loadavg): 1.04 1.05 1.02 1/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 538 0 0 0 26038 2640 0 0 25 0 1 0 1842071644 4870144 509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1189 509 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1190.67
Current children cumulated vsize (Kb) 6884

[startup+1400.12 s]
Raw data (loadavg): 1.03 1.05 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) R 21541 21541 16528 0 -1 0 540 0 0 0 26966 2663 0 0 18 0 1 0 1842071644 4870144 511 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/21546/statm): 1189 511 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (Kb) 6884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1400.12 s]
Raw data (loadavg): 1.03 1.05 1.02 2/57 21546
Raw data (/proc/21541/stat): 21541 (vallstSAT2005PB) S 21540 21541 16528 0 -1 0 378 1073 0 0 2 1 82834 7552 17 0 1 0 1841966522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/21541/statm): 532 248 485 147 0 385 0
[pid=21541] vsize: 2128
Raw data (/proc/21546/stat): 21546 (vallst) T 21541 21541 16528 0 -1 0 540 0 0 0 26966 2663 0 0 18 0 1 0 1842071644 4870144 511 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/21546/statm): 1189 511 413 48 0 1141 0
[pid=21546] vsize: 4756
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (Kb) 6884

Sending SIGTERM to -21541
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=21548
New process pid=21549
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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/15372/stat
open syscall for file /proc/15372/status
open syscall for file /proc/15372/cmdline
open syscall for file /proc/15372/environ
open syscall for file /proc/2659/stat
open syscall for file /proc/2659/status
open syscall for file /proc/2659/cmdline
open syscall for file /proc/2659/environ
open syscall for file /proc/2686/stat
open syscall for file /proc/2686/status
open syscall for file /proc/2686/cmdline
open syscall for file /proc/2686/environ
open syscall for file /proc/2710/stat
open syscall for file /proc/2710/status
open syscall for file /proc/2710/cmdline
open syscall for file /proc/2710/environ
open syscall for file /proc/30711/stat
open syscall for file /proc/30711/status
open syscall for file /proc/30711/cmdline
open syscall for file /proc/30711/environ
open syscall for file /proc/30712/stat
open syscall for file /proc/30712/status
open syscall for file /proc/30712/cmdline
open syscall for file /proc/30712/environ
open syscall for file /proc/704/stat
open syscall for file /proc/704/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/704/cmdline
open syscall for file /proc/704/environ
open syscall for file /proc/739/stat
open syscall for file /proc/739/status
open syscall for file /proc/739/cmdline
open syscall for file /proc/739/environ
open syscall for file /proc/16528/stat
open syscall for file /proc/16528/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/16528/cmdline
open syscall for file /proc/16528/environ
open syscall for file /proc/16529/stat
open syscall for file /proc/16529/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/16529/cmdline
open syscall for file /proc/16529/environ
open syscall for file /proc/16538/stat
open syscall for file /proc/16538/status
open syscall for file /proc/16538/cmdline
open syscall for file /proc/16538/environ
open syscall for file /proc/21504/stat
open syscall for file /proc/21504/status
open syscall for file /proc/21504/cmdline
open syscall for file /proc/21504/environ
open syscall for file /proc/21540/stat
open syscall for file /proc/21540/status
open syscall for file /proc/21540/cmdline
open syscall for file /proc/21540/environ
open syscall for file /proc/21541/stat
open syscall for file /proc/21541/status
open syscall for file /proc/21541/cmdline
open syscall for file /proc/21541/environ
open syscall for file /proc/21546/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/21546/status
open syscall for file /proc/21546/cmdline
open syscall for file /proc/21546/environ
open syscall for file /proc/21548/stat
open syscall for file /proc/21548/status
open syscall for file /proc/21548/cmdline
open syscall for file /proc/21548/environ
open syscall for file /proc/21549/stat
open syscall for file /proc/21549/status
open syscall for file /proc/21549/cmdline
open syscall for file /proc/21549/environ
One traced child (pid=21546) exited with status: 3
One traced child (pid=21548) exited with status: 0
One traced child (pid=21549) exited with status: 0
New process pid=21550
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=21550) exited with status: 0
New process pid=21551
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=21551) exited with status: 0
One traced child (pid=21541) 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.62
CPU time (s): 1200.41
CPU user time (s): 1098.16
CPU system time (s): 102.246
CPU usage (%): 85.7056
Max. virtual memory (cumulated for all children) (Kb): 7120

Verifier Data

ERROR: no interpretation found !