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-khb05250.opb
MD5SUM56abcf5cc503d1b433b55ef9ec07fc76
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 25004
Biggest coefficient in the objective function 6104809472
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 5527422840150
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 6104809472
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 5527422840150
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.284955
Number of variables25544
Total number of constraints126
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints102
Minimum length of a constraint1
Maximum length of a constraint1020

Trace number 9345

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-23 12:45:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8089 boxname=wulflinc28 idbench=1057 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  56abcf5cc503d1b433b55ef9ec07fc76  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-khb05250.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-khb05250.opb 0
IDLAUNCH: 8089
/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:        942472 kB
Buffers:         10056 kB
Cached:          65016 kB
SwapCached:          0 kB
Active:          44796 kB
Inactive:        33176 kB
HighTotal:      131008 kB
HighFree:        61684 kB
LowTotal:       903652 kB
LowFree:        880788 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8592 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:05:39 (client local time) WITH STATUS 0 IN 1202.56 SECONDS
stats: 8089 7 1202.56 0

Solver Data

1:
seed: 0
Nr of vars set: 4375  (#equs: 0)
Nr of vars set: 4375  (#equs: 0)
#decisions: 367832;  #end-nodes: 33420;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 178, #non-axs: 3
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: 4375  (#equs: 0)
Time taken: 5 min, 50 sec

2:
seed: 0
Nr of vars set: 4375  (#equs: 0)
Nr of vars set: 4375  (#equs: 0)
Interupt request received.
#decisions: 440296;  #end-nodes: 52824;
#proof improvement attempts: 0;  #restarts: 328
Current batch, end-nodes: 0 / 202 (202)
#axs: 177, #non-axs: 9
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)
seed: 0
Nr of vars set: 4883  (#equs: 0)
Time taken: 14 min, 10 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/5867/stat): 5867 (vallstSAT2005PB) R 5866 5867 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20252215 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5867/statm): 174 3 169 147 0 27 0
[pid=5867] 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=5868
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=5868) exited with status: 0
New process pid=5869
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=5869) exited with status: 0
New process pid=5870
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-khb05250.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 0.87 0.97 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 1767 0 0 0 976 9 0 0 25 0 1 0 20252224 8695808 1671 4294967295 134512640 134702520 3221223952 3220883476 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 2123 1671 413 48 0 2075 0
[pid=5870] vsize: 8492
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 10620

[startup+20.0041 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) T 5867 5867 4005 0 -1 0 1857 0 0 0 1864 46 0 0 25 0 1 0 20252224 9056256 1761 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5870/statm): 2211 1761 413 48 0 2163 0
[pid=5870] vsize: 8844
Current children cumulated CPU time (s) 19.11
Current children cumulated vsize (Kb) 10972

