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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
MD5SUM36d973d6ac0a73f611c4998ee3e157d3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5767168
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark17.2414
Number of variables960
Total number of constraints48
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint40
Maximum length of a constraint80

Trace number 9202

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 11:14:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7872 boxname=wulflinc9 idbench=840 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  36d973d6ac0a73f611c4998ee3e157d3  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-sc50b.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-sc50b.opb 0
IDLAUNCH: 7872
/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:        926808 kB
Buffers:          9768 kB
Cached:          80604 kB
SwapCached:          0 kB
Active:          50560 kB
Inactive:        42736 kB
HighTotal:      131008 kB
HighFree:        47180 kB
LowTotal:       903652 kB
LowFree:        879628 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8792 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:42:07 (client local time) WITH STATUS 0 IN 1207.4 SECONDS
stats: 7872 7 1207.4 0

Solver Data

1:
seed: 0
Nr of vars set: 169  (#equs: 0)
Nr of vars set: 232  (#equs: 9)
#decisions: 560100;  #end-nodes: 199350;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 329 (319)
#axs: 80, #non-axs: 138
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 234  (#equs: 11)
Time taken: 5 min, 3 sec

2:
seed: 0
Nr of vars set: 234  (#equs: 0)
Nr of vars set: 234  (#equs: 8)
#decisions: 2811642;  #end-nodes: 763645;
#proof improvement attempts: 0;  #restarts: 1920
Current batch, end-nodes: 0 / 618 (599)
#axs: 93, #non-axs: 7331
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 7, end: 10;  meta: start: 22, end (keep): 34
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 249  (#equs: 24)
Time taken: 8 min, 43 sec

3:
seed: 0
Nr of vars set: 249  (#equs: 0)
Nr of vars set: 249  (#equs: 4)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 275  (#equs: 17)
Time taken: 6 min, 19 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/5316/stat): 5316 (vallstSAT2005PB) R 5315 5316 4060 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 19749904 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5316/statm): 174 3 169 147 0 27 0
[pid=5316] 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=5317
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=5317) exited with status: 0
New process pid=5318
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=5318) exited with status: 0
New process pid=5319
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-sc50b.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.79 0.94 0.90 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 239 0 0 0 612 123 0 0 22 0 1 0 19749911 2154496 209 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 526 209 413 48 0 478 0
[pid=5319] vsize: 2104
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (Kb) 4232

[startup+20.0039 s]
Raw data (loadavg): 0.82 0.94 0.91 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 269 0 0 0 1387 198 0 0 17 0 1 0 19749911 2588672 239 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 632 239 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (Kb) 4656

[startup+30.0046 s]
Raw data (loadavg): 0.85 0.94 0.91 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 280 0 0 0 2068 308 0 0 16 0 1 0 19749911 2588672 250 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 250 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 23.79
Current children cumulated vsize (Kb) 4656

[startup+40.0054 s]
Raw data (loadavg): 0.87 0.94 0.91 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 299 0 0 0 2673 439 0 0 16 0 1 0 19749911 2588672 269 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 269 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 31.15
Current children cumulated vsize (Kb) 4656

[startup+50.0061 s]
Raw data (loadavg): 0.89 0.94 0.91 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 299 0 0 0 3467 509 0 0 16 0 1 0 19749911 2588672 269 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 269 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 4656

[startup+60.0069 s]
Raw data (loadavg): 0.90 0.94 0.91 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 341 0 0 0 4181 607 0 0 16 0 1 0 19749911 2588672 311 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 311 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 47.91
Current children cumulated vsize (Kb) 4656

[startup+70.0076 s]
Raw data (loadavg): 1.07 0.98 0.92 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 346 0 0 0 4832 721 0 0 16 0 1 0 19749911 2588672 316 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 632 316 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 55.56
Current children cumulated vsize (Kb) 4656

[startup+80.0094 s]
Raw data (loadavg): 1.21 1.01 0.93 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 346 0 0 0 5517 829 0 0 15 0 1 0 19749911 2588672 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 316 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 63.49
Current children cumulated vsize (Kb) 4656

[startup+90.0101 s]
Raw data (loadavg): 1.18 1.01 0.93 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 347 0 0 0 6258 917 0 0 16 0 1 0 19749911 2588672 317 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 317 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 71.78
Current children cumulated vsize (Kb) 4656

[startup+100.01 s]
Raw data (loadavg): 1.15 1.01 0.93 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 351 0 0 0 6932 1021 0 0 16 0 1 0 19749911 2588672 321 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 632 321 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 4656

[startup+110.011 s]
Raw data (loadavg): 1.13 1.01 0.93 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 351 0 0 0 7551 1149 0 0 16 0 1 0 19749911 2588672 321 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 321 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 87.03
Current children cumulated vsize (Kb) 4656

[startup+120.011 s]
Raw data (loadavg): 1.11 1.01 0.93 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 351 0 0 0 8326 1228 0 0 16 0 1 0 19749911 2588672 321 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 321 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 95.57
Current children cumulated vsize (Kb) 4656

[startup+130.012 s]
Raw data (loadavg): 1.09 1.01 0.93 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 354 0 0 0 9011 1337 0 0 16 0 1 0 19749911 2588672 324 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 324 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 103.51
Current children cumulated vsize (Kb) 4656

[startup+140.013 s]
Raw data (loadavg): 1.16 1.02 0.94 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 358 0 0 0 9663 1451 0 0 16 0 1 0 19749911 2588672 328 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 328 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 111.17
Current children cumulated vsize (Kb) 4656

[startup+150.014 s]
Raw data (loadavg): 1.13 1.02 0.94 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 358 0 0 0 10339 1559 0 0 16 0 1 0 19749911 2588672 328 4294967295 134512640 134702520 3221223952 3221222720 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 328 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 119.01
Current children cumulated vsize (Kb) 4656

[startup+160.014 s]
Raw data (loadavg): 1.11 1.02 0.94 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 359 0 0 0 11066 1650 0 0 15 0 1 0 19749911 2588672 329 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5319/statm): 632 329 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 127.19
Current children cumulated vsize (Kb) 4656

[startup+170.014 s]
Raw data (loadavg): 1.25 1.05 0.95 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 361 0 0 0 11724 1762 0 0 16 0 1 0 19749911 2588672 331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 331 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 134.89
Current children cumulated vsize (Kb) 4656

[startup+180.015 s]
Raw data (loadavg): 1.29 1.07 0.95 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 363 0 0 0 12337 1888 0 0 16 0 1 0 19749911 2588672 333 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 632 333 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 142.28
Current children cumulated vsize (Kb) 4656

[startup+190.016 s]
Raw data (loadavg): 1.24 1.06 0.95 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 363 0 0 0 13112 1965 0 0 16 0 1 0 19749911 2588672 333 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 632 333 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 150.8
Current children cumulated vsize (Kb) 4656

[startup+200.016 s]
Raw data (loadavg): 1.21 1.06 0.95 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 366 0 0 0 13802 2072 0 0 16 0 1 0 19749911 2588672 336 4294967295 134512640 134702520 3221223952 3221222788 134549072 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 336 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 158.77
Current children cumulated vsize (Kb) 4656

[startup+210.016 s]
Raw data (loadavg): 1.25 1.07 0.96 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 368 0 0 0 14480 2179 0 0 16 0 1 0 19749911 2588672 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 338 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 166.62
Current children cumulated vsize (Kb) 4656

[startup+220.017 s]
Raw data (loadavg): 1.28 1.09 0.96 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 368 0 0 0 15143 2290 0 0 16 0 1 0 19749911 2588672 338 4294967295 134512640 134702520 3221223952 3221222720 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 338 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 174.36
Current children cumulated vsize (Kb) 4656

[startup+230.018 s]
Raw data (loadavg): 1.32 1.10 0.97 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 370 0 0 0 15893 2373 0 0 16 0 1 0 19749911 2588672 340 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 632 340 413 48 0 584 0
[pid=5319] vsize: 2528
Current children cumulated CPU time (s) 182.69
Current children cumulated vsize (Kb) 4656

[startup+240.019 s]
Raw data (loadavg): 1.27 1.10 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 377 0 0 0 16572 2480 0 0 16 0 1 0 19749911 2715648 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 663 347 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 190.55
Current children cumulated vsize (Kb) 4780

[startup+250.019 s]
Raw data (loadavg): 1.23 1.09 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 386 0 0 0 17200 2603 0 0 16 0 1 0 19749911 2715648 356 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 356 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 198.06
Current children cumulated vsize (Kb) 4780

[startup+260.02 s]
Raw data (loadavg): 1.19 1.09 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 386 0 0 0 17917 2701 0 0 16 0 1 0 19749911 2715648 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 356 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 206.21
Current children cumulated vsize (Kb) 4780

[startup+270.02 s]
Raw data (loadavg): 1.16 1.09 0.97 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 386 0 0 0 18649 2795 0 0 16 0 1 0 19749911 2715648 356 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 356 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 214.47
Current children cumulated vsize (Kb) 4780

[startup+280.021 s]
Raw data (loadavg): 1.14 1.08 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 388 0 0 0 19319 2903 0 0 16 0 1 0 19749911 2715648 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 358 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (Kb) 4780

[startup+290.021 s]
Raw data (loadavg): 1.12 1.08 0.97 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 388 0 0 0 19935 3028 0 0 15 0 1 0 19749911 2715648 358 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5319/statm): 663 358 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 229.66
Current children cumulated vsize (Kb) 4780

[startup+300.021 s]
Raw data (loadavg): 1.10 1.08 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 388 0 0 0 20694 3108 0 0 15 0 1 0 19749911 2715648 358 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 358 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 238.05
Current children cumulated vsize (Kb) 4780

[startup+310.022 s]
Raw data (loadavg): 1.08 1.07 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 389 0 0 0 21407 3204 0 0 15 0 1 0 19749911 2715648 359 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5319/statm): 663 359 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 246.14
Current children cumulated vsize (Kb) 4780

[startup+320.023 s]
Raw data (loadavg): 1.07 1.07 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 398 0 0 0 22073 3319 0 0 15 0 1 0 19749911 2715648 368 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 368 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 253.95
Current children cumulated vsize (Kb) 4780

[startup+330.024 s]
Raw data (loadavg): 1.06 1.07 0.97 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) R 5316 5316 4060 0 -1 0 398 0 0 0 22688 3446 0 0 16 0 1 0 19749911 2715648 368 4294967295 134512640 134702520 3221223952 3221222720 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5319/statm): 663 368 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 261.37
Current children cumulated vsize (Kb) 4780

