Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
MD5SUM130bea0863cb3f92addf09aabe15daa3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 956
Optimality of the best value was proved NO
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.03
Number of variables1800
Total number of constraints2015
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2015
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72

Trace number 9348

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 12:44:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8086 boxname=wulflinc7 idbench=1054 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-10teams.opb 0
IDLAUNCH: 8086
/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:        934732 kB
Buffers:         10424 kB
Cached:          72604 kB
SwapCached:          0 kB
Active:          44716 kB
Inactive:        41224 kB
HighTotal:      131008 kB
HighFree:        54544 kB
LowTotal:       903652 kB
LowFree:        880188 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8500 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:08:07 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 8086 7 1200.51 0

Solver Data

1:
seed: 0
Nr of vars set: 200  (#equs: 0)
Nr of vars set: 200  (#equs: 0)
#decisions: 18707;  #end-nodes: 6520;
#proof improvement attempts: 0;  #restarts: 73
Current batch, end-nodes: 37 / 98 (98)
#axs: 331, #non-axs: 0
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: model found (1)
Model found with constant:  40701 (998:>=*);
#decisions: 14305;  #end-nodes: 4942;
#proof improvement attempts: 0;  #restarts: 56
Current batch, end-nodes: 83 / 94 (94)
#axs: 331, #non-axs: 0
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
Model found with constant:  40705 (994:>=*);
#decisions: 244183;  #end-nodes: 109851;
#proof improvement attempts: 0;  #restarts: 671
Current batch, end-nodes: 17 / 247 (247)
#axs: 331, #non-axs: 0
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
Model found with constant:  40721 (978:>=*);
#decisions: 41210;  #end-nodes: 15234;
#proof improvement attempts: 0;  #restarts: 153
Current batch, end-nodes: 111 / 118 (118)
#axs: 331, #non-axs: 0
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
Model found with constant:  40725 (974:>=*);
#decisions: 11299;  #end-nodes: 4080;
#proof improvement attempts: 0;  #restarts: 47
Current batch, end-nodes: 60 / 91 (91)
#axs: 331, #non-axs: 0
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
Model found with constant:  40727 (972:>=*);
#decisions: 35;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 331, #non-axs: 0
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
Model found with constant:  40735 (964:>=*);
#decisions: 25247;  #end-nodes: 8810;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 331, #non-axs: 0
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
Model found with constant:
  (pushed:) 40735 (964:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 200  (#equs: 0)
Time taken: 5 min, 14 sec

2:
seed: 0
Nr of vars set: 200  (#equs: 0)
Nr of vars set: 200  (#equs: 0)
#decisions: 42223;  #end-nodes: 18094;
#proof improvement attempts: 0;  #restarts: 132
Current batch, end-nodes: 117 / 153 (153)
#axs: 331, #non-axs: 0
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: model found (1)
Model found with constant:  39041 (958:>=*);
#decisions: 138733;  #end-nodes: 63411;
#proof improvement attempts: 0;  #restarts: 379
Current batch, end-nodes: 86 / 214 (214)
#axs: 331, #non-axs: 0
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
Model found with constant:  39043 (956:>=*);
#decisions: 271344;  #end-nodes: 130096;
#proof improvement attempts: 0;  #restarts: 648
Current batch, end-nodes: 30 / 282 (282)
#axs: 331, #non-axs: 0
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
Model found with constant:  39045 (954:>=*);
#decisions: 118419;  #end-nodes: 53594;
#proof improvement attempts: 0;  #restarts: 332
Current batch, end-nodes: 61 / 203 (203)
#axs: 331, #non-axs: 0
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
Model found with constant:  39047 (952:>=*);
#decisions: 396089;  #end-nodes: 196872;
#proof improvement attempts: 0;  #restarts: 864
Current batch, end-nodes: 124 / 336 (336)
#axs: 331, #non-axs: 0
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
Model found with constant:  39051 (948:>=*);
Interupt request received.
#decisions: 107113;  #end-nodes: 48283;
#proof improvement attempts: 0;  #restarts: 305
Current batch, end-nodes: 117 / 196 (196)
#axs: 331, #non-axs: 0
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
Model found with constant:
  (pushed:) 39051 (948:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1705  (#equs: 0)
Time taken: 14 min, 45 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) R 5876 5877 4059 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20301341 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5877/statm): 174 3 169 147 0 27 0
[pid=5877] 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=5878
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=5878) exited with status: 0
New process pid=5879
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=5879) exited with status: 0
New process pid=5880
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-10teams.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0025 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 345 0 0 0 684 101 0 0 19 0 1 0 20301350 2772992 315 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 677 315 413 48 0 629 0
[pid=5880] vsize: 2708
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (Kb) 4836

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 345 0 0 0 1366 210 0 0 19 0 1 0 20301350 2772992 315 4294967295 134512640 134702520 3221223952 3221223316 1074752209 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 677 315 413 48 0 629 0
[pid=5880] vsize: 2708
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (Kb) 4836

[startup+30.0038 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 417 0 0 0 2051 321 0 0 19 0 1 0 20301350 3878912 387 4294967295 134512640 134702520 3221223952 3221222848 134551086 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 947 387 413 48 0 899 0
[pid=5880] vsize: 3788
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (Kb) 5916

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 433 0 0 0 2812 401 0 0 21 0 1 0 20301350 3883008 403 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 403 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 32.14
Current children cumulated vsize (Kb) 5920

[startup+50.005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 438 0 0 0 3593 470 0 0 21 0 1 0 20301350 3883008 408 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 408 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 40.64
Current children cumulated vsize (Kb) 5920

[startup+60.0047 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 441 0 0 0 4378 544 0 0 22 0 1 0 20301350 3883008 411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 411 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (Kb) 5920

[startup+70.0063 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 441 0 0 0 5160 620 0 0 21 0 1 0 20301350 3883008 411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 948 411 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 57.81
Current children cumulated vsize (Kb) 5920

[startup+80.0069 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 443 0 0 0 5940 695 0 0 22 0 1 0 20301350 3883008 413 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 413 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 66.36
Current children cumulated vsize (Kb) 5920

[startup+90.0076 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 453 0 0 0 6721 771 0 0 22 0 1 0 20301350 3883008 423 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 423 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 74.93
Current children cumulated vsize (Kb) 5920

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 454 0 0 0 7511 845 0 0 21 0 1 0 20301350 3883008 424 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 424 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 83.57
Current children cumulated vsize (Kb) 5920

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 454 0 0 0 8289 921 0 0 20 0 1 0 20301350 3883008 424 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 424 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 92.11
Current children cumulated vsize (Kb) 5920

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 468 0 0 0 9080 992 0 0 21 0 1 0 20301350 3883008 438 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 438 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 100.73
Current children cumulated vsize (Kb) 5920

[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 470 0 0 0 9869 1066 0 0 22 0 1 0 20301350 3883008 440 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 440 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 109.36
Current children cumulated vsize (Kb) 5920

[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 470 0 0 0 10652 1141 0 0 22 0 1 0 20301350 3883008 440 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 440 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 117.94
Current children cumulated vsize (Kb) 5920

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 476 0 0 0 11435 1217 0 0 21 0 1 0 20301350 3883008 446 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 948 446 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 126.53
Current children cumulated vsize (Kb) 5920

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 485 0 0 0 12224 1292 0 0 21 0 1 0 20301350 3883008 455 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 455 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 135.17
Current children cumulated vsize (Kb) 5920

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 491 0 0 0 13019 1359 0 0 21 0 1 0 20301350 3883008 461 4294967295 134512640 134702520 3221223952 3221222848 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 461 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 143.79
Current children cumulated vsize (Kb) 5920

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 491 0 0 0 13804 1428 0 0 21 0 1 0 20301350 3883008 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 461 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 152.33
Current children cumulated vsize (Kb) 5920

[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 503 0 0 0 14592 1500 0 0 22 0 1 0 20301350 3883008 473 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 473 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (Kb) 5920

[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 511 0 0 0 15377 1569 0 0 23 0 1 0 20301350 3883008 481 4294967295 134512640 134702520 3221223952 3221223536 134559033 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 481 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 169.47
Current children cumulated vsize (Kb) 5920

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 512 0 0 0 16168 1638 0 0 22 0 1 0 20301350 3883008 482 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 482 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 178.07
Current children cumulated vsize (Kb) 5920

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 512 0 0 0 16953 1711 0 0 22 0 1 0 20301350 3883008 482 4294967295 134512640 134702520 3221223952 3221222848 134553422 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 482 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 186.65
Current children cumulated vsize (Kb) 5920

[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 514 0 0 0 17743 1786 0 0 21 0 1 0 20301350 4018176 484 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 981 484 413 48 0 933 0
[pid=5880] vsize: 3924
Current children cumulated CPU time (s) 195.3
Current children cumulated vsize (Kb) 6052

[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 657 0 0 0 18544 1856 0 0 24 0 1 0 20301350 4005888 627 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 627 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (Kb) 6040

[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 659 0 0 0 19334 1928 0 0 22 0 1 0 20301350 4005888 629 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 978 629 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 212.63
Current children cumulated vsize (Kb) 6040

[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 659 0 0 0 20114 2002 0 0 22 0 1 0 20301350 4005888 629 4294967295 134512640 134702520 3221223952 3221222848 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 629 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 221.17
Current children cumulated vsize (Kb) 6040

[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 669 0 0 0 20914 2068 0 0 21 0 1 0 20301350 4005888 639 4294967295 134512640 134702520 3221223952 3221222848 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 639 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 229.83
Current children cumulated vsize (Kb) 6040

[startup+280.02 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 671 0 0 0 21730 2130 0 0 24 0 1 0 20301350 4005888 641 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 978 641 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 238.61
Current children cumulated vsize (Kb) 6040

[startup+290.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 22520 2201 0 0 19 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 247.22
Current children cumulated vsize (Kb) 6040

[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 23309 2273 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (Kb) 6040

[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 673 0 0 0 24079 2353 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 264.33
Current children cumulated vsize (Kb) 6040

[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 673 0 0 0 24865 2424 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 272.9
Current children cumulated vsize (Kb) 6040

[startup+330.024 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 25646 2498 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 281.45
Current children cumulated vsize (Kb) 6040

[startup+340.024 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 26417 2576 0 0 21 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 289.94
Current children cumulated vsize (Kb) 6040

[startup+350.025 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 27189 2654 0 0 21 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 298.44
Current children cumulated vsize (Kb) 6040

[startup+360.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 27968 2729 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134552826 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (Kb) 6040
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5880) exited with status: 2
New process pid=5881
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=5881) exited with status: 0
New process pid=5882
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+370.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 309 0 0 0 66 7 0 0 20 0 1 0 20338261 2494464 279 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 609 279 413 48 0 561 0
[pid=5882] vsize: 2436
Current children cumulated CPU time (s) 315.52
Current children cumulated vsize (Kb) 4564

[startup+380.027 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 309 0 0 0 820 92 0 0 21 0 1 0 20338261 2494464 279 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 609 279 413 48 0 561 0
[pid=5882] vsize: 2436
Current children cumulated CPU time (s) 323.91
Current children cumulated vsize (Kb) 4564

[startup+390.029 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 400 0 0 0 1576 176 0 0 21 0 1 0 20338261 3338240 370 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 815 370 413 48 0 767 0
[pid=5882] vsize: 3260
Current children cumulated CPU time (s) 332.31
Current children cumulated vsize (Kb) 5388

[startup+400.029 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 422 0 0 0 2355 253 0 0 21 0 1 0 20338261 3465216 392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 846 392 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (Kb) 5512

[startup+410.029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 435 0 0 0 3146 326 0 0 21 0 1 0 20338261 3465216 405 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 846 405 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 349.51
Current children cumulated vsize (Kb) 5512

[startup+420.03 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 435 0 0 0 3928 402 0 0 21 0 1 0 20338261 3465216 405 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 846 405 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (Kb) 5512

[startup+430.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 438 0 0 0 4707 479 0 0 22 0 1 0 20338261 3465216 408 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 846 408 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 366.65
Current children cumulated vsize (Kb) 5512

[startup+440.031 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 442 0 0 0 5487 554 0 0 21 0 1 0 20338261 3469312 412 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 412 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 375.2
Current children cumulated vsize (Kb) 5516

[startup+450.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 444 0 0 0 6269 628 0 0 21 0 1 0 20338261 3469312 414 4294967295 134512640 134702520 3221223712 3221222912 134617910 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 414 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 383.76
Current children cumulated vsize (Kb) 5516

[startup+460.032 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 444 0 0 0 7054 702 0 0 21 0 1 0 20338261 3469312 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 414 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 392.35
Current children cumulated vsize (Kb) 5516

[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 445 0 0 0 7834 778 0 0 22 0 1 0 20338261 3469312 415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 415 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 400.91
Current children cumulated vsize (Kb) 5516

[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 450 0 0 0 8618 851 0 0 22 0 1 0 20338261 3469312 420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 420 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 409.48
Current children cumulated vsize (Kb) 5516

[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 455 0 0 0 9400 921 0 0 19 0 1 0 20338261 3469312 425 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 425 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 418
Current children cumulated vsize (Kb) 5516

[startup+500.036 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 455 0 0 0 10177 998 0 0 21 0 1 0 20338261 3469312 425 4294967295 134512640 134702520 3221223712 3221222608 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 425 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 426.54
Current children cumulated vsize (Kb) 5516

[startup+510.035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 458 0 0 0 10957 1072 0 0 21 0 1 0 20338261 3469312 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 428 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 435.08
Current children cumulated vsize (Kb) 5516

[startup+520.036 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 468 0 0 0 11740 1150 0 0 22 0 1 0 20338261 3469312 438 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 438 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 443.69
Current children cumulated vsize (Kb) 5516

[startup+530.037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 572 0 0 0 12521 1227 0 0 21 0 1 0 20338261 3469312 542 4294967295 134512640 134702520 3221223712 3221222608 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 542 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 452.27
Current children cumulated vsize (Kb) 5516

[startup+540.037 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 572 0 0 0 13299 1302 0 0 21 0 1 0 20338261 3469312 542 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 542 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 460.8
Current children cumulated vsize (Kb) 5516

[startup+550.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 574 0 0 0 14093 1374 0 0 23 0 1 0 20338261 3469312 544 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 544 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 469.46
Current children cumulated vsize (Kb) 5516

[startup+560.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 577 0 0 0 14882 1444 0 0 23 0 1 0 20338261 3469312 547 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 547 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 478.05
Current children cumulated vsize (Kb) 5516

[startup+570.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 578 0 0 0 15665 1513 0 0 21 0 1 0 20338261 3469312 548 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 548 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 486.57
Current children cumulated vsize (Kb) 5516

[startup+580.041 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 578 0 0 0 16452 1588 0 0 21 0 1 0 20338261 3469312 548 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 548 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 495.19
Current children cumulated vsize (Kb) 5516

[startup+590.041 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 578 0 0 0 17224 1666 0 0 21 0 1 0 20338261 3469312 548 4294967295 134512640 134702520 3221223712 3221222608 134554394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 548 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 503.69
Current children cumulated vsize (Kb) 5516

[startup+600.042 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 579 0 0 0 18003 1743 0 0 22 0 1 0 20338261 3592192 549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 549 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 512.25
Current children cumulated vsize (Kb) 5636

[startup+610.043 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 580 0 0 0 18781 1823 0 0 22 0 1 0 20338261 3592192 550 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 550 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 520.83
Current children cumulated vsize (Kb) 5636

[startup+620.043 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 580 0 0 0 19562 1901 0 0 21 0 1 0 20338261 3592192 550 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 550 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 529.42
Current children cumulated vsize (Kb) 5636

[startup+630.044 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 580 0 0 0 20342 1976 0 0 22 0 1 0 20338261 3592192 550 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 550 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 537.97
Current children cumulated vsize (Kb) 5636

[startup+640.045 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 581 0 0 0 21124 2053 0 0 21 0 1 0 20338261 3592192 551 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 551 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 546.56
Current children cumulated vsize (Kb) 5636

[startup+650.046 s]
Raw data (loadavg): 1.10 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 583 0 0 0 21917 2119 0 0 22 0 1 0 20338261 3592192 553 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 553 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 555.15
Current children cumulated vsize (Kb) 5636

[startup+660.046 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 583 0 0 0 22692 2194 0 0 21 0 1 0 20338261 3592192 553 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 553 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 563.65
Current children cumulated vsize (Kb) 5636

[startup+670.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 583 0 0 0 23468 2270 0 0 22 0 1 0 20338261 3592192 553 4294967295 134512640 134702520 3221223712 3221222608 134552731 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 553 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 572.17
Current children cumulated vsize (Kb) 5636

[startup+680.048 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 585 0 0 0 24264 2341 0 0 23 0 1 0 20338261 3592192 555 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 555 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 580.84
Current children cumulated vsize (Kb) 5636

[startup+690.049 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 586 0 0 0 25055 2417 0 0 23 0 1 0 20338261 3592192 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 556 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 589.51
Current children cumulated vsize (Kb) 5636

[startup+700.049 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 587 0 0 0 25837 2487 0 0 21 0 1 0 20338261 3592192 557 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 557 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 598.03
Current children cumulated vsize (Kb) 5636

[startup+710.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 587 0 0 0 26630 2557 0 0 22 0 1 0 20338261 3592192 557 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 557 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 606.66
Current children cumulated vsize (Kb) 5636

[startup+720.051 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 589 0 0 0 27428 2621 0 0 22 0 1 0 20338261 3592192 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 559 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 615.28
Current children cumulated vsize (Kb) 5636

[startup+730.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 590 0 0 0 28224 2693 0 0 23 0 1 0 20338261 3592192 560 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 560 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 623.96
Current children cumulated vsize (Kb) 5636

[startup+740.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 591 0 0 0 29002 2770 0 0 21 0 1 0 20338261 3592192 561 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 561 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 632.51
Current children cumulated vsize (Kb) 5636

[startup+750.053 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 591 0 0 0 29780 2850 0 0 22 0 1 0 20338261 3592192 561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 561 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 641.09
Current children cumulated vsize (Kb) 5636

[startup+760.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 593 0 0 0 30582 2918 0 0 22 0 1 0 20338261 3592192 563 4294967295 134512640 134702520 3221223712 3221222608 134550611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 563 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 649.79
Current children cumulated vsize (Kb) 5636

[startup+770.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 594 0 0 0 31373 2990 0 0 22 0 1 0 20338261 3592192 564 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 564 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 658.42
Current children cumulated vsize (Kb) 5636

[startup+780.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 595 0 0 0 32160 3061 0 0 21 0 1 0 20338261 3592192 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 565 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 667
Current children cumulated vsize (Kb) 5636

[startup+790.056 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 595 0 0 0 32940 3134 0 0 21 0 1 0 20338261 3592192 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 565 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 675.53
Current children cumulated vsize (Kb) 5636

[startup+800.057 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 596 0 0 0 33740 3205 0 0 23 0 1 0 20338261 3592192 566 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 566 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 684.24
Current children cumulated vsize (Kb) 5636

[startup+810.057 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 598 0 0 0 34540 3270 0 0 22 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 692.89
Current children cumulated vsize (Kb) 5636

[startup+820.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 598 0 0 0 35321 3344 0 0 22 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222912 134617864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 701.44
Current children cumulated vsize (Kb) 5636

[startup+830.059 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 598 0 0 0 36104 3415 0 0 21 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 709.98
Current children cumulated vsize (Kb) 5636

[startup+840.06 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 598 0 0 0 36882 3489 0 0 21 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 718.5
Current children cumulated vsize (Kb) 5636

[startup+850.062 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 598 0 0 0 37662 3568 0 0 21 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 727.09
Current children cumulated vsize (Kb) 5636

[startup+860.062 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 599 0 0 0 38453 3641 0 0 22 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222608 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 735.73
Current children cumulated vsize (Kb) 5636

[startup+870.063 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 39234 3717 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 744.3
Current children cumulated vsize (Kb) 5636

[startup+880.064 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 599 0 0 0 40013 3793 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222608 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 752.85
Current children cumulated vsize (Kb) 5636

[startup+890.064 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 40802 3863 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 761.44
Current children cumulated vsize (Kb) 5636

[startup+900.065 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 41590 3936 0 0 23 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 770.05
Current children cumulated vsize (Kb) 5636

[startup+910.066 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 599 0 0 0 42363 4015 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 778.57
Current children cumulated vsize (Kb) 5636

[startup+920.066 s]
Raw data (loadavg): 1.02 1.02 1.00 1/60 5886
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 43144 4088 0 0 22 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 787.11
Current children cumulated vsize (Kb) 5636

[startup+930.067 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 43925 4161 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 795.65
Current children cumulated vsize (Kb) 5636

[startup+940.068 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 44701 4236 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (Kb) 5636

[startup+950.068 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 45487 4307 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 812.73
Current children cumulated vsize (Kb) 5636

[startup+960.068 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 46268 4379 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 821.26
Current children cumulated vsize (Kb) 5636

[startup+970.068 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 47053 4458 0 0 22 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 829.9
Current children cumulated vsize (Kb) 5636

[startup+980.069 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5939
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 47833 4531 0 0 22 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 838.43
Current children cumulated vsize (Kb) 5636

[startup+990.07 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5941
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 48611 4607 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 846.97
Current children cumulated vsize (Kb) 5636

[startup+1000.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 49391 4679 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 855.49
Current children cumulated vsize (Kb) 5636

[startup+1010.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 50181 4753 0 0 22 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 864.13
Current children cumulated vsize (Kb) 5636

[startup+1020.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 601 0 0 0 50977 4819 0 0 17 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 872.75
Current children cumulated vsize (Kb) 5636

[startup+1030.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 601 0 0 0 51761 4892 0 0 22 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 881.32
Current children cumulated vsize (Kb) 5636

[startup+1040.07 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 601 0 0 0 52548 4966 0 0 22 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 889.93
Current children cumulated vsize (Kb) 5636

[startup+1050.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 601 0 0 0 53338 5034 0 0 23 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 898.51
Current children cumulated vsize (Kb) 5636

[startup+1060.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 602 0 0 0 54136 5103 0 0 21 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221222608 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 907.18
Current children cumulated vsize (Kb) 5636

[startup+1070.07 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 602 0 0 0 54912 5176 0 0 22 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 915.67
Current children cumulated vsize (Kb) 5636

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 602 0 0 0 55701 5251 0 0 21 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (Kb) 5636

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 602 0 0 0 56506 5317 0 0 22 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 933.02
Current children cumulated vsize (Kb) 5636

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 603 0 0 0 57295 5390 0 0 22 0 1 0 20338261 3592192 573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 573 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (Kb) 5636

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 603 0 0 0 58083 5464 0 0 22 0 1 0 20338261 3592192 573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 573 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 950.26
Current children cumulated vsize (Kb) 5636

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 603 0 0 0 58862 5543 0 0 22 0 1 0 20338261 3592192 573 4294967295 134512640 134702520 3221223712 3221222832 134573505 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 573 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 958.84
Current children cumulated vsize (Kb) 5636

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 604 0 0 0 59678 5605 0 0 24 0 1 0 20338261 3592192 574 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 574 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 967.62
Current children cumulated vsize (Kb) 5636

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 604 0 0 0 60475 5672 0 0 16 0 1 0 20338261 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 574 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 976.26
Current children cumulated vsize (Kb) 5636

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 604 0 0 0 61255 5751 0 0 15 0 1 0 20338261 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 574 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 984.85
Current children cumulated vsize (Kb) 5636

[startup+1160.08 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 605 0 0 0 62039 5825 0 0 15 0 1 0 20338261 3592192 575 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 575 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 993.43
Current children cumulated vsize (Kb) 5636

[startup+1170.08 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 605 0 0 0 62835 5895 0 0 16 0 1 0 20338261 3592192 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 575 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (Kb) 5636

[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 606 0 0 0 63642 5963 0 0 16 0 1 0 20338261 3592192 576 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 576 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1010.84
Current children cumulated vsize (Kb) 5636

[startup+1190.08 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 607 0 0 0 64423 6036 0 0 15 0 1 0 20338261 3592192 577 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 577 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1019.38
Current children cumulated vsize (Kb) 5636

[startup+1200.09 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 607 0 0 0 65206 6111 0 0 16 0 1 0 20338261 3592192 577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 577 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1027.96
Current children cumulated vsize (Kb) 5636

[startup+1210.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 608 0 0 0 66014 6175 0 0 16 0 1 0 20338261 3592192 578 4294967295 134512640 134702520 3221223712 3221222736 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 578 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1036.68
Current children cumulated vsize (Kb) 5636

[startup+1220.09 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 609 0 0 0 66817 6241 0 0 16 0 1 0 20338261 3727360 579 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 910 579 413 48 0 862 0
[pid=5882] vsize: 3640
Current children cumulated CPU time (s) 1045.37
Current children cumulated vsize (Kb) 5768

[startup+1230.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 609 0 0 0 67609 6311 0 0 15 0 1 0 20338261 3715072 579 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 579 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1053.99
Current children cumulated vsize (Kb) 5756

[startup+1240.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 609 0 0 0 68389 6385 0 0 15 0 1 0 20338261 3715072 579 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 579 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1062.53
Current children cumulated vsize (Kb) 5756

[startup+1250.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 610 0 0 0 69195 6450 0 0 16 0 1 0 20338261 3715072 580 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 580 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1071.24
Current children cumulated vsize (Kb) 5756

[startup+1260.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 611 0 0 0 70005 6516 0 0 15 0 1 0 20338261 3715072 581 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 581 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1080
Current children cumulated vsize (Kb) 5756

[startup+1270.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 70807 6581 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1088.67
Current children cumulated vsize (Kb) 5756

[startup+1280.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 71593 6658 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1097.3
Current children cumulated vsize (Kb) 5756

[startup+1290.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 72375 6738 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1105.92
Current children cumulated vsize (Kb) 5756

[startup+1300.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 73157 6814 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222736 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1114.5
Current children cumulated vsize (Kb) 5756

[startup+1310.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 73938 6890 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1123.07
Current children cumulated vsize (Kb) 5756

[startup+1320.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 74719 6969 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1131.67
Current children cumulated vsize (Kb) 5756

[startup+1330.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 75502 7044 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1140.25
Current children cumulated vsize (Kb) 5756

[startup+1340.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 76291 7120 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1148.9
Current children cumulated vsize (Kb) 5756

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 77062 7198 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1157.39
Current children cumulated vsize (Kb) 5756

[startup+1360.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 77844 7270 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1165.93
Current children cumulated vsize (Kb) 5756

[startup+1370.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 78634 7340 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1174.53
Current children cumulated vsize (Kb) 5756

[startup+1380.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 79418 7414 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1183.11
Current children cumulated vsize (Kb) 5756

[startup+1390.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 80203 7492 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1191.74
Current children cumulated vsize (Kb) 5756

[startup+1400.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 80993 7563 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 5756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1400.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 80993 7563 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 5756

Sending SIGTERM to -5877
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5947
New process pid=5948
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5882) exited with status: 3
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/5838/stat
open syscall for file /proc/5838/status
open syscall for file /proc/5838/cmdline
open syscall for file /proc/5838/environ
open syscall for file /proc/5876/stat
open syscall for file /proc/5876/status
open syscall for file /proc/5876/cmdline
open syscall for file /proc/5876/environ
open syscall for file /proc/5877/stat
open syscall for file /proc/5877/status
open syscall for file /proc/5877/cmdline
open syscall for file /proc/5877/environ
open syscall for file /proc/5947/stat
open syscall for file /proc/5947/status
open syscall for file /proc/5947/cmdline
open syscall for file /proc/5947/environ
open syscall for file /proc/5948/stat
open syscall for file /proc/5948/status
open syscall for file /proc/5948/cmdline
open syscall for file /proc/5948/environ
One traced child (pid=5947) exited with status: 0
One traced child (pid=5948) exited with status: 0
New process pid=5949
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=5949) exited with status: 0
New process pid=5950
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=5950) exited with status: 0
One traced child (pid=5877) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1400.59
CPU time (s): 1200.51
CPU user time (s): 1096.78
CPU system time (s): 103.728
CPU usage (%): 85.7147
Max. virtual memory (cumulated for all children) (Kb): 6052

Verifier Data

ERROR: no interpretation found !