[startup+30.0058 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2149 0 0 0 2773 75 0 0 25 0 1 0 20252224 14553088 2053 4294967295 134512640 134702520 3221223952 3221017328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2053 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 28.49
Current children cumulated vsize (Kb) 16340

[startup+40.0065 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2149 0 0 0 3710 96 0 0 25 0 1 0 20252224 14553088 2053 4294967295 134512640 134702520 3221223952 3221042768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2053 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 38.07
Current children cumulated vsize (Kb) 16340

[startup+50.0071 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2157 0 0 0 4636 119 0 0 25 0 1 0 20252224 14553088 2061 4294967295 134512640 134702520 3221223952 3221091248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2061 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 47.56
Current children cumulated vsize (Kb) 16340

[startup+60.0078 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 5566 141 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3221133968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 57.08
Current children cumulated vsize (Kb) 16340

[startup+70.0085 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 6531 153 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 66.85
Current children cumulated vsize (Kb) 16340

[startup+80.0102 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 7502 163 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (Kb) 16340

[startup+90.0109 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 8493 167 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 86.61
Current children cumulated vsize (Kb) 16340

[startup+100.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 9491 167 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 96.59
Current children cumulated vsize (Kb) 16340

[startup+110.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 10487 169 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 106.57
Current children cumulated vsize (Kb) 16340

[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2178 0 0 0 11483 170 0 0 25 0 1 0 20252224 14553088 2082 4294967295 134512640 134702520 3221223952 3220809948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2082 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 116.54
Current children cumulated vsize (Kb) 16340

[startup+130.014 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2199 0 0 0 12401 197 0 0 25 0 1 0 20252224 14553088 2103 4294967295 134512640 134702520 3221223952 3220900528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2103 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 125.99
Current children cumulated vsize (Kb) 16340

[startup+140.014 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2199 0 0 0 13299 230 0 0 25 0 1 0 20252224 14553088 2103 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2103 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 135.3
Current children cumulated vsize (Kb) 16340

[startup+150.015 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2199 0 0 0 14205 263 0 0 25 0 1 0 20252224 14553088 2103 4294967295 134512640 134702520 3221223952 3220933648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2103 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 144.69
Current children cumulated vsize (Kb) 16340

[startup+160.016 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2226 0 0 0 15118 293 0 0 25 0 1 0 20252224 14553088 2130 4294967295 134512640 134702520 3221223952 3221031248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2130 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 154.12
Current children cumulated vsize (Kb) 16340

[startup+170.016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2226 0 0 0 16059 312 0 0 23 0 1 0 20252224 14553088 2130 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2130 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 163.72
Current children cumulated vsize (Kb) 16340

[startup+180.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2226 0 0 0 17058 312 0 0 25 0 1 0 20252224 14553088 2130 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2130 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 173.71
Current children cumulated vsize (Kb) 16340

[startup+190.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2226 0 0 0 18054 314 0 0 25 0 1 0 20252224 14553088 2130 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2130 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 183.69
Current children cumulated vsize (Kb) 16340

[startup+200.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2226 0 0 0 19030 322 0 0 25 0 1 0 20252224 14553088 2130 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2130 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 193.53
Current children cumulated vsize (Kb) 16340

[startup+210.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2226 0 0 0 19998 333 0 0 25 0 1 0 20252224 14553088 2130 4294967295 134512640 134702520 3221223952 3221151568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2130 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 203.32
Current children cumulated vsize (Kb) 16340

[startup+220.02 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) T 5867 5867 4005 0 -1 0 2244 0 0 0 20925 354 0 0 25 0 1 0 20252224 14553088 2148 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2148 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 212.8
Current children cumulated vsize (Kb) 16340

[startup+230.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2244 0 0 0 21920 356 0 0 25 0 1 0 20252224 14553088 2148 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2148 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 222.77
Current children cumulated vsize (Kb) 16340

[startup+240.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2244 0 0 0 22895 365 0 0 25 0 1 0 20252224 14553088 2148 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2148 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 232.61
Current children cumulated vsize (Kb) 16340

[startup+250.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2244 0 0 0 23889 366 0 0 25 0 1 0 20252224 14553088 2148 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2148 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 242.56
Current children cumulated vsize (Kb) 16340

[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2275 0 0 0 24828 387 0 0 25 0 1 0 20252224 14553088 2179 4294967295 134512640 134702520 3221223952 3220867088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2179 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 252.16
Current children cumulated vsize (Kb) 16340

[startup+270.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2275 0 0 0 25748 412 0 0 25 0 1 0 20252224 14553088 2179 4294967295 134512640 134702520 3221223952 3220946108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2179 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 261.61
Current children cumulated vsize (Kb) 16340

[startup+280.025 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) T 5867 5867 4005 0 -1 0 2275 0 0 0 26648 444 0 0 25 0 1 0 20252224 14553088 2179 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2179 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 270.93
Current children cumulated vsize (Kb) 16340

[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2277 0 0 0 27566 469 0 0 25 0 1 0 20252224 14553088 2181 4294967295 134512640 134702520 3221223952 3220919068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2181 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (Kb) 16340

[startup+300.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2277 0 0 0 28473 501 0 0 25 0 1 0 20252224 14553088 2181 4294967295 134512640 134702520 3221223952 3221101148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2181 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 289.75
Current children cumulated vsize (Kb) 16340

[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2292 0 0 0 29386 529 0 0 25 0 1 0 20252224 14553088 2196 4294967295 134512640 134702520 3221223952 3221174608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2196 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 299.16
Current children cumulated vsize (Kb) 16340

[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) T 5867 5867 4005 0 -1 0 2333 0 0 0 30328 547 0 0 21 0 1 0 20252224 14553088 2237 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5870/statm): 3553 2237 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 308.76
Current children cumulated vsize (Kb) 16340

[startup+330.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2333 0 0 0 31284 561 0 0 21 0 1 0 20252224 14553088 2237 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2237 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 318.46
Current children cumulated vsize (Kb) 16340

[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2348 0 0 0 32234 579 0 0 25 0 1 0 20252224 14553088 2252 4294967295 134512640 134702520 3221223952 3221046768 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2252 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 328.14
Current children cumulated vsize (Kb) 16340

[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) R 5867 5867 4005 0 -1 0 2348 0 0 0 33163 602 0 0 25 0 1 0 20252224 14553088 2252 4294967295 134512640 134702520 3221223952 3221102432 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2252 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 337.66
Current children cumulated vsize (Kb) 16340

[startup+360.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5870
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20252215 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 242 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5870/stat): 5870 (vallst) T 5867 5867 4005 0 -1 0 2348 0 0 0 34068 635 0 0 25 0 1 0 20252224 14553088 2252 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5870/statm): 3553 2252 413 48 0 3505 0
[pid=5870] vsize: 14212
Current children cumulated CPU time (s) 347.04
Current children cumulated vsize (Kb) 16340
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=5870) exited with status: 2
New process pid=5871
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=5871) exited with status: 0
New process pid=5872
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+370.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1324 0 0 0 546 5 0 0 25 0 1 0 20288668 7356416 1295 4294967295 134512640 134702520 3221223712 3220900508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 1796 1295 413 48 0 1748 0
[pid=5872] vsize: 7184
Current children cumulated CPU time (s) 356.88
Current children cumulated vsize (Kb) 9312

[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1425 0 0 0 1438 39 0 0 25 0 1 0 20288668 7917568 1396 4294967295 134512640 134702520 3221223712 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 1933 1396 413 48 0 1885 0
[pid=5872] vsize: 7732
Current children cumulated CPU time (s) 366.14
Current children cumulated vsize (Kb) 9860

[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1817 0 0 0 2336 73 0 0 25 0 1 0 20288668 12931072 1788 4294967295 134512640 134702520 3221223712 3221020268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3157 1788 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 375.46
Current children cumulated vsize (Kb) 14756

[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1825 0 0 0 3330 75 0 0 25 0 1 0 20288668 12931072 1796 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3157 1796 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 385.42
Current children cumulated vsize (Kb) 14756

[startup+410.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1829 0 0 0 4303 84 0 0 25 0 1 0 20288668 12931072 1800 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1800 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 395.24
Current children cumulated vsize (Kb) 14756

[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1833 0 0 0 5262 98 0 0 25 0 1 0 20288668 12931072 1804 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1804 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 404.97
Current children cumulated vsize (Kb) 14756

[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) T 5867 5867 4005 0 -1 0 1839 0 0 0 6220 114 0 0 23 0 1 0 20288668 12931072 1810 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1810 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 414.71
Current children cumulated vsize (Kb) 14756

[startup+440.036 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1872 0 0 0 7163 131 0 0 25 0 1 0 20288668 12931072 1843 4294967295 134512640 134702520 3221223712 3220736108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3157 1843 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 424.31
Current children cumulated vsize (Kb) 14756

[startup+450.036 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 8139 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 434.15
Current children cumulated vsize (Kb) 14756

[startup+460.037 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 9139 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 444.15
Current children cumulated vsize (Kb) 14756

[startup+470.038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 10139 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 454.15
Current children cumulated vsize (Kb) 14756

[startup+480.038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 11140 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 464.16
Current children cumulated vsize (Kb) 14756

[startup+490.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 12140 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 474.16
Current children cumulated vsize (Kb) 14756

[startup+500.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 13140 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 484.16
Current children cumulated vsize (Kb) 14756

[startup+510.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 14140 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 494.16
Current children cumulated vsize (Kb) 14756

[startup+520.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 15140 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 504.16
Current children cumulated vsize (Kb) 14756

[startup+530.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 16141 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 514.17
Current children cumulated vsize (Kb) 14756

[startup+540.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 17141 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 524.17
Current children cumulated vsize (Kb) 14756

[startup+550.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 18141 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 534.17
Current children cumulated vsize (Kb) 14756

[startup+560.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 19141 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 544.17
Current children cumulated vsize (Kb) 14756

[startup+570.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1894 0 0 0 20142 139 0 0 25 0 1 0 20288668 12931072 1865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3157 1865 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 554.18
Current children cumulated vsize (Kb) 14756

[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1899 0 0 0 21098 154 0 0 21 0 1 0 20288668 12931072 1870 4294967295 134512640 134702520 3221223712 3221223196 134608148 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3157 1870 413 48 0 3109 0
[pid=5872] vsize: 12628
Current children cumulated CPU time (s) 563.89
Current children cumulated vsize (Kb) 14756

[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1932 0 0 0 22064 166 0 0 23 0 1 0 20288668 13066240 1903 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3190 1903 413 48 0 3142 0
[pid=5872] vsize: 12760
Current children cumulated CPU time (s) 573.67
Current children cumulated vsize (Kb) 14888

[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1985 0 0 0 23003 184 0 0 25 0 1 0 20288668 13066240 1956 4294967295 134512640 134702520 3221223712 3220944288 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3190 1956 413 48 0 3142 0
[pid=5872] vsize: 12760
Current children cumulated CPU time (s) 583.24
Current children cumulated vsize (Kb) 14888

[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1986 0 0 0 23924 211 0 0 25 0 1 0 20288668 13066240 1957 4294967295 134512640 134702520 3221223712 3221017728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3190 1957 413 48 0 3142 0
[pid=5872] vsize: 12760
Current children cumulated CPU time (s) 592.72
Current children cumulated vsize (Kb) 14888

[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1987 0 0 0 24826 246 0 0 25 0 1 0 20288668 13238272 1958 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3232 1958 413 48 0 3184 0
[pid=5872] vsize: 12928
Current children cumulated CPU time (s) 602.09
Current children cumulated vsize (Kb) 15056

[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1987 0 0 0 25744 274 0 0 25 0 1 0 20288668 13070336 1957 4294967295 134512640 134702520 3221223712 3220982848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1957 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 611.55
Current children cumulated vsize (Kb) 14892

[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1987 0 0 0 26708 285 0 0 25 0 1 0 20288668 13070336 1957 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1957 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 621.3
Current children cumulated vsize (Kb) 14892

[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1991 0 0 0 27660 301 0 0 25 0 1 0 20288668 13070336 1961 4294967295 134512640 134702520 3221223712 3221044748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1961 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 630.98
Current children cumulated vsize (Kb) 14892

[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 1997 0 0 0 28604 318 0 0 25 0 1 0 20288668 13070336 1967 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1967 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 640.59
Current children cumulated vsize (Kb) 14892

[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) T 5867 5867 4005 0 -1 0 1998 0 0 0 29575 328 0 0 25 0 1 0 20288668 13070336 1968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3191 1968 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 650.4
Current children cumulated vsize (Kb) 14892

[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2001 0 0 0 30550 336 0 0 25 0 1 0 20288668 13070336 1971 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1971 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 660.23
Current children cumulated vsize (Kb) 14892

[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2001 0 0 0 31550 336 0 0 25 0 1 0 20288668 13070336 1971 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1971 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 670.23
Current children cumulated vsize (Kb) 14892

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2001 0 0 0 32550 336 0 0 25 0 1 0 20288668 13070336 1971 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3191 1971 413 48 0 3143 0
[pid=5872] vsize: 12764
Current children cumulated CPU time (s) 680.23
Current children cumulated vsize (Kb) 14892

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 33530 343 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 690.1
Current children cumulated vsize (Kb) 15076

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 34503 352 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 699.92
Current children cumulated vsize (Kb) 15076

[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 35503 352 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 709.92
Current children cumulated vsize (Kb) 15076

[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 36503 352 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 719.92
Current children cumulated vsize (Kb) 15076

[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 37503 352 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 729.92
Current children cumulated vsize (Kb) 15076

[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 38503 352 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 739.92
Current children cumulated vsize (Kb) 15076

[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2031 0 0 0 39503 352 0 0 25 0 1 0 20288668 13258752 2001 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2001 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 749.92
Current children cumulated vsize (Kb) 15076

[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2034 0 0 0 40484 359 0 0 25 0 1 0 20288668 13258752 2004 4294967295 134512640 134702520 3221223712 3221069228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2004 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 759.8
Current children cumulated vsize (Kb) 15076

[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2034 0 0 0 41417 383 0 0 25 0 1 0 20288668 13258752 2004 4294967295 134512640 134702520 3221223712 3221148908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2004 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 769.37
Current children cumulated vsize (Kb) 15076

[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 42374 398 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 779.09
Current children cumulated vsize (Kb) 15076

[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 43374 398 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 789.09
Current children cumulated vsize (Kb) 15076

[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 44374 398 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 799.09
Current children cumulated vsize (Kb) 15076

[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 45374 398 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 809.09
Current children cumulated vsize (Kb) 15076

[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 46366 400 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 819.03
Current children cumulated vsize (Kb) 15076

[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 47366 400 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (Kb) 15076

[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 48366 400 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 839.03
Current children cumulated vsize (Kb) 15076

[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 49366 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 849.04
Current children cumulated vsize (Kb) 15076

[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 50365 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 859.03
Current children cumulated vsize (Kb) 15076

[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5872
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 51365 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 869.03
Current children cumulated vsize (Kb) 15076

[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/60 5922
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 52365 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 879.03
Current children cumulated vsize (Kb) 15076

[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5927
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 53365 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 889.03
Current children cumulated vsize (Kb) 15076

[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5927
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 54365 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 899.03
Current children cumulated vsize (Kb) 15076

[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5927
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 55366 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 909.04
Current children cumulated vsize (Kb) 15076

[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5927
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 56366 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 919.04
Current children cumulated vsize (Kb) 15076

[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5927
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 57366 401 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 929.04
Current children cumulated vsize (Kb) 15076

[startup+960.072 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5929
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 58365 402 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 939.04
Current children cumulated vsize (Kb) 15076

[startup+970.073 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5931
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 59365 402 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 949.04
Current children cumulated vsize (Kb) 15076

[startup+980.074 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 60365 402 0 0 25 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 959.04
Current children cumulated vsize (Kb) 15076

[startup+990.075 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2095 0 0 0 61341 409 0 0 22 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221217068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 968.87
Current children cumulated vsize (Kb) 15076

[startup+1000.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) T 5867 5867 4005 0 -1 0 2095 0 0 0 62266 432 0 0 18 0 1 0 20288668 13258752 2065 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2065 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 978.35
Current children cumulated vsize (Kb) 15076

[startup+1010.08 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) T 5867 5867 4005 0 -1 0 2102 0 0 0 63161 470 0 0 22 0 1 0 20288668 13258752 2071 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2071 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 987.68
Current children cumulated vsize (Kb) 15076

[startup+1020.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2102 0 0 0 64139 476 0 0 24 0 1 0 20288668 13258752 2071 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2071 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 997.52
Current children cumulated vsize (Kb) 15076

[startup+1030.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2102 0 0 0 65132 478 0 0 25 0 1 0 20288668 13258752 2071 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2071 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 1007.47
Current children cumulated vsize (Kb) 15076

[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2102 0 0 0 66122 482 0 0 25 0 1 0 20288668 13258752 2071 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2071 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 1017.41
Current children cumulated vsize (Kb) 15076

[startup+1050.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2102 0 0 0 67109 486 0 0 25 0 1 0 20288668 13258752 2071 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2071 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 1027.32
Current children cumulated vsize (Kb) 15076

[startup+1060.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2102 0 0 0 68028 516 0 0 25 0 1 0 20288668 13258752 2071 4294967295 134512640 134702520 3221223712 3221013548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3237 2071 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 1036.81
Current children cumulated vsize (Kb) 15076

[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2131 0 0 0 68971 535 0 0 25 0 1 0 20288668 13258752 2100 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3237 2100 413 48 0 3189 0
[pid=5872] vsize: 12948
Current children cumulated CPU time (s) 1046.43
Current children cumulated vsize (Kb) 15076

[startup+1080.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2170 0 0 0 69952 542 0 0 25 0 1 0 20288668 13402112 2139 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3272 2139 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1056.31
Current children cumulated vsize (Kb) 15216

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2175 0 0 0 70924 551 0 0 18 0 1 0 20288668 13402112 2144 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3272 2144 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1066.12
Current children cumulated vsize (Kb) 15216

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2175 0 0 0 71910 556 0 0 25 0 1 0 20288668 13402112 2144 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2144 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1076.03
Current children cumulated vsize (Kb) 15216

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2175 0 0 0 72889 563 0 0 25 0 1 0 20288668 13402112 2144 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3272 2144 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1085.89
Current children cumulated vsize (Kb) 15216

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2181 0 0 0 73843 580 0 0 25 0 1 0 20288668 13402112 2150 4294967295 134512640 134702520 3221223712 3220722668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2150 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1095.6
Current children cumulated vsize (Kb) 15216

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2181 0 0 0 74776 603 0 0 25 0 1 0 20288668 13402112 2150 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2150 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1105.16
Current children cumulated vsize (Kb) 15216

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2181 0 0 0 75765 607 0 0 25 0 1 0 20288668 13402112 2150 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2150 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1115.09
Current children cumulated vsize (Kb) 15216

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2181 0 0 0 76758 609 0 0 25 0 1 0 20288668 13402112 2150 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2150 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1125.04
Current children cumulated vsize (Kb) 15216

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2181 0 0 0 77752 612 0 0 25 0 1 0 20288668 13402112 2150 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2150 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1135.01
Current children cumulated vsize (Kb) 15216

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2181 0 0 0 78748 613 0 0 25 0 1 0 20288668 13402112 2150 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3272 2150 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1144.98
Current children cumulated vsize (Kb) 15216

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2212 0 0 0 79729 620 0 0 25 0 1 0 20288668 13402112 2181 4294967295 134512640 134702520 3221223712 3220769228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5872/statm): 3272 2181 413 48 0 3224 0
[pid=5872] vsize: 13088
Current children cumulated CPU time (s) 1154.86
Current children cumulated vsize (Kb) 15216

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2213 0 0 0 80651 645 0 0 25 0 1 0 20288668 13451264 2182 4294967295 134512640 134702520 3221223712 3221014348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3284 2182 413 48 0 3236 0
[pid=5872] vsize: 13136
Current children cumulated CPU time (s) 1164.33
Current children cumulated vsize (Kb) 15264

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2214 0 0 0 81553 676 0 0 25 0 1 0 20288668 13619200 2183 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3325 2183 413 48 0 3277 0
[pid=5872] vsize: 13300
Current children cumulated CPU time (s) 1173.66
Current children cumulated vsize (Kb) 15428

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2225 0 0 0 82454 706 0 0 25 0 1 0 20288668 13451264 2193 4294967295 134512640 134702520 3221223712 3221073568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3284 2193 413 48 0 3236 0
[pid=5872] vsize: 13136
Current children cumulated CPU time (s) 1182.97
Current children cumulated vsize (Kb) 15264

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2246 0 0 0 83375 729 0 0 25 0 1 0 20288668 13451264 2214 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3284 2214 413 48 0 3236 0
[pid=5872] vsize: 13136
Current children cumulated CPU time (s) 1192.41
Current children cumulated vsize (Kb) 15264

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2246 0 0 0 84337 743 0 0 19 0 1 0 20288668 13451264 2214 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3284 2214 413 48 0 3236 0
[pid=5872] vsize: 13136
Current children cumulated CPU time (s) 1202.17
Current children cumulated vsize (Kb) 15264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5933
Raw data (/proc/5867/stat): 5867 (vallstSAT2005PB) S 5866 5867 4005 0 -1 0 378 2723 0 0 1 1 34488 647 19 0 1 0 20252215 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5867/statm): 532 248 485 147 0 385 0
[pid=5867] vsize: 2128
Raw data (/proc/5872/stat): 5872 (vallst) R 5867 5867 4005 0 -1 0 2246 0 0 0 84337 743 0 0 19 0 1 0 20288668 13451264 2214 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5872/statm): 3284 2214 413 48 0 3236 0
[pid=5872] vsize: 13136
Current children cumulated CPU time (s) 1202.17
Current children cumulated vsize (Kb) 15264

Sending SIGTERM to -5867
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5935
New process pid=5936
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)=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/5828/stat
open syscall for file /proc/5828/status
open syscall for file /proc/5828/cmdline
open syscall for file /proc/5828/environ
open syscall for file /proc/5866/stat
open syscall for file /proc/5866/status
open syscall for file /proc/5866/cmdline
open syscall for file /proc/5866/environ
open syscall for file /proc/5867/stat
open syscall for file /proc/5867/status
open syscall for file /proc/5867/cmdline
open syscall for file /proc/5867/environ
open syscall for file /proc/5872/stat
open syscall for file /proc/5872/status
open syscall for file /proc/5872/cmdline
open syscall for file /proc/5872/environ
open syscall for file /proc/5935/stat
open syscall for file /proc/5935/status
open syscall for file /proc/5935/cmdline
open syscall for file /proc/5935/environ
open syscall for file /proc/5936/stat
open syscall for file /proc/5936/status
open syscall for file /proc/5936/cmdline
open syscall for file /proc/5936/environ
One traced child (pid=5935) exited with status: 0
One traced child (pid=5936) exited with status: 0
New process pid=5937
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=5872) exited with status: 3
One traced child (pid=5937) exited with status: 0
New process pid=5938
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=5938) exited with status: 0
One traced child (pid=5867) 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): 1202.56
CPU user time (s): 1188.54
CPU system time (s): 14.0129
CPU usage (%): 97.7225
Max. virtual memory (cumulated for all children) (Kb): 16340

Verifier Data

ERROR: no interpretation found !