[startup+340.025 s]
Raw data (loadavg): 1.05 1.07 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 398 0 0 0 23465 3521 0 0 16 0 1 0 19749911 2715648 368 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 368 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 269.89
Current children cumulated vsize (Kb) 4780

[startup+350.025 s]
Raw data (loadavg): 1.04 1.06 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 398 0 0 0 24152 3627 0 0 15 0 1 0 19749911 2715648 368 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 368 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 277.82
Current children cumulated vsize (Kb) 4780

[startup+360.026 s]
Raw data (loadavg): 1.03 1.06 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 402 0 0 0 24819 3737 0 0 16 0 1 0 19749911 2715648 372 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 372 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 285.59
Current children cumulated vsize (Kb) 4780

[startup+370.026 s]
Raw data (loadavg): 1.10 1.07 0.97 2/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 402 0 0 0 25434 3865 0 0 16 0 1 0 19749911 2715648 372 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 372 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 293.02
Current children cumulated vsize (Kb) 4780

[startup+380.027 s]
Raw data (loadavg): 1.09 1.07 0.97 1/56 5319
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 330 232 0 0 1 1 0 1 18 0 1 0 19749904 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 242 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5319/stat): 5319 (vallst) T 5316 5316 4060 0 -1 0 402 0 0 0 26218 3937 0 0 16 0 1 0 19749911 2715648 372 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5319/statm): 663 372 413 48 0 615 0
[pid=5319] vsize: 2652
Current children cumulated CPU time (s) 301.58
Current children cumulated vsize (Kb) 4780
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=5319) exited with status: 2
New process pid=5320
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=5320) exited with status: 0
New process pid=5321
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+390.028 s]
Raw data (loadavg): 1.07 1.07 0.97 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 230 0 0 0 317 140 0 0 17 0 1 0 19788141 2027520 200 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 495 200 413 48 0 447 0
[pid=5321] vsize: 1980
Current children cumulated CPU time (s) 308.09
Current children cumulated vsize (Kb) 4108

