Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb
MD5SUM54df16ee65da54d5975ffedee80d2bb9
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.03
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 9334

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 12:35:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8060 boxname=wulflinc9 idbench=1028 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  54df16ee65da54d5975ffedee80d2bb9  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-misc07.opb 0
IDLAUNCH: 8060
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        924468 kB
Buffers:         10296 kB
Cached:          82456 kB
SwapCached:          0 kB
Active:          50792 kB
Inactive:        44884 kB
HighTotal:      131008 kB
HighFree:        45360 kB
LowTotal:       903652 kB
LowFree:        879108 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8908 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:58:51 (client local time) WITH STATUS 0 IN 1205.58 SECONDS
stats: 8060 7 1205.58 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 22  (#equs: 0)
#decisions: 646;  #end-nodes: 138;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 51 / 92 (80)
#axs: 248, #non-axs: 93
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:  541822 (1555328:>=*);
#decisions: 21;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 93
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:  551422 (1545728:>=*);
#decisions: 35;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 94
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:  561022 (1536128:>=*);
#decisions: 65;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 248, #non-axs: 94
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:  570622 (1526528:>=*);
#decisions: 30;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 94
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:  580222 (1516928:>=*);
#decisions: 426;  #end-nodes: 228;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 64 / 83 (80)
#axs: 248, #non-axs: 159
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:  588542 (1508608:>=*);
#decisions: 913;  #end-nodes: 423;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 100 / 268 (80)
#axs: 248, #non-axs: 378
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:  599422 (1497728:>=*);
#decisions: 79;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 106 (80)
#axs: 248, #non-axs: 403
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:  600062 (1497088:>=*);
#decisions: 18;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 248, #non-axs: 405
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:  649342 (1447808:>=*);
#decisions: 134;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 115 (80)
#axs: 248, #non-axs: 441
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:  653822 (1443328:>=*);
#decisions: 53;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 248, #non-axs: 455
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:  675582 (1421568:>=*);
#decisions: 3463;  #end-nodes: 2273;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 79 / 96 (81)
#axs: 248, #non-axs: 1322
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:  680702 (1416448:>=*);
#decisions: 5001;  #end-nodes: 2533;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 412 / 727 (83)
#axs: 248, #non-axs: 2751
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:  689022 (1408128:>=*);
#decisions: 3324123;  #end-nodes: 2471992;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 1045 (343)
#axs: 248, #non-axs: 3380
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 44
Model found with constant:
  (pushed:) 689022 (1408128:>=*)

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: 33  (#equs: 0)
Time taken: 17 min, 8 sec

2:
seed: 0
Nr of vars set: 33  (#equs: 0)
Nr of vars set: 33  (#equs: 0)
Interupt request received.
#decisions: 515435;  #end-nodes: 379438;
#proof improvement attempts: 0;  #restarts: 302
Current batch, end-nodes: 8957 / 10056 (195)
#axs: 248, #non-axs: 3421
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 44
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: 227  (#equs: 0)
Time taken: 2 min, 56 sec

Watcher Data

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

[startup+10.0037 s]
Raw data (loadavg): 0.78 0.95 0.99 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 396 0 0 0 573 136 0 0 17 0 1 0 20235380 2719744 366 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 664 366 413 48 0 616 0
[pid=6219] vsize: 2656
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (Kb) 4784

[startup+20.0045 s]
Raw data (loadavg): 0.81 0.95 0.99 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 493 0 0 0 1258 245 0 0 16 0 1 0 20235380 3133440 463 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 463 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (Kb) 5188

[startup+30.0063 s]
Raw data (loadavg): 0.84 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 506 0 0 0 1962 346 0 0 16 0 1 0 20235380 3133440 476 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 765 476 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 23.1
Current children cumulated vsize (Kb) 5188

[startup+40.0071 s]
Raw data (loadavg): 0.86 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 507 0 0 0 2566 476 0 0 15 0 1 0 20235380 3133440 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 765 477 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 30.44
Current children cumulated vsize (Kb) 5188

[startup+50.0078 s]
Raw data (loadavg): 0.88 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 514 0 0 0 3276 573 0 0 16 0 1 0 20235380 3133440 484 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 765 484 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 38.51
Current children cumulated vsize (Kb) 5188

[startup+60.0086 s]
Raw data (loadavg): 0.90 0.95 0.99 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 521 0 0 0 3991 672 0 0 16 0 1 0 20235380 3133440 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 491 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 46.65
Current children cumulated vsize (Kb) 5188

[startup+70.0094 s]
Raw data (loadavg): 0.99 0.97 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 522 0 0 0 4595 804 0 0 15 0 1 0 20235380 3133440 492 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 492 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 54.01
Current children cumulated vsize (Kb) 5188

[startup+80.0102 s]
Raw data (loadavg): 0.99 0.97 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 522 0 0 0 5315 903 0 0 16 0 1 0 20235380 3133440 492 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 492 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (Kb) 5188

[startup+90.0109 s]
Raw data (loadavg): 0.99 0.97 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 528 0 0 0 6043 999 0 0 16 0 1 0 20235380 3133440 498 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 765 498 413 48 0 717 0
[pid=6219] vsize: 3060
Current children cumulated CPU time (s) 70.44
Current children cumulated vsize (Kb) 5188

[startup+100.012 s]
Raw data (loadavg): 0.99 0.97 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 540 0 0 0 6790 1085 0 0 15 0 1 0 20235380 3268608 510 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 510 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 78.77
Current children cumulated vsize (Kb) 5320

[startup+110.014 s]
Raw data (loadavg): 1.07 0.99 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 541 0 0 0 7386 1219 0 0 15 0 1 0 20235380 3268608 511 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 511 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 86.07
Current children cumulated vsize (Kb) 5320

[startup+120.014 s]
Raw data (loadavg): 1.06 0.99 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 544 0 0 0 8129 1310 0 0 16 0 1 0 20235380 3268608 514 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 514 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 94.41
Current children cumulated vsize (Kb) 5320

[startup+130.015 s]
Raw data (loadavg): 1.05 0.99 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 547 0 0 0 8856 1404 0 0 16 0 1 0 20235380 3268608 517 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 798 517 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 102.62
Current children cumulated vsize (Kb) 5320

[startup+140.016 s]
Raw data (loadavg): 1.19 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 556 0 0 0 9591 1490 0 0 16 0 1 0 20235380 3268608 526 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 798 526 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 110.83
Current children cumulated vsize (Kb) 5320

[startup+150.017 s]
Raw data (loadavg): 1.16 1.02 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 557 0 0 0 10210 1621 0 0 16 0 1 0 20235380 3268608 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 798 527 413 48 0 750 0
[pid=6219] vsize: 3192
Current children cumulated CPU time (s) 118.33
Current children cumulated vsize (Kb) 5320

[startup+160.017 s]
Raw data (loadavg): 1.14 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 564 0 0 0 10974 1703 0 0 16 0 1 0 20235380 3403776 534 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 534 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 126.79
Current children cumulated vsize (Kb) 5452

[startup+170.018 s]
Raw data (loadavg): 1.12 1.02 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 571 0 0 0 11734 1784 0 0 16 0 1 0 20235380 3403776 541 4294967295 134512640 134702520 3221223952 3221223072 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 831 541 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 135.2
Current children cumulated vsize (Kb) 5452

[startup+180.018 s]
Raw data (loadavg): 1.10 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 577 0 0 0 12465 1875 0 0 16 0 1 0 20235380 3403776 547 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 547 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 143.42
Current children cumulated vsize (Kb) 5452

[startup+190.02 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 582 0 0 0 13218 1956 0 0 16 0 1 0 20235380 3403776 552 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 552 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 151.76
Current children cumulated vsize (Kb) 5452

[startup+200.02 s]
Raw data (loadavg): 1.07 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 591 0 0 0 13980 2035 0 0 16 0 1 0 20235380 3403776 561 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 831 561 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 160.17
Current children cumulated vsize (Kb) 5452

[startup+210.021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 593 0 0 0 14624 2155 0 0 16 0 1 0 20235380 3403776 563 4294967295 134512640 134702520 3221223952 3221223528 134559814 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 831 563 413 48 0 783 0
[pid=6219] vsize: 3324
Current children cumulated CPU time (s) 167.81
Current children cumulated vsize (Kb) 5452

[startup+220.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 598 0 0 0 15384 2229 0 0 16 0 1 0 20235380 3538944 568 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 568 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 176.15
Current children cumulated vsize (Kb) 5584

[startup+230.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 599 0 0 0 16108 2324 0 0 16 0 1 0 20235380 3538944 569 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 569 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 184.34
Current children cumulated vsize (Kb) 5584

[startup+240.023 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 610 0 0 0 16890 2395 0 0 16 0 1 0 20235380 3538944 580 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 580 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 192.87
Current children cumulated vsize (Kb) 5584

[startup+250.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 618 0 0 0 17661 2474 0 0 16 0 1 0 20235380 3538944 588 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 588 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 201.37
Current children cumulated vsize (Kb) 5584

[startup+260.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 622 0 0 0 18467 2542 0 0 16 0 1 0 20235380 3538944 592 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 864 592 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 210.11
Current children cumulated vsize (Kb) 5584

[startup+270.026 s]
Raw data (loadavg): 1.09 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 625 0 0 0 19239 2616 0 0 16 0 1 0 20235380 3538944 595 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 864 595 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 218.57
Current children cumulated vsize (Kb) 5584

[startup+280.026 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 626 0 0 0 19930 2720 0 0 16 0 1 0 20235380 3538944 596 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 864 596 413 48 0 816 0
[pid=6219] vsize: 3456
Current children cumulated CPU time (s) 226.52
Current children cumulated vsize (Kb) 5584

[startup+290.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 629 0 0 0 20628 2821 0 0 16 0 1 0 20235380 3674112 599 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 599 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 234.51
Current children cumulated vsize (Kb) 5716

[startup+300.027 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 634 0 0 0 21401 2900 0 0 16 0 1 0 20235380 3674112 604 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 604 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (Kb) 5716

[startup+310.029 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 639 0 0 0 22197 2974 0 0 16 0 1 0 20235380 3674112 609 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 609 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 251.73
Current children cumulated vsize (Kb) 5716

[startup+320.03 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 641 0 0 0 22960 3055 0 0 16 0 1 0 20235380 3674112 611 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 611 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 260.17
Current children cumulated vsize (Kb) 5716

[startup+330.03 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 647 0 0 0 23719 3137 0 0 16 0 1 0 20235380 3674112 617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 617 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 268.58
Current children cumulated vsize (Kb) 5716

[startup+340.031 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 653 0 0 0 24491 3219 0 0 15 0 1 0 20235380 3674112 623 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 623 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 277.12
Current children cumulated vsize (Kb) 5716

[startup+350.032 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 655 0 0 0 25286 3290 0 0 16 0 1 0 20235380 3674112 625 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 625 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 285.78
Current children cumulated vsize (Kb) 5716

[startup+360.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 658 0 0 0 26042 3375 0 0 16 0 1 0 20235380 3674112 628 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 897 628 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 294.19
Current children cumulated vsize (Kb) 5716

[startup+370.034 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 658 0 0 0 26708 3485 0 0 16 0 1 0 20235380 3674112 628 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 897 628 413 48 0 849 0
[pid=6219] vsize: 3588
Current children cumulated CPU time (s) 301.95
Current children cumulated vsize (Kb) 5716

[startup+380.034 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 662 0 0 0 27426 3582 0 0 16 0 1 0 20235380 3809280 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 632 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (Kb) 5848

[startup+390.035 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 666 0 0 0 28227 3648 0 0 16 0 1 0 20235380 3809280 636 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 636 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 318.77
Current children cumulated vsize (Kb) 5848

[startup+400.036 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 667 0 0 0 28962 3740 0 0 16 0 1 0 20235380 3809280 637 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 930 637 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 327.04
Current children cumulated vsize (Kb) 5848

[startup+410.037 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 668 0 0 0 29792 3805 0 0 16 0 1 0 20235380 3809280 638 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 638 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 335.99
Current children cumulated vsize (Kb) 5848

[startup+420.037 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 670 0 0 0 30557 3886 0 0 16 0 1 0 20235380 3809280 640 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 640 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 344.45
Current children cumulated vsize (Kb) 5848

[startup+430.038 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 675 0 0 0 31343 3963 0 0 16 0 1 0 20235380 3809280 645 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 645 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 353.08
Current children cumulated vsize (Kb) 5848

[startup+440.039 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 676 0 0 0 32116 4043 0 0 16 0 1 0 20235380 3809280 646 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 646 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 361.61
Current children cumulated vsize (Kb) 5848

[startup+450.04 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 677 0 0 0 32926 4110 0 0 16 0 1 0 20235380 3809280 647 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 930 647 413 48 0 882 0
[pid=6219] vsize: 3720
Current children cumulated CPU time (s) 370.38
Current children cumulated vsize (Kb) 5848

[startup+460.04 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 814 0 0 0 33703 4184 0 0 15 0 1 0 20235380 4329472 784 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 1057 784 413 48 0 1009 0
[pid=6219] vsize: 4228
Current children cumulated CPU time (s) 378.89
Current children cumulated vsize (Kb) 6356

[startup+470.041 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 1238 0 0 0 34540 4241 0 0 16 0 1 0 20235380 6049792 1208 4294967295 134512640 134702520 3221223952 3221223232 134552222 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 1477 1208 413 48 0 1429 0
[pid=6219] vsize: 5908
Current children cumulated CPU time (s) 387.83
Current children cumulated vsize (Kb) 8036

[startup+480.041 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 1535 0 0 0 35418 4283 0 0 16 0 1 0 20235380 7409664 1505 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 1809 1505 413 48 0 1761 0
[pid=6219] vsize: 7236
Current children cumulated CPU time (s) 397.03
Current children cumulated vsize (Kb) 9364

[startup+490.043 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 1787 0 0 0 36302 4326 0 0 17 0 1 0 20235380 8409088 1757 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2053 1757 413 48 0 2005 0
[pid=6219] vsize: 8212
Current children cumulated CPU time (s) 406.3
Current children cumulated vsize (Kb) 10340

[startup+500.043 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2032 0 0 0 37194 4365 0 0 17 0 1 0 20235380 9371648 2002 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2288 2002 413 48 0 2240 0
[pid=6219] vsize: 9152
Current children cumulated CPU time (s) 415.61
Current children cumulated vsize (Kb) 11280

[startup+510.044 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2258 0 0 0 38096 4398 0 0 17 0 1 0 20235380 10416128 2228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2543 2228 413 48 0 2495 0
[pid=6219] vsize: 10172
Current children cumulated CPU time (s) 424.96
Current children cumulated vsize (Kb) 12300

[startup+520.045 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 38923 4458 0 0 15 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 433.83
Current children cumulated vsize (Kb) 12760

[startup+530.045 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 39569 4569 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 441.4
Current children cumulated vsize (Kb) 12760

[startup+540.046 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 40437 4616 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223072 134591512 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 450.55
Current children cumulated vsize (Kb) 12760

[startup+550.046 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 41323 4661 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 459.86
Current children cumulated vsize (Kb) 12760

[startup+560.047 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 42210 4698 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134553426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 469.1
Current children cumulated vsize (Kb) 12760

[startup+570.048 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 43096 4735 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 478.33
Current children cumulated vsize (Kb) 12760

[startup+580.049 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 43998 4769 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 487.69
Current children cumulated vsize (Kb) 12760

[startup+590.049 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 44904 4801 0 0 18 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 497.07
Current children cumulated vsize (Kb) 12760

[startup+600.05 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 2402 0 0 0 45816 4832 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 506.5
Current children cumulated vsize (Kb) 12760

[startup+610.051 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2402 0 0 0 46732 4865 0 0 17 0 1 0 20235380 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2658 2372 413 48 0 2610 0
[pid=6219] vsize: 10632
Current children cumulated CPU time (s) 515.99
Current children cumulated vsize (Kb) 12760

[startup+620.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2560 0 0 0 47649 4894 0 0 18 0 1 0 20235380 11542528 2530 4294967295 134512640 134702520 3221223952 3221223232 134552481 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2818 2530 413 48 0 2770 0
[pid=6219] vsize: 11272
Current children cumulated CPU time (s) 525.45
Current children cumulated vsize (Kb) 13400

[startup+630.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2719 0 0 0 48572 4924 0 0 18 0 1 0 20235380 12193792 2689 4294967295 134512640 134702520 3221223952 3221223232 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 2977 2689 413 48 0 2929 0
[pid=6219] vsize: 11908
Current children cumulated CPU time (s) 534.98
Current children cumulated vsize (Kb) 14036

[startup+640.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 2890 0 0 0 49492 4952 0 0 18 0 1 0 20235380 12980224 2860 4294967295 134512640 134702520 3221223952 3221223428 1074952449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3169 2860 413 48 0 3121 0
[pid=6219] vsize: 12676
Current children cumulated CPU time (s) 544.46
Current children cumulated vsize (Kb) 14804

[startup+650.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3052 0 0 0 50413 4980 0 0 18 0 1 0 20235380 13561856 3022 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3311 3022 413 48 0 3263 0
[pid=6219] vsize: 13244
Current children cumulated CPU time (s) 553.95
Current children cumulated vsize (Kb) 15372

[startup+660.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3194 0 0 0 51344 5006 0 0 18 0 1 0 20235380 14172160 3164 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3460 3164 413 48 0 3412 0
[pid=6219] vsize: 13840
Current children cumulated CPU time (s) 563.52
Current children cumulated vsize (Kb) 15968

[startup+670.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3344 0 0 0 52277 5029 0 0 18 0 1 0 20235380 14868480 3314 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3630 3314 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 573.08
Current children cumulated vsize (Kb) 16648

[startup+680.054 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 3374 0 0 0 53209 5054 0 0 17 0 1 0 20235380 14868480 3344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 3630 3344 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 582.65
Current children cumulated vsize (Kb) 16648

[startup+690.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3374 0 0 0 54145 5078 0 0 19 0 1 0 20235380 14868480 3344 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3630 3344 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 592.25
Current children cumulated vsize (Kb) 16648

[startup+700.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3374 0 0 0 55083 5102 0 0 22 0 1 0 20235380 14868480 3344 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3630 3344 413 48 0 3582 0
[pid=6219] vsize: 14520
Current children cumulated CPU time (s) 601.87
Current children cumulated vsize (Kb) 16648

[startup+710.057 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 3419 0 0 0 56024 5122 0 0 17 0 1 0 20235380 15048704 3389 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 3674 3389 413 48 0 3626 0
[pid=6219] vsize: 14696
Current children cumulated CPU time (s) 611.48
Current children cumulated vsize (Kb) 16824

[startup+720.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3524 0 0 0 56965 5141 0 0 20 0 1 0 20235380 15548416 3494 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3796 3494 413 48 0 3748 0
[pid=6219] vsize: 15184
Current children cumulated CPU time (s) 621.08
Current children cumulated vsize (Kb) 17312

[startup+730.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3625 0 0 0 57905 5163 0 0 20 0 1 0 20235380 15900672 3595 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 3882 3595 413 48 0 3834 0
[pid=6219] vsize: 15528
Current children cumulated CPU time (s) 630.7
Current children cumulated vsize (Kb) 17656

[startup+740.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3756 0 0 0 58845 5184 0 0 19 0 1 0 20235380 16474112 3726 4294967295 134512640 134702520 3221223952 3221223216 134553231 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4022 3726 413 48 0 3974 0
[pid=6219] vsize: 16088
Current children cumulated CPU time (s) 640.31
Current children cumulated vsize (Kb) 18216

[startup+750.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 3848 0 0 0 59785 5204 0 0 25 0 1 0 20235380 16814080 3818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4105 3818 413 48 0 4057 0
[pid=6219] vsize: 16420
Current children cumulated CPU time (s) 649.91
Current children cumulated vsize (Kb) 18548

[startup+760.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 3982 0 0 0 60727 5225 0 0 20 0 1 0 20235380 17461248 3952 4294967295 134512640 134702520 3221223952 3221223344 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4263 3952 413 48 0 4215 0
[pid=6219] vsize: 17052
Current children cumulated CPU time (s) 659.54
Current children cumulated vsize (Kb) 19180

[startup+770.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4062 0 0 0 61673 5245 0 0 25 0 1 0 20235380 17797120 4032 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4345 4032 413 48 0 4297 0
[pid=6219] vsize: 17380
Current children cumulated CPU time (s) 669.2
Current children cumulated vsize (Kb) 19508

[startup+780.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4176 0 0 0 62615 5266 0 0 25 0 1 0 20235380 18239488 4146 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4453 4146 413 48 0 4405 0
[pid=6219] vsize: 17812
Current children cumulated CPU time (s) 678.83
Current children cumulated vsize (Kb) 19940

[startup+790.064 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4272 0 0 0 63557 5285 0 0 19 0 1 0 20235380 18685952 4242 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4562 4242 413 48 0 4514 0
[pid=6219] vsize: 18248
Current children cumulated CPU time (s) 688.44
Current children cumulated vsize (Kb) 20376

[startup+800.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4348 0 0 0 64505 5303 0 0 25 0 1 0 20235380 19013632 4318 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4642 4318 413 48 0 4594 0
[pid=6219] vsize: 18568
Current children cumulated CPU time (s) 698.1
Current children cumulated vsize (Kb) 20696

[startup+810.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4423 0 0 0 65456 5320 0 0 25 0 1 0 20235380 19193856 4393 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4686 4393 413 48 0 4638 0
[pid=6219] vsize: 18744
Current children cumulated CPU time (s) 707.78
Current children cumulated vsize (Kb) 20872

[startup+820.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4520 0 0 0 66404 5339 0 0 18 0 1 0 20235380 19709952 4490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4812 4490 413 48 0 4764 0
[pid=6219] vsize: 19248
Current children cumulated CPU time (s) 717.45
Current children cumulated vsize (Kb) 21376

[startup+830.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 67211 5404 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 726.17
Current children cumulated vsize (Kb) 21160

[startup+840.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 68024 5470 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 734.96
Current children cumulated vsize (Kb) 21160

[startup+850.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 68807 5544 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223040 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 743.53
Current children cumulated vsize (Kb) 21160

[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 69564 5627 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 751.93
Current children cumulated vsize (Kb) 21160

[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 70217 5747 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (Kb) 21160

[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 71022 5813 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 768.37
Current children cumulated vsize (Kb) 21160

[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 71804 5886 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 776.92
Current children cumulated vsize (Kb) 21160

[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 72617 5950 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 785.69
Current children cumulated vsize (Kb) 21160

[startup+910.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 73434 6011 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 794.47
Current children cumulated vsize (Kb) 21160

[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 74222 6087 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 803.11
Current children cumulated vsize (Kb) 21160

[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 75041 6152 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 811.95
Current children cumulated vsize (Kb) 21160

[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 75818 6225 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 820.45
Current children cumulated vsize (Kb) 21160

[startup+950.077 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 76604 6298 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 829.04
Current children cumulated vsize (Kb) 21160

[startup+960.078 s]
Raw data (loadavg): 1.14 1.03 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 77420 6363 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 837.85
Current children cumulated vsize (Kb) 21160

[startup+970.079 s]
Raw data (loadavg): 1.20 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 78244 6423 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223152 134617897 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 846.69
Current children cumulated vsize (Kb) 21160

[startup+980.078 s]
Raw data (loadavg): 1.17 1.04 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 79043 6493 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 855.38
Current children cumulated vsize (Kb) 21160

[startup+990.079 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 79858 6555 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 864.15
Current children cumulated vsize (Kb) 21160

[startup+1000.08 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 80644 6628 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 872.74
Current children cumulated vsize (Kb) 21160

[startup+1010.08 s]
Raw data (loadavg): 1.18 1.06 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 81290 6745 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 880.37
Current children cumulated vsize (Kb) 21160

[startup+1020.08 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 82107 6808 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 889.17
Current children cumulated vsize (Kb) 21160

[startup+1030.08 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 82907 6880 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 897.89
Current children cumulated vsize (Kb) 21160

[startup+1040.08 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 83704 6952 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 906.58
Current children cumulated vsize (Kb) 21160

[startup+1050.08 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 84527 7012 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 915.41
Current children cumulated vsize (Kb) 21160

[startup+1060.08 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 85348 7070 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 924.2
Current children cumulated vsize (Kb) 21160

[startup+1070.09 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 86135 7145 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 932.82
Current children cumulated vsize (Kb) 21160

[startup+1080.09 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 86959 7207 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (Kb) 21160

[startup+1090.09 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 87794 7264 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 950.6
Current children cumulated vsize (Kb) 21160

[startup+1100.09 s]
Raw data (loadavg): 1.16 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 88602 7329 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 959.33
Current children cumulated vsize (Kb) 21160

[startup+1110.09 s]
Raw data (loadavg): 1.14 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 89399 7399 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 968
Current children cumulated vsize (Kb) 21160

[startup+1120.09 s]
Raw data (loadavg): 1.19 1.08 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 90180 7475 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 976.57
Current children cumulated vsize (Kb) 21160

[startup+1130.09 s]
Raw data (loadavg): 1.16 1.08 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 91013 7529 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 985.44
Current children cumulated vsize (Kb) 21160

[startup+1140.09 s]
Raw data (loadavg): 1.14 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 91824 7595 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 994.21
Current children cumulated vsize (Kb) 21160

[startup+1150.09 s]
Raw data (loadavg): 1.12 1.07 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 92647 7657 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1003.06
Current children cumulated vsize (Kb) 21160

[startup+1160.09 s]
Raw data (loadavg): 1.10 1.07 1.02 2/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) R 6216 6216 4060 0 -1 0 4521 0 0 0 93431 7731 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1011.64
Current children cumulated vsize (Kb) 21160

[startup+1170.09 s]
Raw data (loadavg): 1.08 1.07 1.02 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 94253 7793 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1020.48
Current children cumulated vsize (Kb) 21160

[startup+1180.09 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6219
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 20235371 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 242 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6219/stat): 6219 (vallst) T 6216 6216 4060 0 -1 0 4521 0 0 0 94898 7913 0 0 16 0 1 0 20235380 19488768 4470 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6219/statm): 4758 4470 413 48 0 4710 0
[pid=6219] vsize: 19032
Current children cumulated CPU time (s) 1028.13
Current children cumulated vsize (Kb) 21160
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=6219) exited with status: 2
New process pid=6220
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=6220) exited with status: 0
New process pid=6221
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+1190.09 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 266 0 0 0 630 80 0 0 19 0 1 0 20353536 2293760 236 4294967295 134512640 134702520 3221223712 3221222720 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 560 236 413 48 0 512 0
[pid=6221] vsize: 2240
Current children cumulated CPU time (s) 1036.16
Current children cumulated vsize (Kb) 4368

[startup+1200.1 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 420 0 0 0 1349 182 0 0 17 0 1 0 20353536 3022848 390 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 738 390 413 48 0 690 0
[pid=6221] vsize: 2952
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (Kb) 5080

[startup+1210.1 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 499 0 0 0 2101 265 0 0 20 0 1 0 20353536 3158016 469 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6221/statm): 771 469 413 48 0 723 0
[pid=6221] vsize: 3084
Current children cumulated CPU time (s) 1052.72
Current children cumulated vsize (Kb) 5212

[startup+1220.1 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 517 0 0 0 2877 342 0 0 20 0 1 0 20353536 3293184 487 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 487 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1061.25
Current children cumulated vsize (Kb) 5344

[startup+1230.1 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 528 0 0 0 3645 424 0 0 21 0 1 0 20353536 3293184 498 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6221/statm): 804 498 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1069.75
Current children cumulated vsize (Kb) 5344

[startup+1240.1 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 529 0 0 0 4373 515 0 0 20 0 1 0 20353536 3293184 499 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 499 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1077.94
Current children cumulated vsize (Kb) 5344

[startup+1250.1 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 536 0 0 0 5132 601 0 0 16 0 1 0 20353536 3293184 506 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 506 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1086.39
Current children cumulated vsize (Kb) 5344

[startup+1260.1 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 546 0 0 0 5919 678 0 0 16 0 1 0 20353536 3293184 516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 804 516 413 48 0 756 0
[pid=6221] vsize: 3216
Current children cumulated CPU time (s) 1095.03
Current children cumulated vsize (Kb) 5344

[startup+1270.1 s]
Raw data (loadavg): 1.01 1.04 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 554 0 0 0 6701 756 0 0 15 0 1 0 20353536 3428352 524 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6221/statm): 837 524 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1103.63
Current children cumulated vsize (Kb) 5476

[startup+1280.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 558 0 0 0 7456 839 0 0 16 0 1 0 20353536 3428352 528 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 528 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1112.01
Current children cumulated vsize (Kb) 5476

[startup+1290.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 564 0 0 0 8214 923 0 0 16 0 1 0 20353536 3428352 534 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 534 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1120.43
Current children cumulated vsize (Kb) 5476

[startup+1300.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 564 0 0 0 8937 1021 0 0 16 0 1 0 20353536 3428352 534 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 534 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1128.64
Current children cumulated vsize (Kb) 5476

[startup+1310.1 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 566 0 0 0 9692 1107 0 0 16 0 1 0 20353536 3428352 536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 536 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1137.05
Current children cumulated vsize (Kb) 5476

[startup+1320.11 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 572 0 0 0 10487 1177 0 0 16 0 1 0 20353536 3428352 542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 542 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1145.7
Current children cumulated vsize (Kb) 5476

[startup+1330.11 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 577 0 0 0 11269 1256 0 0 16 0 1 0 20353536 3428352 547 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 547 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1154.31
Current children cumulated vsize (Kb) 5476

[startup+1340.11 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 583 0 0 0 12073 1323 0 0 16 0 1 0 20353536 3428352 553 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 837 553 413 48 0 789 0
[pid=6221] vsize: 3348
Current children cumulated CPU time (s) 1163.02
Current children cumulated vsize (Kb) 5476

[startup+1350.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 586 0 0 0 12864 1397 0 0 16 0 1 0 20353536 3563520 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6221/statm): 870 556 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1171.67
Current children cumulated vsize (Kb) 5608

[startup+1360.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 590 0 0 0 13618 1487 0 0 16 0 1 0 20353536 3563520 560 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6221/statm): 870 560 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 5608

[startup+1370.11 s]
Raw data (loadavg): 1.18 1.07 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 591 0 0 0 14395 1565 0 0 15 0 1 0 20353536 3563520 561 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 870 561 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1188.66
Current children cumulated vsize (Kb) 5608

[startup+1380.11 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) T 6216 6216 4060 0 -1 0 591 0 0 0 15111 1664 0 0 16 0 1 0 20353536 3563520 561 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6221/statm): 870 561 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1196.81
Current children cumulated vsize (Kb) 5608

[startup+1390.11 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 593 0 0 0 15903 1731 0 0 16 0 1 0 20353536 3563520 563 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6221/statm): 870 563 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1205.4
Current children cumulated vsize (Kb) 5608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.11 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6221
Raw data (/proc/6216/stat): 6216 (vallstSAT2005PB) S 6215 6216 4060 0 -1 0 378 4896 0 0 1 1 94967 7937 17 0 1 0 20235371 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6216/statm): 532 248 485 147 0 385 0
[pid=6216] vsize: 2128
Raw data (/proc/6221/stat): 6221 (vallst) R 6216 6216 4060 0 -1 0 593 0 0 0 15903 1731 0 0 16 0 1 0 20353536 3563520 563 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6221/statm): 870 563 413 48 0 822 0
[pid=6221] vsize: 3480
Current children cumulated CPU time (s) 1205.4
Current children cumulated vsize (Kb) 5608

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

Verifier Data

ERROR: no interpretation found !