Some explanations

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

General information on the benchmark

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb
MD5SUM30256c883dd8af773c334a2b26410bd9
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 9400
Biggest coefficient in the objective function 2494038016
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 391862963250
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 2494038016
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 391862963250
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables10680
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint40
Maximum length of a constraint1700

Trace number 9167

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-23 11:11:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7838 boxname=wulflinc30 idbench=806 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  30256c883dd8af773c334a2b26410bd9  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-degen2.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-degen2.opb 0
IDLAUNCH: 7838
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        948580 kB
Buffers:          9368 kB
Cached:          59788 kB
SwapCached:          0 kB
Active:          43064 kB
Inactive:        28924 kB
HighTotal:      131008 kB
HighFree:        67200 kB
LowTotal:       903652 kB
LowFree:        881380 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:             8476 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:33:03 (client local time) WITH STATUS 0 IN 873.011 SECONDS
stats: 7838 7 873.011 0

Solver Data

1:
seed: 0
Nr of vars set: 5652  (#equs: 0)
Nr of vars set: 6135  (#equs: 1)
#decisions: 404062;  #end-nodes: 20022;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 667, #non-axs: 481
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: 6135  (#equs: 1)
Time taken: 5 min, 30 sec

2:

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/4674/stat): 4674 (vallstSAT2005PB) R 4673 4674 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19689696 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4674/statm): 174 3 169 147 0 27 0
[pid=4674] 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=4675
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=4675) exited with status: 0
New process pid=4676
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=4676) exited with status: 0
New process pid=4677
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/wulflinc30/normalized-mps-v2-13-7-degen2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.003 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1093 0 0 0 982 7 0 0 25 0 1 0 19689703 5812224 977 4294967295 134512640 134702520 3221223952 3220835648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 1419 977 413 48 0 1371 0
[pid=4677] vsize: 5676
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 7804

[startup+20.0048 s]
Raw data (loadavg): 1.05 1.02 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1300 0 0 0 1946 20 0 0 25 0 1 0 19689703 10493952 1184 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1184 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (Kb) 12376