[startup+400.028 s]
Raw data (loadavg): 1.13 1.08 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 268 0 0 0 772 321 0 0 15 0 1 0 19788141 2572288 238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 238 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 314.45
Current children cumulated vsize (Kb) 4640

[startup+410.028 s]
Raw data (loadavg): 1.11 1.08 0.98 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 269 0 0 0 1201 513 0 0 16 0 1 0 19788141 2572288 239 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 239 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 320.66
Current children cumulated vsize (Kb) 4640

[startup+420.028 s]
Raw data (loadavg): 1.10 1.08 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 277 0 0 0 1681 684 0 0 16 0 1 0 19788141 2572288 247 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 247 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 327.17
Current children cumulated vsize (Kb) 4640

[startup+430.03 s]
Raw data (loadavg): 1.08 1.07 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 278 0 0 0 2119 868 0 0 16 0 1 0 19788141 2572288 248 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 248 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 333.39
Current children cumulated vsize (Kb) 4640

[startup+440.031 s]
Raw data (loadavg): 1.07 1.07 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 280 0 0 0 2615 1038 0 0 15 0 1 0 19788141 2572288 250 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 250 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 340.05
Current children cumulated vsize (Kb) 4640

[startup+450.03 s]
Raw data (loadavg): 1.06 1.07 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 284 0 0 0 3071 1210 0 0 16 0 1 0 19788141 2572288 254 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 254 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 346.33
Current children cumulated vsize (Kb) 4640

[startup+460.031 s]
Raw data (loadavg): 1.05 1.06 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 286 0 0 0 3568 1374 0 0 15 0 1 0 19788141 2572288 256 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 256 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 352.94
Current children cumulated vsize (Kb) 4640

[startup+470.031 s]
Raw data (loadavg): 1.11 1.08 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 287 0 0 0 4014 1552 0 0 16 0 1 0 19788141 2572288 257 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 257 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 359.18
Current children cumulated vsize (Kb) 4640

[startup+480.032 s]
Raw data (loadavg): 1.10 1.07 0.98 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 291 0 0 0 4506 1715 0 0 15 0 1 0 19788141 2572288 261 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 261 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 365.73
Current children cumulated vsize (Kb) 4640

[startup+490.033 s]
Raw data (loadavg): 1.15 1.09 0.99 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 295 0 0 0 4981 1887 0 0 16 0 1 0 19788141 2572288 265 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 265 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 372.2
Current children cumulated vsize (Kb) 4640

[startup+500.033 s]
Raw data (loadavg): 1.13 1.08 0.99 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 296 0 0 0 5441 2064 0 0 16 0 1 0 19788141 2572288 266 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 266 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 378.57
Current children cumulated vsize (Kb) 4640

[startup+510.034 s]
Raw data (loadavg): 1.11 1.08 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 303 0 0 0 5929 2233 0 0 16 0 1 0 19788141 2572288 273 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 273 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 385.14
Current children cumulated vsize (Kb) 4640

[startup+520.035 s]
Raw data (loadavg): 1.09 1.08 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 304 0 0 0 6382 2419 0 0 16 0 1 0 19788141 2572288 274 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 274 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 391.53
Current children cumulated vsize (Kb) 4640

[startup+530.035 s]
Raw data (loadavg): 1.08 1.08 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 306 0 0 0 6884 2586 0 0 15 0 1 0 19788141 2572288 276 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 276 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 398.22
Current children cumulated vsize (Kb) 4640

[startup+540.036 s]
Raw data (loadavg): 1.06 1.07 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 307 0 0 0 7392 2750 0 0 16 0 1 0 19788141 2572288 277 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 277 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 404.94
Current children cumulated vsize (Kb) 4640

[startup+550.037 s]
Raw data (loadavg): 1.05 1.07 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 308 0 0 0 7865 2919 0 0 16 0 1 0 19788141 2572288 278 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 278 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 411.36
Current children cumulated vsize (Kb) 4640

[startup+560.038 s]
Raw data (loadavg): 1.05 1.07 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 309 0 0 0 8367 3086 0 0 15 0 1 0 19788141 2572288 279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 279 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 418.05
Current children cumulated vsize (Kb) 4640

[startup+570.038 s]
Raw data (loadavg): 1.04 1.06 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 311 0 0 0 8821 3269 0 0 15 0 1 0 19788141 2572288 281 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 628 281 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 424.42
Current children cumulated vsize (Kb) 4640

[startup+580.039 s]
Raw data (loadavg): 1.03 1.06 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 312 0 0 0 9330 3437 0 0 15 0 1 0 19788141 2572288 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 282 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 431.19
Current children cumulated vsize (Kb) 4640

