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-fit2p.opb
MD5SUM5f5cb3c37eae37e49339d7674a999c27
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 172663
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 42533442284
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 30985420800
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 101083836075
Number of bits of the biggest sum of numbers37
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables210852
Total number of constraints10500
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 constraints10500
Minimum length of a constraint10
Maximum length of a constraint413

Trace number 9172

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 11:13:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7847 boxname=wulflinc7 idbench=815 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5f5cb3c37eae37e49339d7674a999c27  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2p.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2p.opb 0
IDLAUNCH: 7847
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919428 kB
Buffers:          9588 kB
Cached:          88332 kB
SwapCached:          0 kB
Active:          68628 kB
Inactive:        32224 kB
HighTotal:      131008 kB
HighFree:        38640 kB
LowTotal:       903652 kB
LowFree:        880788 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8652 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:33:35 (client local time) WITH STATUS 0 IN 253.966 SECONDS
stats: 7847 7 253.966 0

Solver Data

1:
seed: 0
Nr of vars set: 43  (#equs: 0)
Nr of vars set: 48  (#equs: 0)
#decisions: 28840;  #end-nodes: 8920;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 13379, #non-axs: 25
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: 49  (#equs: 0)
Time taken: 15 min, 46 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/4858/stat): 4858 (vallstSAT2005PB) R 4857 4858 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19750991 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4858/statm): 174 3 169 147 0 27 0
[pid=4858] 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=4859
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=4859) exited with status: 0
New process pid=4860
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=4860) exited with status: 0
New process pid=4861
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/wulflinc7/normalized-mps-v2-13-7-fit2p.opb

[startup+10.0036 s]
Raw data (loadavg): 1.02 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 917 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 67516