[startup+30.0056 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1314 0 0 0 2846 54 0 0 25 0 1 0 19689703 10493952 1198 4294967295 134512640 134702520 3221223952 3221162108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1198 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 29.03
Current children cumulated vsize (Kb) 12376

[startup+40.0054 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1314 0 0 0 3846 54 0 0 25 0 1 0 19689703 10493952 1198 4294967295 134512640 134702520 3221223952 3220517948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1198 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 39.03
Current children cumulated vsize (Kb) 12376

[startup+50.0072 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1314 0 0 0 4725 93 0 0 25 0 1 0 19689703 10493952 1198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1198 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 48.21
Current children cumulated vsize (Kb) 12376

[startup+60.008 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 5697 103 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220998428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (Kb) 12376

[startup+70.0098 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 6666 113 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 67.82
Current children cumulated vsize (Kb) 12376

[startup+80.0105 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 7552 151 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221208668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 77.06
Current children cumulated vsize (Kb) 12376

[startup+90.0103 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 8552 151 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220849788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 87.06
Current children cumulated vsize (Kb) 12376

[startup+100.011 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 9485 173 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 96.61
Current children cumulated vsize (Kb) 12376

[startup+110.012 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 10432 191 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221070588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 106.26
Current children cumulated vsize (Kb) 12376

[startup+120.013 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 11432 191 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 116.26
Current children cumulated vsize (Kb) 12376

[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 12307 233 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 125.43
Current children cumulated vsize (Kb) 12376

[startup+140.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 13292 238 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220953468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 135.33
Current children cumulated vsize (Kb) 12376

[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 14245 251 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 144.99
Current children cumulated vsize (Kb) 12376

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 15146 286 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221169488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 154.35
Current children cumulated vsize (Kb) 12376

[startup+170.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 16146 286 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220759728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 164.35
Current children cumulated vsize (Kb) 12376

[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 17065 312 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 173.8
Current children cumulated vsize (Kb) 12376

[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 17985 340 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221109328 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 183.28
Current children cumulated vsize (Kb) 12376

[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 18985 340 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3220569308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 193.28
Current children cumulated vsize (Kb) 12376

[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 19885 372 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 202.6
Current children cumulated vsize (Kb) 12376

[startup+220.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1334 0 0 0 20838 387 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221049808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 212.28
Current children cumulated vsize (Kb) 12376

[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1334 0 0 0 21829 390 0 0 25 0 1 0 19689703 10493952 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1218 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (Kb) 12376

[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 22711 431 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 231.45
Current children cumulated vsize (Kb) 12376

[startup+250.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 23682 442 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3220993808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 241.27
Current children cumulated vsize (Kb) 12376

[startup+260.026 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1359 0 0 0 24654 450 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 251.07
Current children cumulated vsize (Kb) 12376

[startup+270.027 s]
Raw data (loadavg): 1.07 1.02 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 25543 488 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221217008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 260.34
Current children cumulated vsize (Kb) 12376

[startup+280.028 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 26543 488 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3220868668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 270.34
Current children cumulated vsize (Kb) 12376

[startup+290.028 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1359 0 0 0 27487 508 0 0 25 0 1 0 19689703 10493952 1243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1243 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 12376

[startup+300.029 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1364 0 0 0 28419 533 0 0 25 0 1 0 19689703 10493952 1248 4294967295 134512640 134702520 3221223952 3221111888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1248 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 289.55
Current children cumulated vsize (Kb) 12376

[startup+310.03 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1364 0 0 0 29419 533 0 0 25 0 1 0 19689703 10493952 1248 4294967295 134512640 134702520 3221223952 3220579712 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1248 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 299.55
Current children cumulated vsize (Kb) 12376

[startup+320.03 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) T 4674 4674 4004 0 -1 0 1367 0 0 0 30329 560 0 0 25 0 1 0 19689703 10493952 1251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4677/statm): 2562 1251 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 308.92
Current children cumulated vsize (Kb) 12376

[startup+330.031 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1374 0 0 0 31274 578 0 0 25 0 1 0 19689703 10493952 1258 4294967295 134512640 134702520 3221223952 3221095548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1258 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 318.55
Current children cumulated vsize (Kb) 12376

[startup+340.032 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4677
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19689696 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 242 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4677/stat): 4677 (vallst) R 4674 4674 4004 0 -1 0 1374 0 0 0 32274 578 0 0 25 0 1 0 19689703 10493952 1258 4294967295 134512640 134702520 3221223952 3220509468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4677/statm): 2562 1258 413 48 0 2514 0
[pid=4677] vsize: 10248
Current children cumulated CPU time (s) 328.55
Current children cumulated vsize (Kb) 12376
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=4677) exited with status: 2
New process pid=4678
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=4678) exited with status: 0
New process pid=4679
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+350.033 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 729 0 0 0 816 3 0 0 25 0 1 0 19723882 4853760 699 4294967295 134512640 134702520 3221223712 3220856028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1185 699 413 48 0 1137 0
[pid=4679] vsize: 4740
Current children cumulated CPU time (s) 338.47
Current children cumulated vsize (Kb) 6868

[startup+360.034 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 902 0 0 0 1798 10 0 0 25 0 1 0 19723882 5468160 872 4294967295 134512640 134702520 3221223712 3221015568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1335 872 413 48 0 1287 0
[pid=4679] vsize: 5340
Current children cumulated CPU time (s) 348.36
Current children cumulated vsize (Kb) 7468

[startup+370.035 s]
Raw data (loadavg): 1.09 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 988 0 0 0 2697 41 0 0 20 0 1 0 19723882 8683520 958 4294967295 134512640 134702520 3221223712 3221213728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2120 958 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 357.66
Current children cumulated vsize (Kb) 10608

[startup+380.036 s]
Raw data (loadavg): 1.08 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 988 0 0 0 3697 41 0 0 25 0 1 0 19723882 8683520 958 4294967295 134512640 134702520 3221223712 3220869708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2120 958 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 367.66
Current children cumulated vsize (Kb) 10608

[startup+390.036 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1026 0 0 0 4577 80 0 0 25 0 1 0 19723882 8683520 996 4294967295 134512640 134702520 3221223712 3221144448 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 996 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 376.85
Current children cumulated vsize (Kb) 10608

[startup+400.037 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1026 0 0 0 5577 80 0 0 25 0 1 0 19723882 8683520 996 4294967295 134512640 134702520 3221223712 3220682848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 996 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 386.85
Current children cumulated vsize (Kb) 10608

[startup+410.037 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1044 0 0 0 6452 121 0 0 25 0 1 0 19723882 8683520 1014 4294967295 134512640 134702520 3221223712 3221074348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 1014 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 396.01
Current children cumulated vsize (Kb) 10608

[startup+420.037 s]
Raw data (loadavg): 1.04 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1044 0 0 0 7453 121 0 0 25 0 1 0 19723882 8683520 1014 4294967295 134512640 134702520 3221223712 3220344608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 1014 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 406.02
Current children cumulated vsize (Kb) 10608

[startup+430.038 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1051 0 0 0 8333 161 0 0 25 0 1 0 19723882 8683520 1021 4294967295 134512640 134702520 3221223712 3220998188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2120 1021 413 48 0 2072 0
[pid=4679] vsize: 8480
Current children cumulated CPU time (s) 415.22
Current children cumulated vsize (Kb) 10608

[startup+440.039 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1055 0 0 0 9209 201 0 0 17 0 1 0 19723882 8810496 1025 4294967295 134512640 134702520 3221223712 3221223228 1074652326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1025 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 424.38
Current children cumulated vsize (Kb) 10732

[startup+450.04 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1058 0 0 0 10169 214 0 0 25 0 1 0 19723882 8810496 1028 4294967295 134512640 134702520 3221223712 3220930668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1028 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 434.11
Current children cumulated vsize (Kb) 10732

[startup+460.041 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1065 0 0 0 11033 257 0 0 25 0 1 0 19723882 8810496 1035 4294967295 134512640 134702520 3221223712 3221185568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1035 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (Kb) 10732

[startup+470.042 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1065 0 0 0 12033 257 0 0 25 0 1 0 19723882 8810496 1035 4294967295 134512640 134702520 3221223712 3220796108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1035 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 453.18
Current children cumulated vsize (Kb) 10732

[startup+480.043 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1075 0 0 0 12817 325 0 0 25 0 1 0 19723882 8810496 1045 4294967295 134512640 134702520 3221223712 3221134848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1045 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 461.7
Current children cumulated vsize (Kb) 10732

[startup+490.044 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1075 0 0 0 13817 325 0 0 25 0 1 0 19723882 8810496 1045 4294967295 134512640 134702520 3221223712 3220407948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1045 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 471.7
Current children cumulated vsize (Kb) 10732

[startup+500.045 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1077 0 0 0 14702 363 0 0 25 0 1 0 19723882 8810496 1047 4294967295 134512640 134702520 3221223712 3220998988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1047 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 480.93
Current children cumulated vsize (Kb) 10732

[startup+510.045 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1079 0 0 0 15576 403 0 0 17 0 1 0 19723882 8810496 1049 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1049 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 490.07
Current children cumulated vsize (Kb) 10732

[startup+520.046 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1079 0 0 0 16555 409 0 0 25 0 1 0 19723882 8810496 1049 4294967295 134512640 134702520 3221223712 3220913068 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1049 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 499.92
Current children cumulated vsize (Kb) 10732

[startup+530.047 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1082 0 0 0 17428 450 0 0 25 0 1 0 19723882 8810496 1052 4294967295 134512640 134702520 3221223712 3221173728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1052 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 509.06
Current children cumulated vsize (Kb) 10732

[startup+540.048 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1082 0 0 0 18428 450 0 0 25 0 1 0 19723882 8810496 1052 4294967295 134512640 134702520 3221223712 3220773088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1052 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 519.06
Current children cumulated vsize (Kb) 10732

[startup+550.049 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1084 0 0 0 19294 492 0 0 25 0 1 0 19723882 8810496 1054 4294967295 134512640 134702520 3221223712 3221112768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1054 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 528.14
Current children cumulated vsize (Kb) 10732

[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1084 0 0 0 20294 492 0 0 25 0 1 0 19723882 8810496 1054 4294967295 134512640 134702520 3221223712 3220574028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1054 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 538.14
Current children cumulated vsize (Kb) 10732

[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1086 0 0 0 21145 540 0 0 25 0 1 0 19723882 8810496 1056 4294967295 134512640 134702520 3221223712 3221055168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1056 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 547.13
Current children cumulated vsize (Kb) 10732

[startup+580.051 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1088 0 0 0 22127 547 0 0 20 0 1 0 19723882 8810496 1058 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1058 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 557.02
Current children cumulated vsize (Kb) 10732

[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1109 0 0 0 22937 607 0 0 25 0 1 0 19723882 8810496 1079 4294967295 134512640 134702520 3221223712 3221030688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1079 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 565.72
Current children cumulated vsize (Kb) 10732

[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1110 0 0 0 23867 631 0 0 17 0 1 0 19723882 8810496 1080 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2151 1080 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 575.26
Current children cumulated vsize (Kb) 10732

[startup+610.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1111 0 0 0 24809 650 0 0 25 0 1 0 19723882 8810496 1081 4294967295 134512640 134702520 3221223712 3220953228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2151 1081 413 48 0 2103 0
[pid=4679] vsize: 8604
Current children cumulated CPU time (s) 584.87
Current children cumulated vsize (Kb) 10732

[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 0.95 3/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1135 0 0 0 25643 701 0 0 19 0 1 0 19723882 8929280 1105 4294967295 134512640 134702520 3221223712 3221212108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2180 1105 413 48 0 2132 0
[pid=4679] vsize: 8720
Current children cumulated CPU time (s) 593.72
Current children cumulated vsize (Kb) 10848

[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1135 0 0 0 26643 701 0 0 25 0 1 0 19723882 8929280 1105 4294967295 134512640 134702520 3221223712 3220859648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2180 1105 413 48 0 2132 0
[pid=4679] vsize: 8720
Current children cumulated CPU time (s) 603.72
Current children cumulated vsize (Kb) 10848

[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1202 0 0 0 27425 772 0 0 24 0 1 0 19723882 9306112 1172 4294967295 134512640 134702520 3221223712 3221201248 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2272 1172 413 48 0 2224 0
[pid=4679] vsize: 9088
Current children cumulated CPU time (s) 612.25
Current children cumulated vsize (Kb) 11216

[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1202 0 0 0 28425 772 0 0 25 0 1 0 19723882 9306112 1172 4294967295 134512640 134702520 3221223712 3220841068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2272 1172 413 48 0 2224 0
[pid=4679] vsize: 9088
Current children cumulated CPU time (s) 622.25
Current children cumulated vsize (Kb) 11216

[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1274 0 0 0 29185 849 0 0 18 0 1 0 19723882 9682944 1244 4294967295 134512640 134702520 3221223712 3221217728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2364 1244 413 48 0 2316 0
[pid=4679] vsize: 9456
Current children cumulated CPU time (s) 630.62
Current children cumulated vsize (Kb) 11584

[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1274 0 0 0 30186 849 0 0 25 0 1 0 19723882 9682944 1244 4294967295 134512640 134702520 3221223712 3220872288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2364 1244 413 48 0 2316 0
[pid=4679] vsize: 9456
Current children cumulated CPU time (s) 640.63
Current children cumulated vsize (Kb) 11584

[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1335 0 0 0 30952 922 0 0 18 0 1 0 19723882 9805824 1305 4294967295 134512640 134702520 3221223712 3221223104 134604364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1305 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 649.02
Current children cumulated vsize (Kb) 11704

[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1348 0 0 0 31905 935 0 0 25 0 1 0 19723882 9805824 1318 4294967295 134512640 134702520 3221223712 3220951628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1318 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 658.68
Current children cumulated vsize (Kb) 11704

[startup+700.06 s]
Raw data (loadavg): 1.08 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1353 0 0 0 32753 987 0 0 21 0 1 0 19723882 9805824 1323 4294967295 134512640 134702520 3221223712 3221208928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2394 1323 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 667.68
Current children cumulated vsize (Kb) 11704

[startup+710.061 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1353 0 0 0 33753 987 0 0 25 0 1 0 19723882 9805824 1323 4294967295 134512640 134702520 3221223712 3220852128 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2394 1323 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 677.68
Current children cumulated vsize (Kb) 11704

[startup+720.062 s]
Raw data (loadavg): 1.06 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1356 0 0 0 34584 1047 0 0 25 0 1 0 19723882 9805824 1326 4294967295 134512640 134702520 3221223712 3221168588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1326 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 686.59
Current children cumulated vsize (Kb) 11704

[startup+730.063 s]
Raw data (loadavg): 1.05 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1356 0 0 0 35584 1047 0 0 25 0 1 0 19723882 9805824 1326 4294967295 134512640 134702520 3221223712 3220759788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1326 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 696.59
Current children cumulated vsize (Kb) 11704

[startup+740.063 s]
Raw data (loadavg): 1.04 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 36400 1106 0 0 25 0 1 0 19723882 9805824 1329 4294967295 134512640 134702520 3221223712 3221144128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1329 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 705.34
Current children cumulated vsize (Kb) 11704

[startup+750.063 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1359 0 0 0 37400 1106 0 0 25 0 1 0 19723882 9805824 1329 4294967295 134512640 134702520 3221223712 3220691168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2394 1329 413 48 0 2346 0
[pid=4679] vsize: 9576
Current children cumulated CPU time (s) 715.34
Current children cumulated vsize (Kb) 11704

[startup+760.064 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1369 0 0 0 38119 1199 0 0 25 0 1 0 19723882 9928704 1339 4294967295 134512640 134702520 3221223712 3221181248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2424 1339 413 48 0 2376 0
[pid=4679] vsize: 9696
Current children cumulated CPU time (s) 723.46
Current children cumulated vsize (Kb) 11824

[startup+770.065 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1369 0 0 0 39119 1199 0 0 25 0 1 0 19723882 9928704 1339 4294967295 134512640 134702520 3221223712 3220785068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2424 1339 413 48 0 2376 0
[pid=4679] vsize: 9696
Current children cumulated CPU time (s) 733.46
Current children cumulated vsize (Kb) 11824

[startup+780.066 s]
Raw data (loadavg): 1.02 1.01 0.96 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1417 0 0 0 39849 1289 0 0 17 0 1 0 19723882 10305536 1387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2516 1387 413 48 0 2468 0
[pid=4679] vsize: 10064
Current children cumulated CPU time (s) 741.66
Current children cumulated vsize (Kb) 12192

[startup+790.067 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1429 0 0 0 40789 1308 0 0 25 0 1 0 19723882 10305536 1399 4294967295 134512640 134702520 3221223712 3220965408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2516 1399 413 48 0 2468 0
[pid=4679] vsize: 10064
Current children cumulated CPU time (s) 751.25
Current children cumulated vsize (Kb) 12192

[startup+800.067 s]
Raw data (loadavg): 1.01 1.01 0.96 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1455 0 0 0 41652 1350 0 0 18 0 1 0 19723882 10305536 1425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2516 1425 413 48 0 2468 0
[pid=4679] vsize: 10064
Current children cumulated CPU time (s) 760.3
Current children cumulated vsize (Kb) 12192

[startup+810.068 s]
Raw data (loadavg): 1.01 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1504 0 0 0 42415 1429 0 0 25 0 1 0 19723882 10440704 1474 4294967295 134512640 134702520 3221223712 3221100748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1474 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 768.72
Current children cumulated vsize (Kb) 12324

[startup+820.07 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1504 0 0 0 43415 1429 0 0 25 0 1 0 19723882 10440704 1474 4294967295 134512640 134702520 3221223712 3220536588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1474 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 778.72
Current children cumulated vsize (Kb) 12324

[startup+830.071 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1507 0 0 0 44200 1499 0 0 25 0 1 0 19723882 10440704 1477 4294967295 134512640 134702520 3221223712 3221092928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1477 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 12324

[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1507 0 0 0 45200 1499 0 0 25 0 1 0 19723882 10440704 1477 4294967295 134512640 134702520 3221223712 3220483148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1477 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 797.27
Current children cumulated vsize (Kb) 12324

[startup+850.071 s]
Raw data (loadavg): 1.08 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1508 0 0 0 45983 1572 0 0 25 0 1 0 19723882 10440704 1478 4294967295 134512640 134702520 3221223712 3221081728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1478 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 805.83
Current children cumulated vsize (Kb) 12324

[startup+860.072 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1508 0 0 0 46983 1572 0 0 25 0 1 0 19723882 10440704 1478 4294967295 134512640 134702520 3221223712 3220414508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1478 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 815.83
Current children cumulated vsize (Kb) 12324

[startup+870.073 s]
Raw data (loadavg): 1.06 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1511 0 0 0 47736 1653 0 0 25 0 1 0 19723882 10440704 1481 4294967295 134512640 134702520 3221223712 3221099468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1481 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 824.17
Current children cumulated vsize (Kb) 12324

[startup+880.074 s]
Raw data (loadavg): 1.05 1.02 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1511 0 0 0 48736 1653 0 0 25 0 1 0 19723882 10440704 1481 4294967295 134512640 134702520 3221223712 3220530368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1481 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 834.17
Current children cumulated vsize (Kb) 12324

[startup+890.074 s]
Raw data (loadavg): 1.04 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1513 0 0 0 49485 1737 0 0 25 0 1 0 19723882 10440704 1483 4294967295 134512640 134702520 3221223712 3221126848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1483 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 842.5
Current children cumulated vsize (Kb) 12324

[startup+900.075 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1513 0 0 0 50485 1737 0 0 25 0 1 0 19723882 10440704 1483 4294967295 134512640 134702520 3221223712 3220625708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1483 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 852.5
Current children cumulated vsize (Kb) 12324

[startup+910.076 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1517 0 0 0 51182 1836 0 0 25 0 1 0 19723882 10440704 1487 4294967295 134512640 134702520 3221223712 3221192108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1487 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 860.46
Current children cumulated vsize (Kb) 12324

[startup+920.078 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1517 0 0 0 52182 1836 0 0 25 0 1 0 19723882 10440704 1487 4294967295 134512640 134702520 3221223712 3220819328 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1487 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 870.46
Current children cumulated vsize (Kb) 12324

[startup+930.079 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1522 0 0 0 52942 1908 0 0 18 0 1 0 19723882 10440704 1492 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2549 1492 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 878.78
Current children cumulated vsize (Kb) 12324

[startup+940.078 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1524 0 0 0 53787 1959 0 0 25 0 1 0 19723882 10440704 1494 4294967295 134512640 134702520 3221223712 3221042848 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2549 1494 413 48 0 2501 0
[pid=4679] vsize: 10196
Current children cumulated CPU time (s) 887.74
Current children cumulated vsize (Kb) 12324

[startup+950.079 s]
Raw data (loadavg): 1.01 1.01 0.96 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1526 0 0 0 54745 1974 0 0 17 0 1 0 19723882 10588160 1496 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2585 1496 413 48 0 2537 0
[pid=4679] vsize: 10340
Current children cumulated CPU time (s) 897.47
Current children cumulated vsize (Kb) 12468

[startup+960.08 s]
Raw data (loadavg): 1.08 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1527 0 0 0 55572 2034 0 0 25 0 1 0 19723882 10551296 1497 4294967295 134512640 134702520 3221223712 3221033388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1497 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 906.34
Current children cumulated vsize (Kb) 12432

[startup+970.082 s]
Raw data (loadavg): 1.07 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1536 0 0 0 56517 2052 0 0 18 0 1 0 19723882 10551296 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1506 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 915.97
Current children cumulated vsize (Kb) 12432

[startup+980.082 s]
Raw data (loadavg): 1.06 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1536 0 0 0 57347 2110 0 0 25 0 1 0 19723882 10551296 1506 4294967295 134512640 134702520 3221223712 3221031008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1506 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 924.85
Current children cumulated vsize (Kb) 12432

[startup+990.083 s]
Raw data (loadavg): 1.05 1.02 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1537 0 0 0 58285 2128 0 0 17 0 1 0 19723882 10551296 1507 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1507 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 934.41
Current children cumulated vsize (Kb) 12432

[startup+1000.08 s]
Raw data (loadavg): 1.04 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1537 0 0 0 59153 2171 0 0 25 0 1 0 19723882 10551296 1507 4294967295 134512640 134702520 3221223712 3221003328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1507 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 943.52
Current children cumulated vsize (Kb) 12432

[startup+1010.08 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1538 0 0 0 60055 2203 0 0 17 0 1 0 19723882 10551296 1508 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1508 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 952.86
Current children cumulated vsize (Kb) 12432

[startup+1020.09 s]
Raw data (loadavg): 1.03 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1538 0 0 0 60944 2238 0 0 25 0 1 0 19723882 10551296 1508 4294967295 134512640 134702520 3221223712 3220996752 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1508 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 962.1
Current children cumulated vsize (Kb) 12432

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1539 0 0 0 61831 2274 0 0 17 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 971.33
Current children cumulated vsize (Kb) 12432

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1539 0 0 0 62759 2298 0 0 25 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3220964768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 980.85
Current children cumulated vsize (Kb) 12432

[startup+1050.09 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1539 0 0 0 63595 2349 0 0 17 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 989.72
Current children cumulated vsize (Kb) 12432

[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1539 0 0 0 64556 2363 0 0 25 0 1 0 19723882 10551296 1509 4294967295 134512640 134702520 3221223712 3220932428 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1509 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 999.47
Current children cumulated vsize (Kb) 12432

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1556 0 0 0 65359 2423 0 0 17 0 1 0 19723882 10551296 1526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1526 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1008.1
Current children cumulated vsize (Kb) 12432

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1556 0 0 0 66323 2436 0 0 25 0 1 0 19723882 10551296 1526 4294967295 134512640 134702520 3221223712 3220922528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1526 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1017.87
Current children cumulated vsize (Kb) 12432

[startup+1090.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1557 0 0 0 67103 2505 0 0 17 0 1 0 19723882 10551296 1527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1527 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1026.36
Current children cumulated vsize (Kb) 12432

[startup+1100.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1557 0 0 0 68093 2509 0 0 25 0 1 0 19723882 10551296 1527 4294967295 134512640 134702520 3221223712 3220901068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1527 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1036.3
Current children cumulated vsize (Kb) 12432

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1560 0 0 0 68917 2562 0 0 25 0 1 0 19723882 10551296 1530 4294967295 134512640 134702520 3221223712 3221198048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1530 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1045.07
Current children cumulated vsize (Kb) 12432

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1560 0 0 0 69917 2562 0 0 25 0 1 0 19723882 10551296 1530 4294967295 134512640 134702520 3221223712 3220826828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1530 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1055.07
Current children cumulated vsize (Kb) 12432

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1561 0 0 0 70739 2616 0 0 25 0 1 0 19723882 10551296 1531 4294967295 134512640 134702520 3221223712 3221161728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1531 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1063.83
Current children cumulated vsize (Kb) 12432

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1561 0 0 0 71739 2616 0 0 25 0 1 0 19723882 10551296 1531 4294967295 134512640 134702520 3221223712 3220741388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1531 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1073.83
Current children cumulated vsize (Kb) 12432

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1562 0 0 0 72539 2680 0 0 25 0 1 0 19723882 10551296 1532 4294967295 134512640 134702520 3221223712 3221142528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1532 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1082.47
Current children cumulated vsize (Kb) 12432

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1562 0 0 0 73539 2680 0 0 25 0 1 0 19723882 10551296 1532 4294967295 134512640 134702520 3221223712 3220676928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1532 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1092.47
Current children cumulated vsize (Kb) 12432

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1564 0 0 0 74308 2754 0 0 25 0 1 0 19723882 10551296 1534 4294967295 134512640 134702520 3221223712 3221131808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1534 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1100.9
Current children cumulated vsize (Kb) 12432

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1564 0 0 0 75308 2754 0 0 25 0 1 0 19723882 10551296 1534 4294967295 134512640 134702520 3221223712 3220642688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1534 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1110.9
Current children cumulated vsize (Kb) 12432

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1566 0 0 0 76215 2784 0 0 17 0 1 0 19723882 10551296 1536 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1536 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1120.27
Current children cumulated vsize (Kb) 12432

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1566 0 0 0 77013 2847 0 0 25 0 1 0 19723882 10551296 1536 4294967295 134512640 134702520 3221223712 3221034848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1536 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1128.88
Current children cumulated vsize (Kb) 12432

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1567 0 0 0 77958 2864 0 0 18 0 1 0 19723882 10551296 1537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1537 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1138.5
Current children cumulated vsize (Kb) 12432

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1567 0 0 0 78788 2917 0 0 25 0 1 0 19723882 10551296 1537 4294967295 134512640 134702520 3221223712 3221022688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1537 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1147.33
Current children cumulated vsize (Kb) 12432

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1568 0 0 0 79709 2942 0 0 17 0 1 0 19723882 10551296 1538 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1538 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1156.79
Current children cumulated vsize (Kb) 12432

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1568 0 0 0 80530 2998 0 0 25 0 1 0 19723882 10551296 1538 4294967295 134512640 134702520 3221223712 3221028448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1538 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1165.56
Current children cumulated vsize (Kb) 12432

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1569 0 0 0 81458 3020 0 0 17 0 1 0 19723882 10551296 1539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1539 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1175.06
Current children cumulated vsize (Kb) 12432

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1570 0 0 0 82253 3084 0 0 25 0 1 0 19723882 10551296 1540 4294967295 134512640 134702520 3221223712 3221051968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1540 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1183.65
Current children cumulated vsize (Kb) 12432

[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) T 4674 4674 4004 0 -1 0 1571 0 0 0 83229 3093 0 0 19 0 1 0 19723882 10551296 1541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 2576 1541 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1193.5
Current children cumulated vsize (Kb) 12432

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1571 0 0 0 83900 3199 0 0 25 0 1 0 19723882 10551296 1541 4294967295 134512640 134702520 3221223712 3221132928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1541 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 12432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 4679
Raw data (/proc/4674/stat): 4674 (vallstSAT2005PB) S 4673 4674 4004 0 -1 0 378 1750 0 0 2 1 32442 583 19 0 1 0 19689696 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4674/statm): 532 248 485 147 0 385 0
[pid=4674] vsize: 2128
Raw data (/proc/4679/stat): 4679 (vallst) R 4674 4674 4004 0 -1 0 1571 0 0 0 83900 3199 0 0 25 0 1 0 19723882 10551296 1541 4294967295 134512640 134702520 3221223712 3221132928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 2576 1541 413 48 0 2528 0
[pid=4679] vsize: 10304
Current children cumulated CPU time (s) 1201.27
Current children cumulated vsize (Kb) 12432

Sending SIGTERM to -4674
Sleeping 2 seconds
New process pid=4681
New process pid=4682
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/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/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/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/4635/stat
open syscall for file /proc/4635/status
open syscall for file /proc/4635/cmdline
open syscall for file /proc/4635/environ
open syscall for file /proc/4673/stat
open syscall for file /proc/4673/status
open syscall for file /proc/4673/cmdline
open syscall for file /proc/4673/environ
open syscall for file /proc/4674/stat
open syscall for file /proc/4674/status
open syscall for file /proc/4674/cmdline
open syscall for file /proc/4674/environ
open syscall for file /proc/4679/stat
open syscall for file /proc/4679/status
open syscall for file /proc/4679/cmdline
open syscall for file /proc/4679/environ
open syscall for file /proc/4681/stat
open syscall for file /proc/4681/status
open syscall for file /proc/4681/cmdline
open syscall for file /proc/4681/environ
open syscall for file /proc/4682/stat
open syscall for file /proc/4682/status
open syscall for file /proc/4682/cmdline
open syscall for file /proc/4682/environ
One traced child (pid=4681) exited with status: 0
One traced child (pid=4682) exited with status: 0
New process pid=4683
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=4683) exited with status: 0
New process pid=4684
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=4684) exited with status: 0
One traced child (pid=4674) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4674
One traced child (pid=4679) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1282.12
CPU time (s): 873.011
CPU user time (s): 841.005
CPU system time (s): 32.0061
CPU usage (%): 68.0915
Max. virtual memory (cumulated for all children) (Kb): 12468

Verifier Data

ERROR: no interpretation found !