[startup+590.04 s]
Raw data (loadavg): 1.03 1.06 0.99 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 314 0 0 0 9849 3598 0 0 16 0 1 0 19788141 2572288 284 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 628 284 413 48 0 580 0
[pid=5321] vsize: 2512
Current children cumulated CPU time (s) 437.99
Current children cumulated vsize (Kb) 4640

[startup+600.04 s]
Raw data (loadavg): 1.02 1.06 0.99 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 318 0 0 0 10316 3767 0 0 15 0 1 0 19788141 2707456 288 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 661 288 413 48 0 613 0
[pid=5321] vsize: 2644
Current children cumulated CPU time (s) 444.35
Current children cumulated vsize (Kb) 4772

[startup+610.042 s]
Raw data (loadavg): 1.02 1.05 0.99 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 319 0 0 0 10842 3925 0 0 16 0 1 0 19788141 2699264 289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 289 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 451.19
Current children cumulated vsize (Kb) 4764

[startup+620.042 s]
Raw data (loadavg): 1.10 1.07 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 371 0 0 0 11357 4085 0 0 16 0 1 0 19788141 2699264 341 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 341 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (Kb) 4764

[startup+630.043 s]
Raw data (loadavg): 1.08 1.07 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 373 0 0 0 11822 4263 0 0 16 0 1 0 19788141 2699264 343 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 343 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 464.37
Current children cumulated vsize (Kb) 4764

