Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb
MD5SUMbf9bbda6f586f0b888182a433f63f010
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 13107200
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 52829966
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9304
Total number of constraints728
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint1000

Trace number 9323

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        944308 kB
Buffers:          9964 kB
Cached:          63408 kB
SwapCached:          0 kB
Active:          43372 kB
Inactive:        32924 kB
HighTotal:      131008 kB
HighFree:        63336 kB
LowTotal:       903652 kB
LowFree:        880972 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8556 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:45:00 (client local time) WITH STATUS 0 IN 1207.26 SECONDS
stats: 8038 7 1207.26 0

Solver Data

1:
seed: 0
Nr of vars set: 2899  (#equs: 0)
Nr of vars set: 2904  (#equs: 0)
#decisions: 96650;  #end-nodes: 9448;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 122 (103)
#axs: 817, #non-axs: 225
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 2904  (#equs: 0)
Time taken: 7 min, 2 sec

2:
seed: 0
Nr of vars set: 2904  (#equs: 0)
Nr of vars set: 2904  (#equs: 0)
Interupt request received.
#decisions: 644398;  #end-nodes: 88607;
#proof improvement attempts: 0;  #restarts: 464
Current batch, end-nodes: 31 / 246 (236)
#axs: 817, #non-axs: 1297
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3763  (#equs: 0)
Time taken: 13 min, 4 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/5746/stat): 5746 (vallstSAT2005PB) R 5745 5746 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20128354 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5746/statm): 174 3 169 147 0 27 0
[pid=5746] 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=5747
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=5747) exited with status: 0
New process pid=5748
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=5748) exited with status: 0
New process pid=5749
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/wulflinc28/normalized-mps-v2-13-7-danoint.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0024 s]
Raw data (loadavg): 0.96 1.05 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 948 0 0 0 960 13 0 0 25 0 1 0 20128363 5332992 861 4294967295 134512640 134702520 3221223952 3221223088 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 1302 861 413 48 0 1254 0
[pid=5749] vsize: 5208
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (Kb) 7336

[startup+20.0031 s]
Raw data (loadavg): 0.97 1.05 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 973 0 0 0 1955 14 0 0 25 0 1 0 20128363 8572928 886 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 886 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 10500

[startup+30.0038 s]
Raw data (loadavg): 0.97 1.04 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1002 0 0 0 2939 20 0 0 25 0 1 0 20128363 8572928 915 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 915 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (Kb) 10500

[startup+40.0045 s]
Raw data (loadavg): 0.97 1.04 1.03 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1018 0 0 0 3927 25 0 0 25 0 1 0 20128363 8572928 931 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 931 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 39.54
Current children cumulated vsize (Kb) 10500

[startup+50.0051 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1034 0 0 0 4911 31 0 0 25 0 1 0 20128363 8572928 947 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 947 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (Kb) 10500

[startup+60.0058 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1034 0 0 0 5902 35 0 0 25 0 1 0 20128363 8572928 947 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 947 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 59.39
Current children cumulated vsize (Kb) 10500

[startup+70.0075 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 6891 38 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3220892208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 69.31
Current children cumulated vsize (Kb) 10500

[startup+80.0082 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 7881 42 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 79.25
Current children cumulated vsize (Kb) 10500

[startup+90.0089 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 8871 44 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 89.17
Current children cumulated vsize (Kb) 10500

[startup+100.01 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 9855 48 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 99.05
Current children cumulated vsize (Kb) 10500

[startup+110.01 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 10847 51 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 109
Current children cumulated vsize (Kb) 10500

[startup+120.012 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 11832 57 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 118.91
Current children cumulated vsize (Kb) 10500

[startup+130.013 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 12822 60 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3220966928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 128.84
Current children cumulated vsize (Kb) 10500

[startup+140.013 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 13815 62 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 138.79
Current children cumulated vsize (Kb) 10500

[startup+150.014 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 14806 64 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 148.72
Current children cumulated vsize (Kb) 10500

[startup+160.014 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 15797 67 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (Kb) 10500

[startup+170.014 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 16784 71 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 168.57
Current children cumulated vsize (Kb) 10500

[startup+180.015 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 17776 75 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 178.53
Current children cumulated vsize (Kb) 10500

[startup+190.017 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 18766 78 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 188.46
Current children cumulated vsize (Kb) 10500

[startup+200.017 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 19756 81 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 198.39
Current children cumulated vsize (Kb) 10500

[startup+210.018 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 20744 85 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 208.31
Current children cumulated vsize (Kb) 10500

[startup+220.019 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 21734 88 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 218.24
Current children cumulated vsize (Kb) 10500

[startup+230.019 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 22726 91 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 228.19
Current children cumulated vsize (Kb) 10500

[startup+240.02 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 23719 94 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 238.15
Current children cumulated vsize (Kb) 10500

[startup+250.022 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1042 0 0 0 24712 97 0 0 25 0 1 0 20128363 8572928 955 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 955 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 248.11
Current children cumulated vsize (Kb) 10500

[startup+260.021 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1052 0 0 0 25698 101 0 0 25 0 1 0 20128363 8572928 965 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 965 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 258.01
Current children cumulated vsize (Kb) 10500

[startup+270.022 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1052 0 0 0 26692 102 0 0 25 0 1 0 20128363 8572928 965 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 965 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 267.96
Current children cumulated vsize (Kb) 10500

[startup+280.023 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) T 5746 5746 4005 0 -1 0 1052 0 0 0 27683 106 0 0 25 0 1 0 20128363 8572928 965 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 965 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 277.91
Current children cumulated vsize (Kb) 10500

[startup+290.025 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1057 0 0 0 28671 110 0 0 25 0 1 0 20128363 8572928 970 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 970 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 287.83
Current children cumulated vsize (Kb) 10500

[startup+300.025 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1057 0 0 0 29658 115 0 0 25 0 1 0 20128363 8572928 970 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 970 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 297.75
Current children cumulated vsize (Kb) 10500

[startup+310.026 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1057 0 0 0 30651 117 0 0 25 0 1 0 20128363 8572928 970 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 970 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 307.7
Current children cumulated vsize (Kb) 10500

[startup+320.027 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1059 0 0 0 31641 121 0 0 25 0 1 0 20128363 8572928 972 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 972 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 317.64
Current children cumulated vsize (Kb) 10500

[startup+330.026 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 32632 124 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 327.58
Current children cumulated vsize (Kb) 10500

[startup+340.027 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 33623 127 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 337.52
Current children cumulated vsize (Kb) 10500

[startup+350.028 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 34618 129 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 347.49
Current children cumulated vsize (Kb) 10500

[startup+360.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 35608 133 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 357.43
Current children cumulated vsize (Kb) 10500

[startup+370.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 36593 139 0 0 24 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 367.34
Current children cumulated vsize (Kb) 10500

[startup+380.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1069 0 0 0 37585 142 0 0 25 0 1 0 20128363 8572928 982 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 982 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 377.29
Current children cumulated vsize (Kb) 10500

[startup+390.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1070 0 0 0 38581 144 0 0 25 0 1 0 20128363 8572928 983 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 983 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 387.27
Current children cumulated vsize (Kb) 10500

[startup+400.032 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) T 5746 5746 4005 0 -1 0 1070 0 0 0 39564 150 0 0 25 0 1 0 20128363 8572928 983 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 983 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 397.16
Current children cumulated vsize (Kb) 10500

[startup+410.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1073 0 0 0 40556 153 0 0 25 0 1 0 20128363 8572928 986 4294967295 134512640 134702520 3221223952 3221182268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5749/statm): 2093 986 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 10500

[startup+420.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5749
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20128354 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 242 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5749/stat): 5749 (vallst) R 5746 5746 4005 0 -1 0 1076 0 0 0 41529 163 0 0 25 0 1 0 20128363 8572928 989 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5749/statm): 2093 989 413 48 0 2045 0
[pid=5749] vsize: 8372
Current children cumulated CPU time (s) 416.94
Current children cumulated vsize (Kb) 10500
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=5749) exited with status: 2
New process pid=5750
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=5750) exited with status: 0
New process pid=5751
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+430.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 759 0 0 0 389 10 0 0 22 0 1 0 20170943 4829184 729 4294967295 134512640 134702520 3221223712 3221222828 134549068 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1179 729 413 48 0 1131 0
[pid=5751] vsize: 4716
Current children cumulated CPU time (s) 426.68
Current children cumulated vsize (Kb) 6844

[startup+440.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 767 0 0 0 1352 21 0 0 25 0 1 0 20170943 4829184 737 4294967295 134512640 134702520 3221223712 3221222848 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1179 737 413 48 0 1131 0
[pid=5751] vsize: 4716
Current children cumulated CPU time (s) 436.42
Current children cumulated vsize (Kb) 6844

[startup+450.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 874 0 0 0 2314 35 0 0 25 0 1 0 20170943 7688192 844 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1877 844 413 48 0 1829 0
[pid=5751] vsize: 7508
Current children cumulated CPU time (s) 446.18
Current children cumulated vsize (Kb) 9636

[startup+460.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 902 0 0 0 3280 47 0 0 25 0 1 0 20170943 7823360 872 4294967295 134512640 134702520 3221223712 3220966028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 872 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 455.96
Current children cumulated vsize (Kb) 9768

[startup+470.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 906 0 0 0 4238 59 0 0 25 0 1 0 20170943 7823360 876 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 876 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 465.66
Current children cumulated vsize (Kb) 9768

[startup+480.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 909 0 0 0 5202 71 0 0 25 0 1 0 20170943 7823360 879 4294967295 134512640 134702520 3221223712 3221041568 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 879 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 475.42
Current children cumulated vsize (Kb) 9768

[startup+490.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 912 0 0 0 6156 85 0 0 25 0 1 0 20170943 7823360 882 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 882 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 485.1
Current children cumulated vsize (Kb) 9768

[startup+500.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 914 0 0 0 7125 98 0 0 25 0 1 0 20170943 7823360 884 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 884 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 9768

[startup+510.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 929 0 0 0 8096 108 0 0 25 0 1 0 20170943 7823360 899 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 899 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 504.73
Current children cumulated vsize (Kb) 9768

[startup+520.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 931 0 0 0 9060 119 0 0 25 0 1 0 20170943 7823360 901 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 901 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 514.48
Current children cumulated vsize (Kb) 9768

[startup+530.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 931 0 0 0 10028 130 0 0 25 0 1 0 20170943 7823360 901 4294967295 134512640 134702520 3221223712 3220818688 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 901 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 524.27
Current children cumulated vsize (Kb) 9768

[startup+540.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 957 0 0 0 10988 145 0 0 25 0 1 0 20170943 7823360 927 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 927 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 534.02
Current children cumulated vsize (Kb) 9768

[startup+550.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 959 0 0 0 11935 163 0 0 24 0 1 0 20170943 7823360 929 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 929 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 543.67
Current children cumulated vsize (Kb) 9768

[startup+560.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 962 0 0 0 12913 170 0 0 25 0 1 0 20170943 7823360 932 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1910 932 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 553.52
Current children cumulated vsize (Kb) 9768

[startup+570.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 964 0 0 0 13867 186 0 0 25 0 1 0 20170943 7823360 934 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1910 934 413 48 0 1862 0
[pid=5751] vsize: 7640
Current children cumulated CPU time (s) 563.22
Current children cumulated vsize (Kb) 9768

[startup+580.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 968 0 0 0 14818 200 0 0 20 0 1 0 20170943 7974912 938 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1947 938 413 48 0 1899 0
[pid=5751] vsize: 7788
Current children cumulated CPU time (s) 572.87
Current children cumulated vsize (Kb) 9916

[startup+590.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 968 0 0 0 15780 215 0 0 25 0 1 0 20170943 7974912 938 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1947 938 413 48 0 1899 0
[pid=5751] vsize: 7788
Current children cumulated CPU time (s) 582.64
Current children cumulated vsize (Kb) 9916

[startup+600.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 970 0 0 0 16726 233 0 0 25 0 1 0 20170943 7950336 940 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 940 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 592.28
Current children cumulated vsize (Kb) 9892

[startup+610.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 970 0 0 0 17691 245 0 0 25 0 1 0 20170943 7950336 940 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 940 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 602.05
Current children cumulated vsize (Kb) 9892

[startup+620.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 972 0 0 0 18662 255 0 0 25 0 1 0 20170943 7950336 942 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 942 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 611.86
Current children cumulated vsize (Kb) 9892

[startup+630.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 973 0 0 0 19634 265 0 0 25 0 1 0 20170943 7950336 943 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 943 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 621.68
Current children cumulated vsize (Kb) 9892

[startup+640.052 s]
Raw data (loadavg): 1.07 1.02 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 974 0 0 0 20606 273 0 0 25 0 1 0 20170943 7950336 944 4294967295 134512640 134702520 3221223712 3221097408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 944 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 631.48
Current children cumulated vsize (Kb) 9892

[startup+650.053 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 974 0 0 0 21579 282 0 0 25 0 1 0 20170943 7950336 944 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 944 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 641.3
Current children cumulated vsize (Kb) 9892

[startup+660.053 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 975 0 0 0 22529 299 0 0 25 0 1 0 20170943 7950336 945 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 945 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 650.97
Current children cumulated vsize (Kb) 9892

[startup+670.054 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 976 0 0 0 23504 307 0 0 25 0 1 0 20170943 7950336 946 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 946 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 660.8
Current children cumulated vsize (Kb) 9892

[startup+680.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 981 0 0 0 24481 314 0 0 25 0 1 0 20170943 7950336 951 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 951 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 670.64
Current children cumulated vsize (Kb) 9892

[startup+690.056 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 983 0 0 0 25438 328 0 0 25 0 1 0 20170943 7950336 953 4294967295 134512640 134702520 3221223712 3221222932 134550182 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 953 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 680.35
Current children cumulated vsize (Kb) 9892

[startup+700.056 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 988 0 0 0 26418 335 0 0 25 0 1 0 20170943 7950336 958 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 958 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 690.22
Current children cumulated vsize (Kb) 9892

[startup+710.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 994 0 0 0 27380 348 0 0 25 0 1 0 20170943 7950336 964 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 964 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 699.97
Current children cumulated vsize (Kb) 9892

[startup+720.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 995 0 0 0 28354 358 0 0 25 0 1 0 20170943 7950336 965 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 965 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 709.81
Current children cumulated vsize (Kb) 9892

[startup+730.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 999 0 0 0 29313 372 0 0 25 0 1 0 20170943 7950336 969 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 969 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 719.54
Current children cumulated vsize (Kb) 9892

[startup+740.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1000 0 0 0 30285 381 0 0 25 0 1 0 20170943 7950336 970 4294967295 134512640 134702520 3221223712 3221078208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 970 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 729.35
Current children cumulated vsize (Kb) 9892

[startup+750.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1003 0 0 0 31245 394 0 0 25 0 1 0 20170943 7950336 973 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 973 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 739.08
Current children cumulated vsize (Kb) 9892

[startup+760.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1007 0 0 0 32196 410 0 0 25 0 1 0 20170943 7950336 977 4294967295 134512640 134702520 3221223712 3221175808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 977 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 748.75
Current children cumulated vsize (Kb) 9892

[startup+770.062 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1009 0 0 0 33149 426 0 0 25 0 1 0 20170943 7950336 979 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 979 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 758.44
Current children cumulated vsize (Kb) 9892

[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1009 0 0 0 34095 442 0 0 22 0 1 0 20170943 7950336 979 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 979 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 768.06
Current children cumulated vsize (Kb) 9892

[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1010 0 0 0 35062 452 0 0 25 0 1 0 20170943 7950336 980 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 980 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 777.83
Current children cumulated vsize (Kb) 9892

[startup+800.065 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1011 0 0 0 36028 463 0 0 25 0 1 0 20170943 7950336 981 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 981 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 787.6
Current children cumulated vsize (Kb) 9892

[startup+810.066 s]
Raw data (loadavg): 1.15 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1012 0 0 0 36995 472 0 0 25 0 1 0 20170943 7950336 982 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 982 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 797.36
Current children cumulated vsize (Kb) 9892

[startup+820.067 s]
Raw data (loadavg): 1.13 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1014 0 0 0 37937 491 0 0 24 0 1 0 20170943 7950336 984 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 984 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 806.97
Current children cumulated vsize (Kb) 9892

[startup+830.067 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1015 0 0 0 38909 499 0 0 25 0 1 0 20170943 7950336 985 4294967295 134512640 134702520 3221223712 3221222992 134552432 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 985 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 816.77
Current children cumulated vsize (Kb) 9892

[startup+840.068 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1016 0 0 0 39855 517 0 0 25 0 1 0 20170943 7950336 986 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 986 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 826.41
Current children cumulated vsize (Kb) 9892

[startup+850.07 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1017 0 0 0 40803 535 0 0 25 0 1 0 20170943 7950336 987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 987 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 836.07
Current children cumulated vsize (Kb) 9892

[startup+860.069 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1019 0 0 0 41771 546 0 0 25 0 1 0 20170943 7950336 989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 989 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 845.86
Current children cumulated vsize (Kb) 9892

[startup+870.07 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1019 0 0 0 42737 557 0 0 25 0 1 0 20170943 7950336 989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 989 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 855.63
Current children cumulated vsize (Kb) 9892

[startup+880.071 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1020 0 0 0 43709 567 0 0 25 0 1 0 20170943 7950336 990 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 990 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 865.45
Current children cumulated vsize (Kb) 9892

[startup+890.071 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1020 0 0 0 44677 579 0 0 25 0 1 0 20170943 7950336 990 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1941 990 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 875.25
Current children cumulated vsize (Kb) 9892

[startup+900.072 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1020 0 0 0 45630 594 0 0 24 0 1 0 20170943 7950336 990 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1941 990 413 48 0 1893 0
[pid=5751] vsize: 7764
Current children cumulated CPU time (s) 884.93
Current children cumulated vsize (Kb) 9892

[startup+910.073 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1022 0 0 0 46613 599 0 0 25 0 1 0 20170943 8056832 992 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 992 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 894.81
Current children cumulated vsize (Kb) 9996

[startup+920.073 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1024 0 0 0 47578 610 0 0 25 0 1 0 20170943 8056832 994 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 994 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 904.57
Current children cumulated vsize (Kb) 9996

[startup+930.074 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1025 0 0 0 48548 620 0 0 17 0 1 0 20170943 8056832 995 4294967295 134512640 134702520 3221223712 3221222736 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 995 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 914.37
Current children cumulated vsize (Kb) 9996

[startup+940.074 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1026 0 0 0 49495 639 0 0 25 0 1 0 20170943 8056832 996 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 996 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 924.03
Current children cumulated vsize (Kb) 9996

[startup+950.074 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1027 0 0 0 50452 652 0 0 25 0 1 0 20170943 8056832 997 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 997 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 933.73
Current children cumulated vsize (Kb) 9996

[startup+960.075 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1028 0 0 0 51418 662 0 0 25 0 1 0 20170943 8056832 998 4294967295 134512640 134702520 3221223712 3220919628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 998 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 943.49
Current children cumulated vsize (Kb) 9996

[startup+970.077 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1029 0 0 0 52381 673 0 0 25 0 1 0 20170943 8056832 999 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 999 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 953.23
Current children cumulated vsize (Kb) 9996

[startup+980.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1031 0 0 0 53332 688 0 0 25 0 1 0 20170943 8056832 1001 4294967295 134512640 134702520 3221223712 3221156768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1001 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 962.89
Current children cumulated vsize (Kb) 9996

[startup+990.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1032 0 0 0 54317 693 0 0 25 0 1 0 20170943 8056832 1002 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1002 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 972.79
Current children cumulated vsize (Kb) 9996

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1032 0 0 0 55264 712 0 0 25 0 1 0 20170943 8056832 1002 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1002 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 982.45
Current children cumulated vsize (Kb) 9996

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1033 0 0 0 56224 725 0 0 25 0 1 0 20170943 8056832 1003 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1003 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 992.18
Current children cumulated vsize (Kb) 9996

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1034 0 0 0 57181 738 0 0 25 0 1 0 20170943 8056832 1004 4294967295 134512640 134702520 3221223712 3220986188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1004 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (Kb) 9996

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1036 0 0 0 58140 751 0 0 25 0 1 0 20170943 8056832 1006 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1006 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1011.6
Current children cumulated vsize (Kb) 9996

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1037 0 0 0 59102 764 0 0 25 0 1 0 20170943 8056832 1007 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1007 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1021.35
Current children cumulated vsize (Kb) 9996

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1073 0 0 0 60070 773 0 0 25 0 1 0 20170943 8056832 1043 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1043 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1031.12
Current children cumulated vsize (Kb) 9996

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1073 0 0 0 61046 781 0 0 25 0 1 0 20170943 8056832 1043 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1043 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1040.96
Current children cumulated vsize (Kb) 9996

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1075 0 0 0 62011 793 0 0 25 0 1 0 20170943 8056832 1045 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1045 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1050.73
Current children cumulated vsize (Kb) 9996

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1075 0 0 0 62980 802 0 0 25 0 1 0 20170943 8056832 1045 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1045 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1060.51
Current children cumulated vsize (Kb) 9996

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1075 0 0 0 63947 812 0 0 25 0 1 0 20170943 8056832 1045 4294967295 134512640 134702520 3221223712 3221088928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1045 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1070.28
Current children cumulated vsize (Kb) 9996

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1078 0 0 0 64894 830 0 0 25 0 1 0 20170943 8056832 1048 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1048 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1079.93
Current children cumulated vsize (Kb) 9996

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1078 0 0 0 65851 844 0 0 25 0 1 0 20170943 8056832 1048 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1048 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1089.64
Current children cumulated vsize (Kb) 9996

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1079 0 0 0 66821 856 0 0 25 0 1 0 20170943 8056832 1049 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1049 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1099.46
Current children cumulated vsize (Kb) 9996

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1080 0 0 0 67799 865 0 0 25 0 1 0 20170943 8056832 1050 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1050 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1109.33
Current children cumulated vsize (Kb) 9996

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1081 0 0 0 68741 883 0 0 25 0 1 0 20170943 8056832 1051 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1051 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1118.93
Current children cumulated vsize (Kb) 9996

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1081 0 0 0 69703 895 0 0 25 0 1 0 20170943 8056832 1051 4294967295 134512640 134702520 3221223712 3221097088 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1051 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1128.67
Current children cumulated vsize (Kb) 9996

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1082 0 0 0 70691 899 0 0 25 0 1 0 20170943 8056832 1052 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1052 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1138.59
Current children cumulated vsize (Kb) 9996

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1083 0 0 0 71656 908 0 0 25 0 1 0 20170943 8056832 1053 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1053 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1148.33
Current children cumulated vsize (Kb) 9996

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1083 0 0 0 72624 919 0 0 25 0 1 0 20170943 8056832 1053 4294967295 134512640 134702520 3221223712 3220946528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1053 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1158.12
Current children cumulated vsize (Kb) 9996

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) T 5746 5746 4005 0 -1 0 1084 0 0 0 73584 932 0 0 23 0 1 0 20170943 8056832 1054 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1967 1054 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1167.85
Current children cumulated vsize (Kb) 9996

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1085 0 0 0 74536 946 0 0 25 0 1 0 20170943 8056832 1055 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1967 1055 413 48 0 1919 0
[pid=5751] vsize: 7868
Current children cumulated CPU time (s) 1177.51
Current children cumulated vsize (Kb) 9996

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1086 0 0 0 75501 958 0 0 25 0 1 0 20170943 8175616 1056 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5751/statm): 1996 1056 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1187.28
Current children cumulated vsize (Kb) 10112

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1086 0 0 0 76463 970 0 0 24 0 1 0 20170943 8175616 1056 4294967295 134512640 134702520 3221223712 3221222992 134550631 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1996 1056 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1197.02
Current children cumulated vsize (Kb) 10112

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1088 0 0 0 77441 978 0 0 25 0 1 0 20170943 8175616 1058 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1996 1058 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1206.88
Current children cumulated vsize (Kb) 10112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5751
Raw data (/proc/5746/stat): 5746 (vallstSAT2005PB) S 5745 5746 4005 0 -1 0 378 1451 0 0 1 1 42101 166 19 0 1 0 20128354 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5746/statm): 532 248 485 147 0 385 0
[pid=5746] vsize: 2128
Raw data (/proc/5751/stat): 5751 (vallst) R 5746 5746 4005 0 -1 0 1088 0 0 0 77441 978 0 0 25 0 1 0 20170943 8175616 1058 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5751/statm): 1996 1058 413 48 0 1948 0
[pid=5751] vsize: 7984
Current children cumulated CPU time (s) 1206.88
Current children cumulated vsize (Kb) 10112

Sending SIGTERM to -5746
Sleeping 2 seconds
New process pid=5753
New process pid=5754
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /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)open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5707/stat
open syscall for file /proc/5707/status
open syscall for file /proc/5707/cmdline
open syscall for file /proc/5707/environ
open syscall for file /proc/5745/stat
open syscall for file /proc/5745/status
open syscall for file /proc/5745/cmdline
open syscall for file /proc/5745/environ
open syscall for file /proc/5746/stat
open syscall for file /proc/5746/status
open syscall for file /proc/5746/cmdline
open syscall for file /proc/5746/environ
open syscall for file /proc/5751/stat
open syscall for file /proc/5751/status
open syscall for file /proc/5751/cmdline
open syscall for file /proc/5751/environ
open syscall for file /proc/5753/stat
open syscall for file /proc/5753/status
open syscall for file /proc/5753/cmdline
open syscall for file /proc/5753/environ
open syscall for file /proc/5754/stat
open syscall for file /proc/5754/status
open syscall for file /proc/5754/cmdline
open syscall for file /proc/5754/environ
One traced child (pid=5753) exited with status: 0
One traced child (pid=5754) exited with status: 0
New process pid=5755
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5751) exited with status: 3
One traced child (pid=5755) exited with status: 0
New process pid=5756
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=5756) exited with status: 0
One traced child (pid=5746) 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): 1230.58
CPU time (s): 1207.26
CPU user time (s): 1195.71
CPU system time (s): 11.5452
CPU usage (%): 98.105
Max. virtual memory (cumulated for all children) (Kb): 10500

Verifier Data

ERROR: no interpretation found !