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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM44281820d2b00a47b643433ffa4e2d73
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables464
Total number of constraints1395
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)336
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint1
Maximum length of a constraint128

Trace number 9047

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931788 kB
Buffers:          9280 kB
Cached:          76400 kB
SwapCached:          0 kB
Active:          56196 kB
Inactive:        32444 kB
HighTotal:      131008 kB
HighFree:        51912 kB
LowTotal:       903652 kB
LowFree:        879876 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8548 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:06:02 (client local time) WITH STATUS 0 IN 1201.91 SECONDS
stats: 7754 7 1201.91 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 43951;  #end-nodes: 14705;
#proof improvement attempts: 0;  #restarts: 142
Current batch, end-nodes: 65 / 117 (115)
#axs: 1070, #non-axs: 4791
tight: meta-meta: start: 5, end: 7;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  138 (116:>=*);
#decisions: 1686736;  #end-nodes: 737734;
#proof improvement attempts: 0;  #restarts: 2050
Current batch, end-nodes: 490 / 609 (592)
#axs: 1090, #non-axs: 38515
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:  139 (115:>=*);
#decisions: 357428;  #end-nodes: 117716;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 277 (247)
#axs: 1108, #non-axs: 521
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 19, end (keep): 29
Model found with constant:
  (pushed:) 139 (115:>=*)

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: 1  (#equs: 38)
Time taken: 10 min, 34 sec

2:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 1  (#equs: 0)
#decisions: 2132971;  #end-nodes: 886779;
#proof improvement attempts: 0;  #restarts: 2112
Current batch, end-nodes: 0 / 668 (647)
#axs: 1026, #non-axs: 3399
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 4, end: 4;  meta: start: 6, end (keep): 6
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1  (#equs: 33)
Time taken: 8 min, 19 sec

3:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 1  (#equs: 0)
Interupt request received.
#decisions: 300363;  #end-nodes: 107167;
#proof improvement attempts: 0;  #restarts: 457
Current batch, end-nodes: 241 / 303 (274)
#axs: 935, #non-axs: 795
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 4, end: 4;  meta: start: 6, end (keep): 6
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 168  (#equs: 8)
Time taken in seconds: 66

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/4830/stat): 4830 (vallstSAT2005PB) R 4829 4830 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19530522 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4830/statm): 174 9 169 147 0 27 0
[pid=4830] 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=4831
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=4831) exited with status: 0
New process pid=4832
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=4832) exited with status: 0
New process pid=4833
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/wulflinc14/normalized-mps-v2-20-10-neos16.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 0.65 0.91 0.89 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 302 0 0 0 386 196 0 0 15 0 1 0 19530531 2801664 272 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 684 272 413 48 0 636 0
[pid=4833] vsize: 2736
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (Kb) 4864

[startup+20.0035 s]
Raw data (loadavg): 0.70 0.91 0.89 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 365 0 0 0 934 343 0 0 16 0 1 0 19530531 3104768 335 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 758 335 413 48 0 710 0
[pid=4833] vsize: 3032
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (Kb) 5160

[startup+30.0052 s]
Raw data (loadavg): 0.82 0.93 0.89 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 367 0 0 0 1410 512 0 0 16 0 1 0 19530531 3108864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 337 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 19.23
Current children cumulated vsize (Kb) 5164

[startup+40.0059 s]
Raw data (loadavg): 1.00 0.97 0.90 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 367 0 0 0 1972 662 0 0 16 0 1 0 19530531 3108864 337 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 337 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 26.35
Current children cumulated vsize (Kb) 5164

[startup+50.0066 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 367 0 0 0 2412 839 0 0 16 0 1 0 19530531 3108864 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 337 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 32.52
Current children cumulated vsize (Kb) 5164

[startup+60.0073 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 368 0 0 0 2933 994 0 0 16 0 1 0 19530531 3108864 338 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 338 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 39.28
Current children cumulated vsize (Kb) 5164

[startup+70.0079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 368 0 0 0 3378 1170 0 0 16 0 1 0 19530531 3108864 338 4294967295 134512640 134702520 3221223952 3221223232 134552222 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 338 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (Kb) 5164

[startup+80.0086 s]
Raw data (loadavg): 1.08 0.99 0.91 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 369 0 0 0 3904 1326 0 0 16 0 1 0 19530531 3108864 339 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 339 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 52.31
Current children cumulated vsize (Kb) 5164

[startup+90.0093 s]
Raw data (loadavg): 1.07 0.99 0.91 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 370 0 0 0 4363 1509 0 0 16 0 1 0 19530531 3108864 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 340 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 58.73
Current children cumulated vsize (Kb) 5164

[startup+100.009 s]
Raw data (loadavg): 1.14 1.00 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 372 0 0 0 4889 1665 0 0 16 0 1 0 19530531 3108864 342 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 342 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 65.55
Current children cumulated vsize (Kb) 5164

[startup+110.01 s]
Raw data (loadavg): 1.11 1.00 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 373 0 0 0 5384 1828 0 0 16 0 1 0 19530531 3108864 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 343 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 72.13
Current children cumulated vsize (Kb) 5164

[startup+120.01 s]
Raw data (loadavg): 1.18 1.02 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 375 0 0 0 5944 1978 0 0 16 0 1 0 19530531 3108864 345 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 345 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 79.23
Current children cumulated vsize (Kb) 5164

[startup+130.011 s]
Raw data (loadavg): 1.15 1.02 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 378 0 0 0 6409 2151 0 0 16 0 1 0 19530531 3108864 348 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 348 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 85.61
Current children cumulated vsize (Kb) 5164

[startup+140.012 s]
Raw data (loadavg): 1.13 1.02 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 379 0 0 0 7009 2281 0 0 16 0 1 0 19530531 3108864 349 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 349 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 92.91
Current children cumulated vsize (Kb) 5164

[startup+150.012 s]
Raw data (loadavg): 1.11 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 380 0 0 0 7481 2454 0 0 16 0 1 0 19530531 3108864 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 350 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 99.36
Current children cumulated vsize (Kb) 5164

[startup+160.013 s]
Raw data (loadavg): 1.09 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 382 0 0 0 8080 2588 0 0 16 0 1 0 19530531 3108864 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 352 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 106.69
Current children cumulated vsize (Kb) 5164

[startup+170.014 s]
Raw data (loadavg): 1.08 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 382 0 0 0 8552 2760 0 0 16 0 1 0 19530531 3108864 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 352 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 113.13
Current children cumulated vsize (Kb) 5164

[startup+180.014 s]
Raw data (loadavg): 1.06 1.01 0.92 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 384 0 0 0 9158 2892 0 0 15 0 1 0 19530531 3108864 354 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 354 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 120.51
Current children cumulated vsize (Kb) 5164

[startup+190.015 s]
Raw data (loadavg): 1.05 1.01 0.92 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 386 0 0 0 9726 3041 0 0 15 0 1 0 19530531 3108864 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 356 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 127.68
Current children cumulated vsize (Kb) 5164

[startup+200.016 s]
Raw data (loadavg): 1.20 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 387 0 0 0 10285 3179 0 0 16 0 1 0 19530531 3108864 357 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 357 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 134.65
Current children cumulated vsize (Kb) 5164

[startup+210.017 s]
Raw data (loadavg): 1.17 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 388 0 0 0 10933 3297 0 0 16 0 1 0 19530531 3108864 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 358 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 142.31
Current children cumulated vsize (Kb) 5164

[startup+220.018 s]
Raw data (loadavg): 1.14 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 388 0 0 0 11408 3470 0 0 16 0 1 0 19530531 3108864 358 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 358 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 148.79
Current children cumulated vsize (Kb) 5164

[startup+230.018 s]
Raw data (loadavg): 1.12 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 389 0 0 0 12049 3588 0 0 16 0 1 0 19530531 3108864 359 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 359 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 156.38
Current children cumulated vsize (Kb) 5164

[startup+240.018 s]
Raw data (loadavg): 1.10 1.04 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 390 0 0 0 12655 3718 0 0 16 0 1 0 19530531 3108864 360 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 360 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 163.74
Current children cumulated vsize (Kb) 5164

[startup+250.019 s]
Raw data (loadavg): 1.16 1.05 0.94 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 390 0 0 0 13166 3884 0 0 16 0 1 0 19530531 3108864 360 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 360 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 170.51
Current children cumulated vsize (Kb) 5164

[startup+260.02 s]
Raw data (loadavg): 1.21 1.06 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 392 0 0 0 13803 4001 0 0 15 0 1 0 19530531 3108864 362 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 362 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 178.05
Current children cumulated vsize (Kb) 5164

[startup+270.02 s]
Raw data (loadavg): 1.18 1.06 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 393 0 0 0 14262 4171 0 0 15 0 1 0 19530531 3108864 363 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 363 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 184.34
Current children cumulated vsize (Kb) 5164

[startup+280.02 s]
Raw data (loadavg): 1.15 1.06 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 394 0 0 0 14911 4285 0 0 15 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 191.97
Current children cumulated vsize (Kb) 5164

[startup+290.021 s]
Raw data (loadavg): 1.13 1.06 0.95 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 394 0 0 0 15557 4403 0 0 16 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223232 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 199.61
Current children cumulated vsize (Kb) 5164

[startup+300.021 s]
Raw data (loadavg): 1.19 1.07 0.95 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 394 0 0 0 16029 4576 0 0 16 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 206.06
Current children cumulated vsize (Kb) 5164

[startup+310.023 s]
Raw data (loadavg): 1.23 1.08 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 394 0 0 0 16667 4694 0 0 16 0 1 0 19530531 3108864 364 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 364 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 213.62
Current children cumulated vsize (Kb) 5164

[startup+320.024 s]
Raw data (loadavg): 1.20 1.08 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 396 0 0 0 17329 4812 0 0 16 0 1 0 19530531 3108864 366 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 366 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (Kb) 5164

[startup+330.023 s]
Raw data (loadavg): 1.17 1.08 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 396 0 0 0 17807 4984 0 0 16 0 1 0 19530531 3108864 366 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 366 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 227.92
Current children cumulated vsize (Kb) 5164

[startup+340.024 s]
Raw data (loadavg): 1.14 1.08 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 397 0 0 0 18455 5104 0 0 16 0 1 0 19530531 3108864 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 367 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 235.6
Current children cumulated vsize (Kb) 5164

[startup+350.025 s]
Raw data (loadavg): 1.12 1.07 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 399 0 0 0 19125 5211 0 0 16 0 1 0 19530531 3108864 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 369 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 243.37
Current children cumulated vsize (Kb) 5164

[startup+360.025 s]
Raw data (loadavg): 1.10 1.07 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 399 0 0 0 19605 5384 0 0 16 0 1 0 19530531 3108864 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 369 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 249.9
Current children cumulated vsize (Kb) 5164

[startup+370.027 s]
Raw data (loadavg): 1.08 1.07 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 399 0 0 0 20243 5504 0 0 16 0 1 0 19530531 3108864 369 4294967295 134512640 134702520 3221223952 3221223204 134549066 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 369 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 257.48
Current children cumulated vsize (Kb) 5164

[startup+380.027 s]
Raw data (loadavg): 1.07 1.06 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 401 0 0 0 20921 5608 0 0 16 0 1 0 19530531 3108864 371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 371 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 265.3
Current children cumulated vsize (Kb) 5164

[startup+390.027 s]
Raw data (loadavg): 1.06 1.06 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 401 0 0 0 21402 5773 0 0 16 0 1 0 19530531 3108864 371 4294967295 134512640 134702520 3221223952 3221223232 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 371 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 271.76
Current children cumulated vsize (Kb) 5164

[startup+400.028 s]
Raw data (loadavg): 1.05 1.06 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 403 0 0 0 22076 5883 0 0 16 0 1 0 19530531 3108864 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 373 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (Kb) 5164

[startup+410.03 s]
Raw data (loadavg): 1.04 1.06 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 408 0 0 0 22727 5999 0 0 16 0 1 0 19530531 3108864 378 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 378 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 287.27
Current children cumulated vsize (Kb) 5164

[startup+420.03 s]
Raw data (loadavg): 1.03 1.05 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 409 0 0 0 23222 6165 0 0 16 0 1 0 19530531 3108864 379 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 379 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 293.88
Current children cumulated vsize (Kb) 5164

[startup+430.031 s]
Raw data (loadavg): 1.03 1.05 0.96 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 409 0 0 0 23886 6278 0 0 16 0 1 0 19530531 3108864 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 379 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 301.65
Current children cumulated vsize (Kb) 5164

[startup+440.032 s]
Raw data (loadavg): 1.10 1.07 0.96 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 410 0 0 0 24573 6384 0 0 16 0 1 0 19530531 3108864 380 4294967295 134512640 134702520 3221223952 3221223232 134552819 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 380 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 309.58
Current children cumulated vsize (Kb) 5164

[startup+450.032 s]
Raw data (loadavg): 1.24 1.10 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 412 0 0 0 25195 6506 0 0 15 0 1 0 19530531 3108864 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 382 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 317.02
Current children cumulated vsize (Kb) 5164

[startup+460.033 s]
Raw data (loadavg): 1.20 1.09 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 412 0 0 0 25747 6653 0 0 16 0 1 0 19530531 3108864 382 4294967295 134512640 134702520 3221223952 3221223232 134552372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 382 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 324.01
Current children cumulated vsize (Kb) 5164

[startup+470.034 s]
Raw data (loadavg): 1.17 1.09 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 413 0 0 0 26436 6754 0 0 16 0 1 0 19530531 3108864 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 383 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 331.91
Current children cumulated vsize (Kb) 5164

[startup+480.034 s]
Raw data (loadavg): 1.14 1.09 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 413 0 0 0 27137 6855 0 0 16 0 1 0 19530531 3108864 383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 383 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 339.93
Current children cumulated vsize (Kb) 5164

[startup+490.035 s]
Raw data (loadavg): 1.12 1.08 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 414 0 0 0 27622 7022 0 0 16 0 1 0 19530531 3108864 384 4294967295 134512640 134702520 3221223952 3221223232 134553035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 384 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 5164

[startup+500.036 s]
Raw data (loadavg): 1.10 1.08 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 415 0 0 0 28307 7125 0 0 16 0 1 0 19530531 3108864 385 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 385 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 354.33
Current children cumulated vsize (Kb) 5164

[startup+510.036 s]
Raw data (loadavg): 1.09 1.08 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 421 0 0 0 29006 7224 0 0 16 0 1 0 19530531 3108864 391 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 759 391 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 362.31
Current children cumulated vsize (Kb) 5164

[startup+520.037 s]
Raw data (loadavg): 1.07 1.07 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 421 0 0 0 29630 7349 0 0 16 0 1 0 19530531 3108864 391 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 759 391 413 48 0 711 0
[pid=4833] vsize: 3036
Current children cumulated CPU time (s) 369.8
Current children cumulated vsize (Kb) 5164

[startup+530.037 s]
Raw data (loadavg): 1.06 1.07 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 446 0 0 0 30191 7494 0 0 16 0 1 0 19530531 3293184 416 4294967295 134512640 134702520 3221223952 3221223380 1074229889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 804 416 413 48 0 756 0
[pid=4833] vsize: 3216
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (Kb) 5344

[startup+540.037 s]
Raw data (loadavg): 1.05 1.07 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 775 0 0 0 30984 7565 0 0 16 0 1 0 19530531 4653056 745 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1136 745 413 48 0 1088 0
[pid=4833] vsize: 4544
Current children cumulated CPU time (s) 385.5
Current children cumulated vsize (Kb) 6672

[startup+550.038 s]
Raw data (loadavg): 1.04 1.06 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1015 0 0 0 31821 7624 0 0 16 0 1 0 19530531 5545984 985 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1354 985 413 48 0 1306 0
[pid=4833] vsize: 5416
Current children cumulated CPU time (s) 394.46
Current children cumulated vsize (Kb) 7544

[startup+560.039 s]
Raw data (loadavg): 1.04 1.06 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1185 0 0 0 32676 7670 0 0 17 0 1 0 19530531 6320128 1155 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1543 1155 413 48 0 1495 0
[pid=4833] vsize: 6172
Current children cumulated CPU time (s) 403.47
Current children cumulated vsize (Kb) 8300

[startup+570.039 s]
Raw data (loadavg): 1.03 1.06 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1323 0 0 0 33564 7707 0 0 17 0 1 0 19530531 6901760 1293 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1685 1293 413 48 0 1637 0
[pid=4833] vsize: 6740
Current children cumulated CPU time (s) 412.72
Current children cumulated vsize (Kb) 8868

[startup+580.04 s]
Raw data (loadavg): 1.02 1.06 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1458 0 0 0 34435 7752 0 0 16 0 1 0 19530531 7499776 1428 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1428 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 421.88
Current children cumulated vsize (Kb) 9452

[startup+590.04 s]
Raw data (loadavg): 1.02 1.05 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1458 0 0 0 35023 7892 0 0 16 0 1 0 19530531 7499776 1428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1428 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 429.16
Current children cumulated vsize (Kb) 9452

[startup+600.041 s]
Raw data (loadavg): 1.02 1.05 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1474 0 0 0 35867 7946 0 0 17 0 1 0 19530531 7499776 1444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1831 1444 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 438.14
Current children cumulated vsize (Kb) 9452

[startup+610.042 s]
Raw data (loadavg): 1.01 1.05 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1474 0 0 0 36765 7982 0 0 16 0 1 0 19530531 7499776 1444 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1831 1444 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 447.48
Current children cumulated vsize (Kb) 9452

[startup+620.042 s]
Raw data (loadavg): 1.01 1.05 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1475 0 0 0 37668 8014 0 0 18 0 1 0 19530531 7499776 1445 4294967295 134512640 134702520 3221223952 3221223232 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1445 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 456.83
Current children cumulated vsize (Kb) 9452

[startup+630.042 s]
Raw data (loadavg): 1.01 1.05 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1478 0 0 0 38561 8051 0 0 17 0 1 0 19530531 7499776 1448 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 1831 1448 413 48 0 1783 0
[pid=4833] vsize: 7324
Current children cumulated CPU time (s) 466.13
Current children cumulated vsize (Kb) 9452

[startup+640.043 s]
Raw data (loadavg): 1.01 1.04 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1531 0 0 0 39482 8079 0 0 16 0 1 0 19530531 7655424 1501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1869 1501 413 48 0 1821 0
[pid=4833] vsize: 7476
Current children cumulated CPU time (s) 475.62
Current children cumulated vsize (Kb) 9604

[startup+650.043 s]
Raw data (loadavg): 1.01 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1624 0 0 0 40416 8101 0 0 19 0 1 0 19530531 8134656 1594 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 1986 1594 413 48 0 1938 0
[pid=4833] vsize: 7944
Current children cumulated CPU time (s) 485.18
Current children cumulated vsize (Kb) 10072

[startup+660.044 s]
Raw data (loadavg): 1.00 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1705 0 0 0 41334 8131 0 0 17 0 1 0 19530531 8458240 1675 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2065 1675 413 48 0 2017 0
[pid=4833] vsize: 8260
Current children cumulated CPU time (s) 494.66
Current children cumulated vsize (Kb) 10388

[startup+670.045 s]
Raw data (loadavg): 1.00 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1790 0 0 0 42281 8149 0 0 22 0 1 0 19530531 8785920 1760 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2145 1760 413 48 0 2097 0
[pid=4833] vsize: 8580
Current children cumulated CPU time (s) 504.31
Current children cumulated vsize (Kb) 10708

[startup+680.044 s]
Raw data (loadavg): 1.00 1.04 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 43159 8194 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 513.54
Current children cumulated vsize (Kb) 10860

[startup+690.045 s]
Raw data (loadavg): 1.00 1.04 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 43772 8323 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 520.96
Current children cumulated vsize (Kb) 10860

[startup+700.046 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 44649 8366 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 530.16
Current children cumulated vsize (Kb) 10860

[startup+710.046 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 45552 8396 0 0 18 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 539.49
Current children cumulated vsize (Kb) 10860

[startup+720.047 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 46335 8469 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 548.05
Current children cumulated vsize (Kb) 10860

[startup+730.048 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 46833 8631 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 554.65
Current children cumulated vsize (Kb) 10860

[startup+740.048 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 47269 8815 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 560.85
Current children cumulated vsize (Kb) 10860

[startup+750.048 s]
Raw data (loadavg): 1.08 1.04 0.98 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 47718 8993 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 567.12
Current children cumulated vsize (Kb) 10860

[startup+760.049 s]
Raw data (loadavg): 1.07 1.04 0.98 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 48219 9160 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 573.8
Current children cumulated vsize (Kb) 10860

[startup+770.05 s]
Raw data (loadavg): 1.14 1.06 0.98 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 48652 9350 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 580.03
Current children cumulated vsize (Kb) 10860

[startup+780.05 s]
Raw data (loadavg): 1.11 1.05 0.98 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 49212 9488 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 587.01
Current children cumulated vsize (Kb) 10860

[startup+790.051 s]
Raw data (loadavg): 1.10 1.05 0.98 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 49630 9678 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 593.09
Current children cumulated vsize (Kb) 10860

[startup+800.052 s]
Raw data (loadavg): 1.16 1.07 0.99 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 50173 9828 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 10860

[startup+810.053 s]
Raw data (loadavg): 1.14 1.06 0.99 2/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) R 4830 4830 4060 0 -1 0 1847 0 0 0 50618 10007 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 606.26
Current children cumulated vsize (Kb) 10860

[startup+820.053 s]
Raw data (loadavg): 1.11 1.06 0.99 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 51182 10150 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 613.33
Current children cumulated vsize (Kb) 10860

[startup+830.068 s]
Raw data (loadavg): 1.17 1.07 0.99 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 51660 10316 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 619.77
Current children cumulated vsize (Kb) 10860

[startup+840.069 s]
Raw data (loadavg): 1.22 1.09 1.00 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 52198 10467 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 626.66
Current children cumulated vsize (Kb) 10860

[startup+850.069 s]
Raw data (loadavg): 1.26 1.10 1.00 1/56 4833
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 19530522 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 242 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4833/stat): 4833 (vallst) T 4830 4830 4060 0 -1 0 1847 0 0 0 52726 10622 0 0 16 0 1 0 19530531 8941568 1817 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4833/statm): 2183 1817 413 48 0 2135 0
[pid=4833] vsize: 8732
Current children cumulated CPU time (s) 633.49
Current children cumulated vsize (Kb) 10860
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=4833) exited with status: 2
New process pid=4834
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=4834) exited with status: 0
New process pid=4835
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+860.071 s]
Raw data (loadavg): 1.22 1.10 1.00 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 250 0 0 0 257 151 0 0 16 0 1 0 19615816 2596864 220 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 634 220 413 48 0 586 0
[pid=4835] vsize: 2536
Current children cumulated CPU time (s) 639.04
Current children cumulated vsize (Kb) 4664

[startup+870.072 s]
Raw data (loadavg): 1.18 1.09 1.00 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 262 0 0 0 770 312 0 0 16 0 1 0 19615816 2727936 232 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 232 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 645.78
Current children cumulated vsize (Kb) 4792

[startup+880.071 s]
Raw data (loadavg): 1.16 1.09 1.00 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 263 0 0 0 1201 500 0 0 15 0 1 0 19615816 2727936 233 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 233 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 651.97
Current children cumulated vsize (Kb) 4792

[startup+890.072 s]
Raw data (loadavg): 1.20 1.10 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 268 0 0 0 1703 663 0 0 16 0 1 0 19615816 2727936 238 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 238 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 658.62
Current children cumulated vsize (Kb) 4792

[startup+900.072 s]
Raw data (loadavg): 1.17 1.10 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 271 0 0 0 2143 847 0 0 16 0 1 0 19615816 2727936 241 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 241 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 664.86
Current children cumulated vsize (Kb) 4792

[startup+910.074 s]
Raw data (loadavg): 1.23 1.11 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 274 0 0 0 2655 1001 0 0 16 0 1 0 19615816 2727936 244 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 244 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 671.52
Current children cumulated vsize (Kb) 4792

[startup+920.075 s]
Raw data (loadavg): 1.27 1.12 1.01 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 276 0 0 0 3117 1181 0 0 16 0 1 0 19615816 2727936 246 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 246 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 677.94
Current children cumulated vsize (Kb) 4792

[startup+930.076 s]
Raw data (loadavg): 1.31 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 278 0 0 0 3633 1339 0 0 16 0 1 0 19615816 2727936 248 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 248 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 684.68
Current children cumulated vsize (Kb) 4792

[startup+940.076 s]
Raw data (loadavg): 1.34 1.15 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 279 0 0 0 4115 1511 0 0 16 0 1 0 19615816 2727936 249 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 249 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 691.22
Current children cumulated vsize (Kb) 4792

[startup+950.076 s]
Raw data (loadavg): 1.29 1.14 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 283 0 0 0 4648 1663 0 0 16 0 1 0 19615816 2727936 253 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 253 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 698.07
Current children cumulated vsize (Kb) 4792

[startup+960.076 s]
Raw data (loadavg): 1.24 1.14 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 284 0 0 0 5099 1847 0 0 16 0 1 0 19615816 2727936 254 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 254 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 704.42
Current children cumulated vsize (Kb) 4792

[startup+970.077 s]
Raw data (loadavg): 1.21 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 288 0 0 0 5688 1979 0 0 16 0 1 0 19615816 2727936 258 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 258 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 711.63
Current children cumulated vsize (Kb) 4792

[startup+980.077 s]
Raw data (loadavg): 1.17 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 291 0 0 0 6141 2158 0 0 16 0 1 0 19615816 2727936 261 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 261 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 717.95
Current children cumulated vsize (Kb) 4792

[startup+990.077 s]
Raw data (loadavg): 1.15 1.12 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 294 0 0 0 6735 2296 0 0 16 0 1 0 19615816 2727936 264 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 264 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 725.27
Current children cumulated vsize (Kb) 4792

[startup+1000.08 s]
Raw data (loadavg): 1.20 1.13 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 295 0 0 0 7166 2480 0 0 15 0 1 0 19615816 2727936 265 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 265 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 731.42
Current children cumulated vsize (Kb) 4792

[startup+1010.08 s]
Raw data (loadavg): 1.25 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 297 0 0 0 7770 2607 0 0 16 0 1 0 19615816 2727936 267 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 267 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 738.73
Current children cumulated vsize (Kb) 4792

[startup+1020.08 s]
Raw data (loadavg): 1.28 1.16 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 300 0 0 0 8327 2753 0 0 16 0 1 0 19615816 2727936 270 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 270 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 745.76
Current children cumulated vsize (Kb) 4792

[startup+1030.08 s]
Raw data (loadavg): 1.24 1.15 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 302 0 0 0 8812 2926 0 0 16 0 1 0 19615816 2727936 272 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 272 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 752.34
Current children cumulated vsize (Kb) 4792

[startup+1040.08 s]
Raw data (loadavg): 1.20 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 304 0 0 0 9416 3054 0 0 16 0 1 0 19615816 2727936 274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 274 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (Kb) 4792

[startup+1050.08 s]
Raw data (loadavg): 1.17 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 305 0 0 0 9886 3229 0 0 16 0 1 0 19615816 2727936 275 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 275 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 766.11
Current children cumulated vsize (Kb) 4792

[startup+1060.08 s]
Raw data (loadavg): 1.14 1.13 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 309 0 0 0 10495 3360 0 0 16 0 1 0 19615816 2727936 279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 279 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 773.51
Current children cumulated vsize (Kb) 4792

[startup+1070.08 s]
Raw data (loadavg): 1.19 1.15 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 311 0 0 0 11080 3499 0 0 16 0 1 0 19615816 2727936 281 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 281 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 780.75
Current children cumulated vsize (Kb) 4792

[startup+1080.08 s]
Raw data (loadavg): 1.16 1.14 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 312 0 0 0 11563 3668 0 0 16 0 1 0 19615816 2727936 282 4294967295 134512640 134702520 3221223712 3221222932 134549036 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 282 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 4792

[startup+1090.08 s]
Raw data (loadavg): 1.14 1.14 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 312 0 0 0 12176 3798 0 0 16 0 1 0 19615816 2727936 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 666 282 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 794.7
Current children cumulated vsize (Kb) 4792

[startup+1100.08 s]
Raw data (loadavg): 1.12 1.13 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 315 0 0 0 12659 3968 0 0 16 0 1 0 19615816 2727936 285 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 666 285 413 48 0 618 0
[pid=4835] vsize: 2664
Current children cumulated CPU time (s) 801.23
Current children cumulated vsize (Kb) 4792

[startup+1110.08 s]
Raw data (loadavg): 1.10 1.13 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 317 0 0 0 13248 4103 0 0 16 0 1 0 19615816 2854912 287 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 287 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 808.47
Current children cumulated vsize (Kb) 4916

[startup+1120.09 s]
Raw data (loadavg): 1.08 1.12 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 318 0 0 0 13863 4225 0 0 16 0 1 0 19615816 2854912 288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 288 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 815.84
Current children cumulated vsize (Kb) 4916

[startup+1130.08 s]
Raw data (loadavg): 1.07 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 319 0 0 0 14328 4401 0 0 16 0 1 0 19615816 2854912 289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 289 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (Kb) 4916

[startup+1140.09 s]
Raw data (loadavg): 1.06 1.11 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 321 0 0 0 14983 4517 0 0 16 0 1 0 19615816 2854912 291 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 291 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 829.96
Current children cumulated vsize (Kb) 4916

[startup+1150.09 s]
Raw data (loadavg): 1.05 1.11 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 323 0 0 0 15604 4640 0 0 16 0 1 0 19615816 2854912 293 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 293 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 837.4
Current children cumulated vsize (Kb) 4916

[startup+1160.09 s]
Raw data (loadavg): 1.12 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 326 0 0 0 16067 4822 0 0 16 0 1 0 19615816 2854912 296 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 296 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 843.85
Current children cumulated vsize (Kb) 4916

[startup+1170.09 s]
Raw data (loadavg): 1.10 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 326 0 0 0 16715 4943 0 0 16 0 1 0 19615816 2854912 296 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 296 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 851.54
Current children cumulated vsize (Kb) 4916

[startup+1180.09 s]
Raw data (loadavg): 1.09 1.11 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 328 0 0 0 17358 5066 0 0 16 0 1 0 19615816 2854912 298 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 298 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 859.2
Current children cumulated vsize (Kb) 4916

[startup+1190.09 s]
Raw data (loadavg): 1.07 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 331 0 0 0 17832 5239 0 0 16 0 1 0 19615816 2854912 301 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 301 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 865.67
Current children cumulated vsize (Kb) 4916

[startup+1200.09 s]
Raw data (loadavg): 1.06 1.10 1.02 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 332 0 0 0 18475 5358 0 0 16 0 1 0 19615816 2854912 302 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 302 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 873.29
Current children cumulated vsize (Kb) 4916

[startup+1210.09 s]
Raw data (loadavg): 1.05 1.10 1.02 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 335 0 0 0 19089 5492 0 0 16 0 1 0 19615816 2854912 305 4294967295 134512640 134702520 3221223712 3221222992 134550711 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 305 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 880.77
Current children cumulated vsize (Kb) 4916

[startup+1220.09 s]
Raw data (loadavg): 1.12 1.11 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 335 0 0 0 19558 5669 0 0 16 0 1 0 19615816 2854912 305 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 305 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 887.23
Current children cumulated vsize (Kb) 4916

[startup+1230.09 s]
Raw data (loadavg): 1.10 1.11 1.03 2/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 339 0 0 0 20234 5776 0 0 16 0 1 0 19615816 2854912 309 4294967295 134512640 134702520 3221223712 3221222960 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 309 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 895.06
Current children cumulated vsize (Kb) 4916

[startup+1240.09 s]
Raw data (loadavg): 1.08 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 341 0 0 0 20884 5893 0 0 16 0 1 0 19615816 2854912 311 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 311 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 902.73
Current children cumulated vsize (Kb) 4916

[startup+1250.09 s]
Raw data (loadavg): 1.15 1.12 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 345 0 0 0 21372 6054 0 0 16 0 1 0 19615816 2854912 315 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 315 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 909.22
Current children cumulated vsize (Kb) 4916

[startup+1260.09 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 346 0 0 0 22009 6172 0 0 16 0 1 0 19615816 2854912 316 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 316 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 916.77
Current children cumulated vsize (Kb) 4916

[startup+1270.09 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 4835
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 350 0 0 0 22674 6290 0 0 16 0 1 0 19615816 2854912 320 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 320 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (Kb) 4916

[startup+1280.09 s]
Raw data (loadavg): 1.17 1.12 1.03 2/60 4882
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 351 0 0 0 23281 6419 0 0 16 0 1 0 19615816 2854912 321 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 321 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 931.96
Current children cumulated vsize (Kb) 4916

[startup+1290.09 s]
Raw data (loadavg): 1.22 1.13 1.04 1/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 352 0 0 0 23795 6579 0 0 16 0 1 0 19615816 2854912 322 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 322 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 938.7
Current children cumulated vsize (Kb) 4916

[startup+1300.09 s]
Raw data (loadavg): 1.18 1.13 1.04 2/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 353 0 0 0 24458 6693 0 0 16 0 1 0 19615816 2854912 323 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 323 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 946.47
Current children cumulated vsize (Kb) 4916

[startup+1310.09 s]
Raw data (loadavg): 1.15 1.12 1.04 2/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 354 0 0 0 25119 6807 0 0 16 0 1 0 19615816 2854912 324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 324 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 954.22
Current children cumulated vsize (Kb) 4916

[startup+1320.1 s]
Raw data (loadavg): 1.13 1.12 1.03 1/56 4890
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 354 0 0 0 25601 6980 0 0 16 0 1 0 19615816 2854912 324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 324 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 960.77
Current children cumulated vsize (Kb) 4916

[startup+1330.1 s]
Raw data (loadavg): 1.19 1.13 1.04 2/58 4892
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 355 0 0 0 26259 7092 0 0 16 0 1 0 19615816 2854912 325 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 325 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 968.47
Current children cumulated vsize (Kb) 4916

[startup+1340.1 s]
Raw data (loadavg): 1.16 1.13 1.04 1/56 4892
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 358 0 0 0 26929 7204 0 0 16 0 1 0 19615816 2854912 328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 328 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 976.29
Current children cumulated vsize (Kb) 4916

[startup+1350.1 s]
Raw data (loadavg): 1.13 1.12 1.04 1/56 4894
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 360 0 0 0 27552 7329 0 0 15 0 1 0 19615816 2854912 330 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 697 330 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 983.77
Current children cumulated vsize (Kb) 4916

[startup+1360.1 s]
Raw data (loadavg): 1.11 1.12 1.04 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 361 0 0 0 28077 7480 0 0 16 0 1 0 19615816 2854912 331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 697 331 413 48 0 649 0
[pid=4835] vsize: 2788
Current children cumulated CPU time (s) 990.53
Current children cumulated vsize (Kb) 4916

[startup+1370.1 s]
Raw data (loadavg): 1.10 1.11 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 538 0 0 0 28795 7576 0 0 16 0 1 0 19615816 3600384 508 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 879 508 413 48 0 831 0
[pid=4835] vsize: 3516
Current children cumulated CPU time (s) 998.67
Current children cumulated vsize (Kb) 5644

[startup+1380.1 s]
Raw data (loadavg): 1.08 1.11 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 708 0 0 0 29587 7649 0 0 17 0 1 0 19615816 4313088 678 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1053 678 413 48 0 1005 0
[pid=4835] vsize: 4212
Current children cumulated CPU time (s) 1007.32
Current children cumulated vsize (Kb) 6340

[startup+1390.1 s]
Raw data (loadavg): 1.07 1.11 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 848 0 0 0 30427 7705 0 0 17 0 1 0 19615816 4939776 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1206 818 413 48 0 1158 0
[pid=4835] vsize: 4824
Current children cumulated CPU time (s) 1016.28
Current children cumulated vsize (Kb) 6952

[startup+1400.1 s]
Raw data (loadavg): 1.06 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 985 0 0 0 31243 7768 0 0 16 0 1 0 19615816 5427200 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1325 955 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1025.07
Current children cumulated vsize (Kb) 7428

[startup+1410.1 s]
Raw data (loadavg): 1.12 1.11 1.04 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 987 0 0 0 31846 7894 0 0 16 0 1 0 19615816 5427200 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1325 957 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1032.36
Current children cumulated vsize (Kb) 7428

[startup+1420.1 s]
Raw data (loadavg): 1.10 1.11 1.04 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 991 0 0 0 32670 7954 0 0 16 0 1 0 19615816 5427200 961 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1325 961 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1041.2
Current children cumulated vsize (Kb) 7428

[startup+1430.1 s]
Raw data (loadavg): 1.09 1.11 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 991 0 0 0 33518 8003 0 0 17 0 1 0 19615816 5427200 961 4294967295 134512640 134702520 3221223712 3221223096 134609934 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1325 961 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1050.17
Current children cumulated vsize (Kb) 7428

[startup+1440.1 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 992 0 0 0 34370 8053 0 0 17 0 1 0 19615816 5427200 962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1325 962 413 48 0 1277 0
[pid=4835] vsize: 5300
Current children cumulated CPU time (s) 1059.19
Current children cumulated vsize (Kb) 7428

[startup+1450.11 s]
Raw data (loadavg): 1.06 1.10 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 998 0 0 0 35228 8103 0 0 17 0 1 0 19615816 5562368 968 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1358 968 413 48 0 1310 0
[pid=4835] vsize: 5432
Current children cumulated CPU time (s) 1068.27
Current children cumulated vsize (Kb) 7560

[startup+1460.11 s]
Raw data (loadavg): 1.05 1.09 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1025 0 0 0 36090 8151 0 0 17 0 1 0 19615816 5513216 994 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1346 994 413 48 0 1298 0
[pid=4835] vsize: 5384
Current children cumulated CPU time (s) 1077.37
Current children cumulated vsize (Kb) 7512

[startup+1470.11 s]
Raw data (loadavg): 1.04 1.09 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1050 0 0 0 36929 8206 0 0 16 0 1 0 19615816 5648384 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1019 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1086.31
Current children cumulated vsize (Kb) 7644

[startup+1480.11 s]
Raw data (loadavg): 1.11 1.10 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) R 4830 4830 4060 0 -1 0 1051 0 0 0 37520 8341 0 0 16 0 1 0 19615816 5648384 1020 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1379 1020 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1093.57
Current children cumulated vsize (Kb) 7644

[startup+1490.11 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 38323 8406 0 0 16 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1102.25
Current children cumulated vsize (Kb) 7644

[startup+1500.11 s]
Raw data (loadavg): 1.08 1.10 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 39116 8474 0 0 16 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1110.86
Current children cumulated vsize (Kb) 7644

[startup+1510.11 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 39936 8539 0 0 16 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1119.71
Current children cumulated vsize (Kb) 7644

[startup+1520.11 s]
Raw data (loadavg): 1.06 1.09 1.03 2/56 4896
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 378 2222 0 0 2 0 52803 10691 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4835/stat): 4835 (vallst) T 4830 4830 4060 0 -1 0 1053 0 0 0 40752 8602 0 0 17 0 1 0 19615816 5648384 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4835/statm): 1379 1022 413 48 0 1331 0
[pid=4835] vsize: 5516
Current children cumulated CPU time (s) 1128.5
Current children cumulated vsize (Kb) 7644
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=4835) exited with status: 2
New process pid=4897
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=4897) exited with status: 0
New process pid=4898
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+1530.11 s]
Raw data (loadavg): 1.05 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 260 0 0 0 24 4 0 0 18 0 1 0 19683512 2347008 230 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 573 230 413 48 0 525 0
[pid=4898] vsize: 2292
Current children cumulated CPU time (s) 1135.2
Current children cumulated vsize (Kb) 4420

[startup+1540.11 s]
Raw data (loadavg): 1.04 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 294 0 0 0 485 177 0 0 16 0 1 0 19683512 3162112 264 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 264 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1141.54
Current children cumulated vsize (Kb) 5216

[startup+1550.11 s]
Raw data (loadavg): 1.03 1.08 1.03 2/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) R 4830 4830 4060 0 -1 0 296 0 0 0 1023 327 0 0 16 0 1 0 19683512 3162112 266 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 266 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1148.42
Current children cumulated vsize (Kb) 5216

[startup+1560.11 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 297 0 0 0 1456 514 0 0 16 0 1 0 19683512 3162112 267 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 267 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1154.62
Current children cumulated vsize (Kb) 5216

[startup+1570.11 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 299 0 0 0 2001 666 0 0 16 0 1 0 19683512 3162112 269 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 269 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1161.59
Current children cumulated vsize (Kb) 5216

[startup+1580.11 s]
Raw data (loadavg): 1.07 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 301 0 0 0 2436 852 0 0 16 0 1 0 19683512 3162112 271 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 271 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1167.8
Current children cumulated vsize (Kb) 5216

[startup+1590.11 s]
Raw data (loadavg): 1.06 1.08 1.03 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 309 0 0 0 3009 997 0 0 16 0 1 0 19683512 3162112 279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 279 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1174.98
Current children cumulated vsize (Kb) 5216

[startup+1600.12 s]
Raw data (loadavg): 1.20 1.11 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 310 0 0 0 3458 1175 0 0 16 0 1 0 19683512 3162112 280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 280 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1181.25
Current children cumulated vsize (Kb) 5216

[startup+1610.12 s]
Raw data (loadavg): 1.17 1.11 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 311 0 0 0 4017 1320 0 0 15 0 1 0 19683512 3162112 281 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4898/statm): 772 281 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1188.29
Current children cumulated vsize (Kb) 5216

[startup+1620.12 s]
Raw data (loadavg): 1.23 1.12 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 311 0 0 0 4466 1497 0 0 16 0 1 0 19683512 3162112 281 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 281 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1194.55
Current children cumulated vsize (Kb) 5216

[startup+1630.12 s]
Raw data (loadavg): 1.19 1.12 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 312 0 0 0 5056 1629 0 0 16 0 1 0 19683512 3162112 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 282 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1201.77
Current children cumulated vsize (Kb) 5216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1630.12 s]
Raw data (loadavg): 1.19 1.12 1.04 1/56 4898
Raw data (/proc/4830/stat): 4830 (vallstSAT2005PB) S 4829 4830 4060 0 -1 0 417 3420 0 0 2 1 94047 19442 17 0 1 0 19530522 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4830/statm): 532 248 485 147 0 385 0
[pid=4830] vsize: 2128
Raw data (/proc/4898/stat): 4898 (vallst) T 4830 4830 4060 0 -1 0 312 0 0 0 5056 1629 0 0 16 0 1 0 19683512 3162112 282 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4898/statm): 772 282 413 48 0 724 0
[pid=4898] vsize: 3088
Current children cumulated CPU time (s) 1201.77
Current children cumulated vsize (Kb) 5216