[startup+640.044 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 380 0 0 0 12344 4416 0 0 15 0 1 0 19788141 2699264 350 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 350 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 471.12
Current children cumulated vsize (Kb) 4764

[startup+650.044 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 381 0 0 0 12856 4579 0 0 16 0 1 0 19788141 2699264 351 4294967295 134512640 134702520 3221223712 3221222992 134553603 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 351 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 477.87
Current children cumulated vsize (Kb) 4764

[startup+660.044 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 381 0 0 0 13333 4747 0 0 15 0 1 0 19788141 2699264 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 351 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 484.32
Current children cumulated vsize (Kb) 4764

[startup+670.045 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 382 0 0 0 13855 4904 0 0 16 0 1 0 19788141 2699264 352 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 352 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 491.11
Current children cumulated vsize (Kb) 4764

[startup+680.046 s]
Raw data (loadavg): 1.11 1.07 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 385 0 0 0 14374 5067 0 0 16 0 1 0 19788141 2699264 355 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 355 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 497.93
Current children cumulated vsize (Kb) 4764

[startup+690.047 s]
Raw data (loadavg): 1.09 1.07 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 386 0 0 0 14846 5240 0 0 16 0 1 0 19788141 2699264 356 4294967295 134512640 134702520 3221223712 3221222688 1074752273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 356 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 504.38
Current children cumulated vsize (Kb) 4764

[startup+700.046 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 387 0 0 0 15394 5391 0 0 16 0 1 0 19788141 2699264 357 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 357 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 511.37
Current children cumulated vsize (Kb) 4764

[startup+710.047 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 387 0 0 0 15915 5553 0 0 16 0 1 0 19788141 2699264 357 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 357 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 518.2
Current children cumulated vsize (Kb) 4764

[startup+720.048 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 388 0 0 0 16420 5713 0 0 15 0 1 0 19788141 2699264 358 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 358 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 524.85
Current children cumulated vsize (Kb) 4764

[startup+730.05 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 390 0 0 0 16945 5868 0 0 15 0 1 0 19788141 2699264 360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 360 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 531.65
Current children cumulated vsize (Kb) 4764

[startup+740.05 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 393 0 0 0 17475 6028 0 0 15 0 1 0 19788141 2699264 363 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 363 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 538.55
Current children cumulated vsize (Kb) 4764

[startup+750.051 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 397 0 0 0 18013 6183 0 0 16 0 1 0 19788141 2699264 367 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 367 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 545.48
Current children cumulated vsize (Kb) 4764

[startup+760.052 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 397 0 0 0 18507 6345 0 0 16 0 1 0 19788141 2699264 367 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 367 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 552.04
Current children cumulated vsize (Kb) 4764

[startup+770.053 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 399 0 0 0 19048 6502 0 0 15 0 1 0 19788141 2699264 369 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 369 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 559.02
Current children cumulated vsize (Kb) 4764

[startup+780.053 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 399 0 0 0 19578 6659 0 0 15 0 1 0 19788141 2699264 369 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 369 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 565.89
Current children cumulated vsize (Kb) 4764

[startup+790.054 s]
Raw data (loadavg): 1.16 1.09 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 400 0 0 0 20074 6822 0 0 15 0 1 0 19788141 2699264 370 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 370 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 572.48
Current children cumulated vsize (Kb) 4764

[startup+800.055 s]
Raw data (loadavg): 1.14 1.09 1.01 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 400 0 0 0 20620 6970 0 0 16 0 1 0 19788141 2699264 370 4294967295 134512640 134702520 3221223712 3221223116 1074230029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 370 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 579.42
Current children cumulated vsize (Kb) 4764

[startup+810.056 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 402 0 0 0 21163 7123 0 0 16 0 1 0 19788141 2699264 372 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 372 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 586.38
Current children cumulated vsize (Kb) 4764

[startup+820.056 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 403 0 0 0 21715 7272 0 0 16 0 1 0 19788141 2699264 373 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 373 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 593.39
Current children cumulated vsize (Kb) 4764

[startup+830.057 s]
Raw data (loadavg): 1.08 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 405 0 0 0 22204 7444 0 0 15 0 1 0 19788141 2699264 375 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 375 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 600
Current children cumulated vsize (Kb) 4764

[startup+840.058 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 405 0 0 0 22754 7590 0 0 16 0 1 0 19788141 2699264 375 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 375 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 606.96
Current children cumulated vsize (Kb) 4764

[startup+850.059 s]
Raw data (loadavg): 1.06 1.07 1.01 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 405 0 0 0 23290 7750 0 0 16 0 1 0 19788141 2699264 375 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 375 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 613.92
Current children cumulated vsize (Kb) 4764

[startup+860.059 s]
Raw data (loadavg): 1.05 1.07 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 405 0 0 0 23826 7901 0 0 16 0 1 0 19788141 2699264 375 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 375 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 620.79
Current children cumulated vsize (Kb) 4764

[startup+870.06 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 407 0 0 0 24321 8061 0 0 15 0 1 0 19788141 2699264 377 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 377 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 627.34
Current children cumulated vsize (Kb) 4764

[startup+880.061 s]
Raw data (loadavg): 1.03 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 407 0 0 0 24869 8213 0 0 16 0 1 0 19788141 2699264 377 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 659 377 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 634.34
Current children cumulated vsize (Kb) 4764

[startup+890.062 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 409 0 0 0 25420 8360 0 0 16 0 1 0 19788141 2699264 379 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 659 379 413 48 0 611 0
[pid=5321] vsize: 2636
Current children cumulated CPU time (s) 641.32
Current children cumulated vsize (Kb) 4764

[startup+900.062 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 410 0 0 0 25954 8511 0 0 15 0 1 0 19788141 2834432 380 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 692 380 413 48 0 644 0
[pid=5321] vsize: 2768
Current children cumulated CPU time (s) 648.17
Current children cumulated vsize (Kb) 4896

[startup+910.063 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 412 0 0 0 26472 8675 0 0 15 0 1 0 19788141 2830336 382 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 691 382 413 48 0 643 0
[pid=5321] vsize: 2764
Current children cumulated CPU time (s) 654.99
Current children cumulated vsize (Kb) 4892

[startup+920.063 s]
Raw data (loadavg): 1.06 1.07 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 455 0 0 0 27031 8819 0 0 16 0 1 0 19788141 2969600 425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 725 425 413 48 0 677 0
[pid=5321] vsize: 2900
Current children cumulated CPU time (s) 662.02
Current children cumulated vsize (Kb) 5028

[startup+930.064 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 839 0 0 0 27776 8903 0 0 15 0 1 0 19788141 4546560 809 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1110 809 413 48 0 1062 0
[pid=5321] vsize: 4440
Current children cumulated CPU time (s) 670.31
Current children cumulated vsize (Kb) 6568

[startup+940.065 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1059 0 0 0 28593 8964 0 0 16 0 1 0 19788141 5390336 1029 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 1316 1029 413 48 0 1268 0
[pid=5321] vsize: 5264
Current children cumulated CPU time (s) 679.09
Current children cumulated vsize (Kb) 7392

[startup+950.064 s]
Raw data (loadavg): 1.10 1.07 1.01 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1213 0 0 0 29414 9024 0 0 16 0 1 0 19788141 6107136 1183 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5321/statm): 1491 1183 413 48 0 1443 0
[pid=5321] vsize: 5964
Current children cumulated CPU time (s) 687.9
Current children cumulated vsize (Kb) 8092

[startup+960.065 s]
Raw data (loadavg): 1.08 1.07 1.01 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1330 0 0 0 30260 9075 0 0 17 0 1 0 19788141 6541312 1300 4294967295 134512640 134702520 3221223712 3221222992 134552900 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1597 1300 413 48 0 1549 0
[pid=5321] vsize: 6388
Current children cumulated CPU time (s) 696.87
Current children cumulated vsize (Kb) 8516

[startup+970.066 s]
Raw data (loadavg): 1.07 1.07 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1521 0 0 0 31142 9115 0 0 16 0 1 0 19788141 7376896 1491 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1801 1491 413 48 0 1753 0
[pid=5321] vsize: 7204
Current children cumulated CPU time (s) 706.09
Current children cumulated vsize (Kb) 9332

[startup+980.068 s]
Raw data (loadavg): 1.14 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1642 0 0 0 31948 9180 0 0 15 0 1 0 19788141 7827456 1612 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1911 1612 413 48 0 1863 0
[pid=5321] vsize: 7644
Current children cumulated CPU time (s) 714.8
Current children cumulated vsize (Kb) 9772

[startup+990.068 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1642 0 0 0 32579 9301 0 0 16 0 1 0 19788141 7827456 1612 4294967295 134512640 134702520 3221223712 3221222480 134557715 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1911 1612 413 48 0 1863 0
[pid=5321] vsize: 7644
Current children cumulated CPU time (s) 722.32
Current children cumulated vsize (Kb) 9772

[startup+1000.07 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1642 0 0 0 33314 9385 0 0 16 0 1 0 19788141 7827456 1612 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1911 1612 413 48 0 1863 0
[pid=5321] vsize: 7644
Current children cumulated CPU time (s) 730.51
Current children cumulated vsize (Kb) 9772

[startup+1010.07 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1642 0 0 0 34127 9451 0 0 16 0 1 0 19788141 7827456 1612 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1911 1612 413 48 0 1863 0
[pid=5321] vsize: 7644
Current children cumulated CPU time (s) 739.3
Current children cumulated vsize (Kb) 9772

[startup+1020.07 s]
Raw data (loadavg): 1.07 1.07 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1642 0 0 0 34951 9510 0 0 16 0 1 0 19788141 7827456 1612 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1911 1612 413 48 0 1863 0
[pid=5321] vsize: 7644
Current children cumulated CPU time (s) 748.13
Current children cumulated vsize (Kb) 9772

[startup+1030.07 s]
Raw data (loadavg): 1.06 1.07 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1643 0 0 0 35810 9562 0 0 17 0 1 0 19788141 7831552 1613 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1912 1613 413 48 0 1864 0
[pid=5321] vsize: 7648
Current children cumulated CPU time (s) 757.24
Current children cumulated vsize (Kb) 9776

[startup+1040.07 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1643 0 0 0 36683 9604 0 0 16 0 1 0 19788141 7831552 1613 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1912 1613 413 48 0 1864 0
[pid=5321] vsize: 7648
Current children cumulated CPU time (s) 766.39
Current children cumulated vsize (Kb) 9776

[startup+1050.07 s]
Raw data (loadavg): 1.04 1.06 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1643 0 0 0 37553 9649 0 0 17 0 1 0 19788141 7831552 1613 4294967295 134512640 134702520 3221223712 3221223104 134604468 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1912 1613 413 48 0 1864 0
[pid=5321] vsize: 7648
Current children cumulated CPU time (s) 775.54
Current children cumulated vsize (Kb) 9776

[startup+1060.07 s]
Raw data (loadavg): 1.03 1.06 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1643 0 0 0 38461 9682 0 0 17 0 1 0 19788141 7831552 1613 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1912 1613 413 48 0 1864 0
[pid=5321] vsize: 7648
Current children cumulated CPU time (s) 784.95
Current children cumulated vsize (Kb) 9776

[startup+1070.08 s]
Raw data (loadavg): 1.03 1.06 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1702 0 0 0 39359 9719 0 0 17 0 1 0 19788141 8122368 1672 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1983 1672 413 48 0 1935 0
[pid=5321] vsize: 7932
Current children cumulated CPU time (s) 794.3
Current children cumulated vsize (Kb) 10060

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1725 0 0 0 40259 9754 0 0 17 0 1 0 19788141 8122368 1695 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 1983 1695 413 48 0 1935 0
[pid=5321] vsize: 7932
Current children cumulated CPU time (s) 803.65
Current children cumulated vsize (Kb) 10060

[startup+1090.08 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) T 5316 5316 4060 0 -1 0 1755 0 0 0 41123 9800 0 0 16 0 1 0 19788141 8196096 1724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5321/statm): 2001 1724 413 48 0 1953 0
[pid=5321] vsize: 8004
Current children cumulated CPU time (s) 812.75
Current children cumulated vsize (Kb) 10132

[startup+1100.08 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5321
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 378 778 0 0 1 1 26394 3956 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5321/stat): 5321 (vallst) R 5316 5316 4060 0 -1 0 1755 0 0 0 41829 9901 0 0 16 0 1 0 19788141 8196096 1724 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5321/statm): 2001 1724 413 48 0 1953 0
[pid=5321] vsize: 8004
Current children cumulated CPU time (s) 820.82
Current children cumulated vsize (Kb) 10132
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=5321) exited with status: 2
New process pid=5322
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=5322) exited with status: 0
New process pid=5323
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+1110.08 s]
Raw data (loadavg): 1.01 1.05 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 335 0 0 0 168 22 0 0 20 0 1 0 19860691 2789376 305 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 681 305 413 48 0 633 0
[pid=5323] vsize: 2724
Current children cumulated CPU time (s) 829.19
Current children cumulated vsize (Kb) 4852

[startup+1120.08 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 337 0 0 0 867 125 0 0 20 0 1 0 19860691 2789376 307 4294967295 134512640 134702520 3221223712 3221223024 134617890 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 681 307 413 48 0 633 0
[pid=5323] vsize: 2724
Current children cumulated CPU time (s) 837.21
Current children cumulated vsize (Kb) 4852

[startup+1130.08 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 381 0 0 0 1576 218 0 0 17 0 1 0 19860691 4108288 351 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1003 351 413 48 0 955 0
[pid=5323] vsize: 4012
Current children cumulated CPU time (s) 845.23
Current children cumulated vsize (Kb) 6140

[startup+1140.08 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 388 0 0 0 2093 378 0 0 16 0 1 0 19860691 4235264 358 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 358 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 852
Current children cumulated vsize (Kb) 6264

[startup+1150.08 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 388 0 0 0 2623 530 0 0 16 0 1 0 19860691 4235264 358 4294967295 134512640 134702520 3221223712 3221222480 134550856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 358 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 858.82
Current children cumulated vsize (Kb) 6264

[startup+1160.08 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 389 0 0 0 3183 674 0 0 16 0 1 0 19860691 4235264 359 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 359 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 865.86
Current children cumulated vsize (Kb) 6264

[startup+1170.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 392 0 0 0 3700 832 0 0 15 0 1 0 19860691 4235264 362 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 362 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 872.61
Current children cumulated vsize (Kb) 6264

[startup+1180.09 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 393 0 0 0 4280 972 0 0 15 0 1 0 19860691 4235264 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 363 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 879.81
Current children cumulated vsize (Kb) 6264

[startup+1190.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 394 0 0 0 4792 1135 0 0 15 0 1 0 19860691 4235264 364 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 364 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 886.56
Current children cumulated vsize (Kb) 6264

[startup+1200.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 401 0 0 0 5307 1293 0 0 15 0 1 0 19860691 4235264 371 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 371 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 893.29
Current children cumulated vsize (Kb) 6264

[startup+1210.09 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 402 0 0 0 5892 1435 0 0 15 0 1 0 19860691 4235264 372 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 372 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 900.56
Current children cumulated vsize (Kb) 6264

[startup+1220.09 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 402 0 0 0 6435 1588 0 0 16 0 1 0 19860691 4235264 372 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 372 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 907.52
Current children cumulated vsize (Kb) 6264

[startup+1230.09 s]
Raw data (loadavg): 1.09 1.06 1.00 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 403 0 0 0 6952 1748 0 0 16 0 1 0 19860691 4235264 373 4294967295 134512640 134702520 3221223712 3221222480 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 373 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 914.29
Current children cumulated vsize (Kb) 6264

[startup+1240.09 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 404 0 0 0 7556 1879 0 0 15 0 1 0 19860691 4235264 374 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 374 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 921.64
Current children cumulated vsize (Kb) 6264

[startup+1250.09 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 405 0 0 0 8091 2028 0 0 16 0 1 0 19860691 4235264 375 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 375 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 928.48
Current children cumulated vsize (Kb) 6264

[startup+1260.09 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 405 0 0 0 8612 2188 0 0 16 0 1 0 19860691 4235264 375 4294967295 134512640 134702520 3221223712 3221222480 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 375 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 935.29
Current children cumulated vsize (Kb) 6264

[startup+1270.09 s]
Raw data (loadavg): 1.19 1.08 1.01 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 409 0 0 0 9209 2322 0 0 16 0 1 0 19860691 4235264 379 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 379 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 942.6
Current children cumulated vsize (Kb) 6264

[startup+1280.09 s]
Raw data (loadavg): 1.16 1.08 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 436 0 0 0 9776 2466 0 0 16 0 1 0 19860691 4235264 406 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 406 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 949.71
Current children cumulated vsize (Kb) 6264

[startup+1290.09 s]
Raw data (loadavg): 1.14 1.08 1.01 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 438 0 0 0 10322 2612 0 0 16 0 1 0 19860691 4235264 408 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 408 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 956.63
Current children cumulated vsize (Kb) 6264

[startup+1300.09 s]
Raw data (loadavg): 1.19 1.09 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 439 0 0 0 10904 2751 0 0 16 0 1 0 19860691 4235264 409 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 409 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 963.84
Current children cumulated vsize (Kb) 6264

[startup+1310.09 s]
Raw data (loadavg): 1.16 1.09 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 440 0 0 0 11470 2893 0 0 15 0 1 0 19860691 4235264 410 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 410 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 970.92
Current children cumulated vsize (Kb) 6264

[startup+1320.09 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 441 0 0 0 12036 3033 0 0 16 0 1 0 19860691 4235264 411 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 411 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 977.98
Current children cumulated vsize (Kb) 6264

[startup+1330.1 s]
Raw data (loadavg): 1.18 1.10 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 444 0 0 0 12589 3184 0 0 16 0 1 0 19860691 4235264 414 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 414 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 985.02
Current children cumulated vsize (Kb) 6264

[startup+1340.1 s]
Raw data (loadavg): 1.15 1.09 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 445 0 0 0 13198 3310 0 0 16 0 1 0 19860691 4235264 415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 415 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 992.37
Current children cumulated vsize (Kb) 6264

[startup+1350.1 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 480 0 0 0 13767 3451 0 0 16 0 1 0 19860691 4235264 450 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 450 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 999.47
Current children cumulated vsize (Kb) 6264

[startup+1360.1 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 490 0 0 0 14341 3596 0 0 15 0 1 0 19860691 4235264 460 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 460 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 1006.66
Current children cumulated vsize (Kb) 6264

[startup+1370.1 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 490 0 0 0 14934 3734 0 0 16 0 1 0 19860691 4235264 460 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 460 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 1013.97
Current children cumulated vsize (Kb) 6264

[startup+1380.1 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 492 0 0 0 15532 3865 0 0 16 0 1 0 19860691 4235264 462 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 462 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 1021.26
Current children cumulated vsize (Kb) 6264

[startup+1390.1 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 492 0 0 0 16099 4010 0 0 16 0 1 0 19860691 4235264 462 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 462 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 1028.38
Current children cumulated vsize (Kb) 6264

[startup+1400.1 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 515 0 0 0 16662 4155 0 0 15 0 1 0 19860691 4235264 485 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1034 485 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 1035.46
Current children cumulated vsize (Kb) 6264

[startup+1410.1 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 516 0 0 0 17237 4299 0 0 15 0 1 0 19860691 4235264 486 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1034 486 413 48 0 986 0
[pid=5323] vsize: 4136
Current children cumulated CPU time (s) 1042.65
Current children cumulated vsize (Kb) 6264

[startup+1420.1 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 517 0 0 0 17812 4434 0 0 16 0 1 0 19860691 4370432 487 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1067 487 413 48 0 1019 0
[pid=5323] vsize: 4268
Current children cumulated CPU time (s) 1049.75
Current children cumulated vsize (Kb) 6396

[startup+1430.1 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 518 0 0 0 18375 4580 0 0 16 0 1 0 19860691 4358144 488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1064 488 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1056.84
Current children cumulated vsize (Kb) 6384

[startup+1440.1 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 558 0 0 0 18943 4730 0 0 15 0 1 0 19860691 4358144 528 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 528 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1064.02
Current children cumulated vsize (Kb) 6384

[startup+1450.11 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 559 0 0 0 19503 4878 0 0 15 0 1 0 19860691 4358144 529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 529 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1071.1
Current children cumulated vsize (Kb) 6384

[startup+1460.11 s]
Raw data (loadavg): 1.12 1.10 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 559 0 0 0 20071 5021 0 0 16 0 1 0 19860691 4358144 529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1064 529 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1078.21
Current children cumulated vsize (Kb) 6384

[startup+1470.11 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 559 0 0 0 20629 5163 0 0 16 0 1 0 19860691 4358144 529 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1064 529 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1085.21
Current children cumulated vsize (Kb) 6384

[startup+1480.11 s]
Raw data (loadavg): 1.09 1.09 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 560 0 0 0 21167 5324 0 0 15 0 1 0 19860691 4358144 530 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 530 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1092.2
Current children cumulated vsize (Kb) 6384

[startup+1490.11 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 561 0 0 0 21759 5462 0 0 16 0 1 0 19860691 4358144 531 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 531 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1099.5
Current children cumulated vsize (Kb) 6384

[startup+1500.11 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 615 0 0 0 22368 5591 0 0 16 0 1 0 19860691 4358144 585 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1064 585 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1106.88
Current children cumulated vsize (Kb) 6384

[startup+1510.11 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 734 0 0 0 23004 5711 0 0 15 0 1 0 19860691 4358144 704 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1064 704 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1114.44
Current children cumulated vsize (Kb) 6384

[startup+1520.11 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 737 0 0 0 23583 5849 0 0 16 0 1 0 19860691 4358144 707 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 707 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (Kb) 6384

[startup+1530.11 s]
Raw data (loadavg): 1.08 1.09 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 737 0 0 0 24092 6010 0 0 16 0 1 0 19860691 4358144 707 4294967295 134512640 134702520 3221223712 3221222480 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 707 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1128.31
Current children cumulated vsize (Kb) 6384

[startup+1540.11 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 739 0 0 0 24692 6142 0 0 16 0 1 0 19860691 4358144 709 4294967295 134512640 134702520 3221223712 3221223116 1074229989 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1064 709 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1135.63
Current children cumulated vsize (Kb) 6384

[startup+1550.11 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 740 0 0 0 25282 6278 0 0 16 0 1 0 19860691 4358144 710 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1064 710 413 48 0 1016 0
[pid=5323] vsize: 4256
Current children cumulated CPU time (s) 1142.89
Current children cumulated vsize (Kb) 6384

[startup+1560.11 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 741 0 0 0 25837 6426 0 0 15 0 1 0 19860691 4362240 711 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1065 711 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1149.92
Current children cumulated vsize (Kb) 6388

[startup+1570.12 s]
Raw data (loadavg): 1.04 1.08 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 741 0 0 0 26331 6595 0 0 16 0 1 0 19860691 4362240 711 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1065 711 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1156.55
Current children cumulated vsize (Kb) 6388

[startup+1580.12 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 742 0 0 0 26908 6734 0 0 16 0 1 0 19860691 4362240 712 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1065 712 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1163.71
Current children cumulated vsize (Kb) 6388

[startup+1590.12 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 742 0 0 0 27473 6876 0 0 15 0 1 0 19860691 4362240 712 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1065 712 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1170.78
Current children cumulated vsize (Kb) 6388

[startup+1600.12 s]
Raw data (loadavg): 1.02 1.07 1.01 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 744 0 0 0 28072 7012 0 0 15 0 1 0 19860691 4362240 714 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1065 714 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1178.13
Current children cumulated vsize (Kb) 6388

[startup+1610.12 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 745 0 0 0 28572 7179 0 0 15 0 1 0 19860691 4362240 715 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1065 715 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1184.8
Current children cumulated vsize (Kb) 6388

[startup+1620.12 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 746 0 0 0 29132 7323 0 0 16 0 1 0 19860691 4362240 716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5323/statm): 1065 716 413 48 0 1017 0
[pid=5323] vsize: 4260
Current children cumulated CPU time (s) 1191.84
Current children cumulated vsize (Kb) 6388

[startup+1630.12 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) T 5316 5316 4060 0 -1 0 747 0 0 0 29700 7463 0 0 15 0 1 0 19860691 4489216 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1096 717 413 48 0 1048 0
[pid=5323] vsize: 4384
Current children cumulated CPU time (s) 1198.92
Current children cumulated vsize (Kb) 6512

[startup+1640.12 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 936 0 0 0 30445 7547 0 0 16 0 1 0 19860691 5308416 906 4294967295 134512640 134702520 3221223712 3221223136 134594811 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1296 906 413 48 0 1248 0
[pid=5323] vsize: 5184
Current children cumulated CPU time (s) 1207.21
Current children cumulated vsize (Kb) 7312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1640.12 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5323
Raw data (/proc/5316/stat): 5316 (vallstSAT2005PB) S 5315 5316 4060 0 -1 0 417 2677 0 0 2 1 68809 13917 17 0 1 0 19749904 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5316/statm): 532 248 485 147 0 385 0
[pid=5316] vsize: 2128
Raw data (/proc/5323/stat): 5323 (vallst) R 5316 5316 4060 0 -1 0 936 0 0 0 30445 7547 0 0 16 0 1 0 19860691 5308416 906 4294967295 134512640 134702520 3221223712 3221223136 134594811 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5323/statm): 1296 906 413 48 0 1248 0
[pid=5323] vsize: 5184
Current children cumulated CPU time (s) 1207.21
Current children cumulated vsize (Kb) 7312

Sending SIGTERM to -5316
Sleeping 2 seconds
New process pid=5325
New process pid=5326
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5323) exited with status: 3
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/5277/stat
open syscall for file /proc/5277/status
open syscall for file /proc/5277/cmdline
open syscall for file /proc/5277/environ
open syscall for file /proc/5315/stat
open syscall for file /proc/5315/status
open syscall for file /proc/5315/cmdline
open syscall for file /proc/5315/environ
open syscall for file /proc/5316/stat
open syscall for file /proc/5316/status
open syscall for file /proc/5316/cmdline
open syscall for file /proc/5316/environ
open syscall for file /proc/5325/stat
open syscall for file /proc/5325/status
open syscall for file /proc/5325/cmdline
open syscall for file /proc/5325/environ
open syscall for file /proc/5326/stat
open syscall for file /proc/5326/status
open syscall for file /proc/5326/cmdline
open syscall for file /proc/5326/environ
One traced child (pid=5325) exited with status: 0
One traced child (pid=5326) exited with status: 0
New process pid=5327
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=5327) exited with status: 0
New process pid=5328
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=5328) exited with status: 0
One traced child (pid=5316) 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): 1640.6
CPU time (s): 1207.4
CPU user time (s): 992.659
CPU system time (s): 214.737
CPU usage (%): 73.5947
Max. virtual memory (cumulated for all children) (Kb): 10132

Verifier Data

ERROR: no interpretation found !