[startup+20.0043 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 1917 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (Kb) 67516

[startup+30.0049 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 2918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 29.67
Current children cumulated vsize (Kb) 67516

[startup+40.0055 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 3918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 39.67
Current children cumulated vsize (Kb) 67516

[startup+50.0062 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 4918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550200 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (Kb) 67516

[startup+60.0068 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 5918 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 59.67
Current children cumulated vsize (Kb) 67516

[startup+70.0075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 6919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 69.68
Current children cumulated vsize (Kb) 67516

[startup+80.0091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 7919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 79.68
Current children cumulated vsize (Kb) 67516

[startup+90.0097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 8919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 89.68
Current children cumulated vsize (Kb) 67516

[startup+100.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 9919 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (Kb) 67516

[startup+110.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 10920 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 109.69
Current children cumulated vsize (Kb) 67516

[startup+120.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 11920 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 119.69
Current children cumulated vsize (Kb) 67516

[startup+130.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 12920 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 67516

[startup+140.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 13921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 139.7
Current children cumulated vsize (Kb) 67516

[startup+150.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 14921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 149.7
Current children cumulated vsize (Kb) 67516

[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 15921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 159.7
Current children cumulated vsize (Kb) 67516

[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 16921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 169.7
Current children cumulated vsize (Kb) 67516

[startup+180.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 17921 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 179.7
Current children cumulated vsize (Kb) 67516

[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 18922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 189.71
Current children cumulated vsize (Kb) 67516

[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 19922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (Kb) 67516

[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 20922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 209.71
Current children cumulated vsize (Kb) 67516

[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 21922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 219.71
Current children cumulated vsize (Kb) 67516

[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 22922 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 229.71
Current children cumulated vsize (Kb) 67516

[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 23923 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 239.72
Current children cumulated vsize (Kb) 67516

[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 24923 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 249.72
Current children cumulated vsize (Kb) 67516

[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 10712 0 0 0 25923 48 0 0 25 0 1 0 19751001 66957312 9973 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16347 9973 413 48 0 16299 0
[pid=4861] vsize: 65388
Current children cumulated CPU time (s) 259.72
Current children cumulated vsize (Kb) 67516

[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 12538 0 0 0 26906 59 0 0 25 0 1 0 19751001 68579328 11799 4294967295 134512640 134702520 3221223952 3221223568 134660743 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 16743 11799 413 48 0 16695 0
[pid=4861] vsize: 66972
Current children cumulated CPU time (s) 269.66
Current children cumulated vsize (Kb) 69100
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15160 0 0 0 27859 89 0 0 25 0 1 0 19751001 68616192 13956 4294967295 134512640 134702520 3221223952 3221223216 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16752 13956 413 48 0 16704 0
[pid=4861] vsize: 67008
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (Kb) 69136

[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15160 0 0 0 28242 283 0 0 16 0 1 0 19751001 68616192 13956 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4861/statm): 16752 13956 413 48 0 16704 0
[pid=4861] vsize: 67008
Current children cumulated CPU time (s) 285.26
Current children cumulated vsize (Kb) 69136

[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15160 0 0 0 28500 518 0 0 16 0 1 0 19751001 68616192 13956 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4861/statm): 16752 13956 413 48 0 16704 0
[pid=4861] vsize: 67008
Current children cumulated CPU time (s) 290.19
Current children cumulated vsize (Kb) 69136

[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15190 0 0 0 29181 625 0 0 25 0 1 0 19751001 142852096 13986 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 13986 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 298.07
Current children cumulated vsize (Kb) 141632

[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15205 0 0 0 30176 627 0 0 25 0 1 0 19751001 142852096 14001 4294967295 134512640 134702520 3221223952 3221223200 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14001 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 308.04
Current children cumulated vsize (Kb) 141632

[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15205 0 0 0 31173 628 0 0 25 0 1 0 19751001 142852096 14001 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14001 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 318.02
Current children cumulated vsize (Kb) 141632

[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 32169 629 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 327.99
Current children cumulated vsize (Kb) 141632

[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 33166 631 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223536 134559059 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 337.98
Current children cumulated vsize (Kb) 141632

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 34161 632 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 347.94
Current children cumulated vsize (Kb) 141632

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 35160 632 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 357.93
Current children cumulated vsize (Kb) 141632

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 36152 635 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221222976 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 367.88
Current children cumulated vsize (Kb) 141632

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 37150 636 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 377.87
Current children cumulated vsize (Kb) 141632

[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 38145 639 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 387.85
Current children cumulated vsize (Kb) 141632

[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15206 0 0 0 39142 640 0 0 25 0 1 0 19751001 142852096 14002 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14002 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 397.83
Current children cumulated vsize (Kb) 141632

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 40140 640 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (Kb) 141632

[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 41136 642 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 417.79
Current children cumulated vsize (Kb) 141632

[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 42134 643 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 427.78
Current children cumulated vsize (Kb) 141632

[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 43132 643 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 437.76
Current children cumulated vsize (Kb) 141632

[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 44131 644 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 447.76
Current children cumulated vsize (Kb) 141632

[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 45124 646 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 457.71
Current children cumulated vsize (Kb) 141632

[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 46121 647 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 467.69
Current children cumulated vsize (Kb) 141632

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 47117 648 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 477.66
Current children cumulated vsize (Kb) 141632

[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 48113 650 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 487.64
Current children cumulated vsize (Kb) 141632

[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 49110 650 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 497.61
Current children cumulated vsize (Kb) 141632

[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 50109 651 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 507.61
Current children cumulated vsize (Kb) 141632

[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 51107 652 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 517.6
Current children cumulated vsize (Kb) 141632

[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 52105 653 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 527.59
Current children cumulated vsize (Kb) 141632

[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15209 0 0 0 53101 654 0 0 25 0 1 0 19751001 142852096 14005 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14005 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 537.56
Current children cumulated vsize (Kb) 141632

[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15213 0 0 0 54098 656 0 0 25 0 1 0 19751001 142852096 14009 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14009 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 547.55
Current children cumulated vsize (Kb) 141632

[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 55093 657 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 557.51
Current children cumulated vsize (Kb) 141632

[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 56090 659 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 567.5
Current children cumulated vsize (Kb) 141632

[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 57087 660 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 577.48
Current children cumulated vsize (Kb) 141632

[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 58083 661 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 587.45
Current children cumulated vsize (Kb) 141632

[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 59079 663 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 597.43
Current children cumulated vsize (Kb) 141632

[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 60076 664 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 607.41
Current children cumulated vsize (Kb) 141632

[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 61073 665 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 617.39
Current children cumulated vsize (Kb) 141632

[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 62072 665 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 627.38
Current children cumulated vsize (Kb) 141632

[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 63071 666 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 637.38
Current children cumulated vsize (Kb) 141632

[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 64069 667 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 647.37
Current children cumulated vsize (Kb) 141632

[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 65068 667 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 657.36
Current children cumulated vsize (Kb) 141632

[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 66062 669 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 667.32
Current children cumulated vsize (Kb) 141632

[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 67060 669 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 677.3
Current children cumulated vsize (Kb) 141632

[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 68056 670 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 687.27
Current children cumulated vsize (Kb) 141632

[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 69053 672 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 697.26
Current children cumulated vsize (Kb) 141632

[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 70050 673 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 707.24
Current children cumulated vsize (Kb) 141632

[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 71047 674 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 717.22
Current children cumulated vsize (Kb) 141632

[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 72043 675 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 727.19
Current children cumulated vsize (Kb) 141632

[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15219 0 0 0 73039 677 0 0 25 0 1 0 19751001 142852096 14015 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14015 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 737.17
Current children cumulated vsize (Kb) 141632

[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 74035 678 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 747.14
Current children cumulated vsize (Kb) 141632

[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 75031 680 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 757.12
Current children cumulated vsize (Kb) 141632

[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 76029 681 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 767.11
Current children cumulated vsize (Kb) 141632

[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 77020 684 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 777.05
Current children cumulated vsize (Kb) 141632

[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 78017 685 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 787.03
Current children cumulated vsize (Kb) 141632

[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 79015 686 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 797.02
Current children cumulated vsize (Kb) 141632

[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 80013 687 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 807.01
Current children cumulated vsize (Kb) 141632

[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 81011 687 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 816.99
Current children cumulated vsize (Kb) 141632

[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 82009 688 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 826.98
Current children cumulated vsize (Kb) 141632

[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 83006 689 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 836.96
Current children cumulated vsize (Kb) 141632

[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 84004 691 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 846.96
Current children cumulated vsize (Kb) 141632

[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 85002 691 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 856.94
Current children cumulated vsize (Kb) 141632

[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 86001 692 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 866.94
Current children cumulated vsize (Kb) 141632

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 86998 693 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 876.92
Current children cumulated vsize (Kb) 141632

[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 87995 694 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 886.9
Current children cumulated vsize (Kb) 141632

[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 88994 694 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 896.89
Current children cumulated vsize (Kb) 141632

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 89993 694 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 906.88
Current children cumulated vsize (Kb) 141632

[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 90993 695 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 916.89
Current children cumulated vsize (Kb) 141632

[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 91993 695 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 926.89
Current children cumulated vsize (Kb) 141632

[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) R 4858 4858 4059 0 -1 0 15223 0 0 0 92981 699 0 0 25 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 936.81
Current children cumulated vsize (Kb) 141632

[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15223 0 0 0 93540 840 0 0 15 0 1 0 19751001 142852096 14019 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4861/statm): 34876 14019 413 48 0 34828 0
[pid=4861] vsize: 139504
Current children cumulated CPU time (s) 943.81
Current children cumulated vsize (Kb) 141632
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4861
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 19750991 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 242 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4861/stat): 4861 (vallst) T 4858 4858 4059 0 -1 0 15225 0 0 0 94089 1007 0 0 18 0 1 0 19751001 142856192 14021 4294967295 134512640 134702520 3221223952 3221221856 1074898718 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4861/statm): 34877 14021 413 48 0 34829 0
[pid=4861] vsize: 139508
Current children cumulated CPU time (s) 950.97
Current children cumulated vsize (Kb) 141636
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4861) exited with status: 2
New process pid=4862
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=4862) exited with status: 0
New process pid=4863
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+980.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 8700 0 0 0 766 48 0 0 25 0 1 0 19848174 56471552 8671 4294967295 134512640 134702520 3221223712 3221223336 1074475072 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 13787 8671 413 48 0 13739 0
[pid=4863] vsize: 55148
Current children cumulated CPU time (s) 960.6
Current children cumulated vsize (Kb) 57276

[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4858 4858 4059 0 -1 0 11815 0 0 0 1679 87 0 0 18 0 1 0 19848174 59207680 11785 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 14455 11785 413 48 0 14407 0
[pid=4863] vsize: 57820
Current children cumulated CPU time (s) 970.12
Current children cumulated vsize (Kb) 59948

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 12168 0 0 0 1956 319 0 0 17 0 1 0 19848174 61411328 12138 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 14993 12138 413 48 0 14945 0
[pid=4863] vsize: 59972
Current children cumulated CPU time (s) 975.21
Current children cumulated vsize (Kb) 62100

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 12641 0 0 0 2942 324 0 0 25 0 1 0 19848174 130142208 12609 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 31773 12609 413 48 0 31725 0
[pid=4863] vsize: 127092
Current children cumulated CPU time (s) 985.12
Current children cumulated vsize (Kb) 129220

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 12971 0 0 0 3936 326 0 0 25 0 1 0 19848174 131575808 12939 4294967295 134512640 134702520 3221223712 3221222992 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32123 12939 413 48 0 32075 0
[pid=4863] vsize: 128492
Current children cumulated CPU time (s) 995.08
Current children cumulated vsize (Kb) 130620

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13007 0 0 0 4929 329 0 0 25 0 1 0 19848174 131575808 12975 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32123 12975 413 48 0 32075 0
[pid=4863] vsize: 128492
Current children cumulated CPU time (s) 1005.04
Current children cumulated vsize (Kb) 130620

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13031 0 0 0 5923 331 0 0 25 0 1 0 19848174 131715072 12999 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32157 12999 413 48 0 32109 0
[pid=4863] vsize: 128628
Current children cumulated CPU time (s) 1015
Current children cumulated vsize (Kb) 130756

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13054 0 0 0 6918 333 0 0 25 0 1 0 19848174 131715072 13022 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32157 13022 413 48 0 32109 0
[pid=4863] vsize: 128628
Current children cumulated CPU time (s) 1024.97
Current children cumulated vsize (Kb) 130756

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13081 0 0 0 7914 334 0 0 25 0 1 0 19848174 131854336 13049 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32191 13049 413 48 0 32143 0
[pid=4863] vsize: 128764
Current children cumulated CPU time (s) 1034.94
Current children cumulated vsize (Kb) 130892

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13091 0 0 0 8911 336 0 0 25 0 1 0 19848174 131854336 13059 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32191 13059 413 48 0 32143 0
[pid=4863] vsize: 128764
Current children cumulated CPU time (s) 1044.93
Current children cumulated vsize (Kb) 130892

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13095 0 0 0 9907 338 0 0 25 0 1 0 19848174 131854336 13063 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32191 13063 413 48 0 32143 0
[pid=4863] vsize: 128764
Current children cumulated CPU time (s) 1054.91
Current children cumulated vsize (Kb) 130892

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13114 0 0 0 10899 340 0 0 25 0 1 0 19848174 131862528 13081 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32193 13081 413 48 0 32145 0
[pid=4863] vsize: 128772
Current children cumulated CPU time (s) 1064.85
Current children cumulated vsize (Kb) 130900

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13118 0 0 0 11893 343 0 0 25 0 1 0 19848174 132009984 13085 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13085 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1074.82
Current children cumulated vsize (Kb) 131044

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13136 0 0 0 12889 345 0 0 25 0 1 0 19848174 132009984 13103 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13103 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1084.8
Current children cumulated vsize (Kb) 131044

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13152 0 0 0 13886 346 0 0 25 0 1 0 19848174 132009984 13119 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13119 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1094.78
Current children cumulated vsize (Kb) 131044

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13152 0 0 0 14885 346 0 0 25 0 1 0 19848174 132009984 13119 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32229 13119 413 48 0 32181 0
[pid=4863] vsize: 128916
Current children cumulated CPU time (s) 1104.77
Current children cumulated vsize (Kb) 131044

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13158 0 0 0 15880 349 0 0 25 0 1 0 19848174 132149248 13125 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32263 13125 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1114.75
Current children cumulated vsize (Kb) 131180

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13164 0 0 0 16874 351 0 0 25 0 1 0 19848174 132149248 13131 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13131 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1124.71
Current children cumulated vsize (Kb) 131180

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13172 0 0 0 17870 352 0 0 25 0 1 0 19848174 132149248 13139 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13139 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1134.68
Current children cumulated vsize (Kb) 131180

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4858 4858 4059 0 -1 0 13173 0 0 0 18862 356 0 0 25 0 1 0 19848174 132993024 13140 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32469 13140 413 48 0 32421 0
[pid=4863] vsize: 129876
Current children cumulated CPU time (s) 1144.64
Current children cumulated vsize (Kb) 132004

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13177 0 0 0 19852 360 0 0 25 0 1 0 19848174 132149248 13143 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13143 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1154.58
Current children cumulated vsize (Kb) 131180

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13181 0 0 0 20849 361 0 0 25 0 1 0 19848174 132149248 13147 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 32263 13147 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1164.56
Current children cumulated vsize (Kb) 131180

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13187 0 0 0 21844 363 0 0 25 0 1 0 19848174 132149248 13153 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32263 13153 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1174.53
Current children cumulated vsize (Kb) 131180

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13187 0 0 0 22839 365 0 0 25 0 1 0 19848174 132149248 13153 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32263 13153 413 48 0 32215 0
[pid=4863] vsize: 129052
Current children cumulated CPU time (s) 1184.5
Current children cumulated vsize (Kb) 131180

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13189 0 0 0 23833 367 0 0 25 0 1 0 19848174 132288512 13155 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32297 13155 413 48 0 32249 0
[pid=4863] vsize: 129188
Current children cumulated CPU time (s) 1194.46
Current children cumulated vsize (Kb) 131316

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13193 0 0 0 24829 369 0 0 25 0 1 0 19848174 132288512 13159 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32297 13159 413 48 0 32249 0
[pid=4863] vsize: 129188
Current children cumulated CPU time (s) 1204.44
Current children cumulated vsize (Kb) 131316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4863
Raw data (/proc/4858/stat): 4858 (vallstSAT2005PB) S 4857 4858 4059 0 -1 0 378 15598 0 0 1 0 94220 1025 17 0 1 0 19750991 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4858/statm): 532 248 485 147 0 385 0
[pid=4858] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4858 4858 4059 0 -1 0 13193 0 0 0 24829 369 0 0 25 0 1 0 19848174 132288512 13159 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 32297 13159 413 48 0 32249 0
[pid=4863] vsize: 129188
Current children cumulated CPU time (s) 1204.44
Current children cumulated vsize (Kb) 131316

Sending SIGTERM to -4858
Sleeping 2 seconds
New process pid=4865
New process pid=4866
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /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/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/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/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4819/stat
open syscall for file /proc/4819/status
open syscall for file /proc/4819/cmdline
open syscall for file /proc/4819/environ
open syscall for file /proc/4857/stat
open syscall for file /proc/4857/status
open syscall for file /proc/4857/cmdline
open syscall for file /proc/4857/environ
open syscall for file /proc/4858/stat
open syscall for file /proc/4858/status
open syscall for file /proc/4858/cmdline
open syscall for file /proc/4858/environ
open syscall for file /proc/4863/stat
open syscall for file /proc/4863/status
open syscall for file /proc/4863/cmdline
open syscall for file /proc/4863/environ
open syscall for file /proc/4865/stat
open syscall for file /proc/4865/status
open syscall for file /proc/4865/cmdline
open syscall for file /proc/4865/environ
open syscall for file /proc/4866/stat
open syscall for file /proc/4866/status
open syscall for file /proc/4866/cmdline
open syscall for file /proc/4866/environ
One traced child (pid=4865) exited with status: 0
One traced child (pid=4866) exited with status: 0
New process pid=4867
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=4867) exited with status: 0
New process pid=4868
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=4868) exited with status: 0
One traced child (pid=4858) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4858
One traced child (pid=4863) 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): 1232.13
CPU time (s): 253.966
CPU user time (s): 250.02
CPU system time (s): 3.9464
CPU usage (%): 20.612
Max. virtual memory (cumulated for all children) (Kb): 141636

Verifier Data

ERROR: no interpretation found !