Sending SIGTERM to -4830
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4900
New process pid=4901
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=4898) exited with status: 3
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/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/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4791/stat
open syscall for file /proc/4791/status
open syscall for file /proc/4791/cmdline
open syscall for file /proc/4791/environ
open syscall for file /proc/4829/stat
open syscall for file /proc/4829/status
open syscall for file /proc/4829/cmdline
open syscall for file /proc/4829/environ
open syscall for file /proc/4830/stat
open syscall for file /proc/4830/status
open syscall for file /proc/4830/cmdline
open syscall for file /proc/4830/environ
open syscall for file /proc/4900/stat
open syscall for file /proc/4900/status
open syscall for file /proc/4900/cmdline
open syscall for file /proc/4900/environ
open syscall for file /proc/4901/stat
open syscall for file /proc/4901/status
open syscall for file /proc/4901/cmdline
open syscall for file /proc/4901/environ
One traced child (pid=4900) exited with status: 0
One traced child (pid=4901) exited with status: 0
New process pid=4902
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=4902) exited with status: 0
New process pid=4903
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=4903) exited with status: 0
One traced child (pid=4830) 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): 1630.59
CPU time (s): 1201.91
CPU user time (s): 991.109
CPU system time (s): 210.798
CPU usage (%): 73.7099
Max. virtual memory (cumulated for all children) (Kb): 10860

Verifier Data

ERROR: no interpretation found !