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/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUM64cd8dd71c00255f05a721f3d3f16ae5
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables23384
Total number of constraints4170
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1403
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint1
Maximum length of a constraint1202

Trace number 4298

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        902592 kB
Buffers:         34936 kB
Cached:          69880 kB
SwapCached:        516 kB
Active:          59508 kB
Inactive:        47768 kB
HighTotal:      131008 kB
HighFree:        58576 kB
LowTotal:       903652 kB
LowFree:        844016 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            19076 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:36:30 (client local time) WITH STATUS 3 IN 489.03 SECONDS
stats: 7588 7 489.03 3

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 28  (#equs: 18)
#decisions: 369131;  #end-nodes: 120780;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 257 (247)
#axs: 2903, #non-axs: 2175
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 28  (#equs: 18)
Time taken: 12 min, 0 sec

2:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 28  (#equs: 0)
Nr of vars set: 28  (#equs: 0)
Interupt request received.
#decisions: 239812;  #end-nodes: 82028;
#proof improvement attempts: 0;  #restarts: 427
Current batch, end-nodes: 63 / 230 (226)
#axs: 2881, #non-axs: 7131
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5697  (#equs: 0)
Time taken: 8 min, 8 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) R 32143 32144 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847686186 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32144/statm): 174 3 169 147 0 27 0
[pid=32144] 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=32145
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=32145) exited with status: 0
New process pid=32146
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=32146) exited with status: 0
New process pid=32147
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/wulflinc17/normalized-mps-v2-20-10-aflow40b.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0062 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1551 0 0 0 964 14 0 0 25 0 1 0 1847686193 7983104 1455 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 1949 1455 413 48 0 1901 0
[pid=32147] vsize: 7796
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 9924

[startup+20.0068 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1613 0 0 0 1937 24 0 0 25 0 1 0 1847686193 13881344 1517 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3389 1517 413 48 0 3341 0
[pid=32147] vsize: 13556
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (Kb) 15684

[startup+30.0074 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1670 0 0 0 2897 38 0 0 25 0 1 0 1847686193 13889536 1574 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1574 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 29.37
Current children cumulated vsize (Kb) 15692

[startup+40.008 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1670 0 0 0 3862 50 0 0 25 0 1 0 1847686193 13889536 1574 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1574 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 39.14
Current children cumulated vsize (Kb) 15692

[startup+50.0096 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1680 0 0 0 4817 66 0 0 25 0 1 0 1847686193 13889536 1584 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1584 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 48.85
Current children cumulated vsize (Kb) 15692

[startup+60.0102 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1683 0 0 0 5770 82 0 0 25 0 1 0 1847686193 13889536 1587 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1587 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 58.54
Current children cumulated vsize (Kb) 15692

[startup+70.0108 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1684 0 0 0 6722 97 0 0 25 0 1 0 1847686193 13889536 1588 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1588 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 68.21
Current children cumulated vsize (Kb) 15692

[startup+80.0115 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1686 0 0 0 7679 112 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221222976 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 77.93
Current children cumulated vsize (Kb) 15692

[startup+90.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 8618 134 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 87.54
Current children cumulated vsize (Kb) 15692

[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 9559 153 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 97.14
Current children cumulated vsize (Kb) 15692

[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 10511 168 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 106.81
Current children cumulated vsize (Kb) 15692

[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1686 0 0 0 11470 180 0 0 25 0 1 0 1847686193 13889536 1590 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1590 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 116.52
Current children cumulated vsize (Kb) 15692

[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1697 0 0 0 12442 190 0 0 25 0 1 0 1847686193 13889536 1601 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1601 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 126.34
Current children cumulated vsize (Kb) 15692

[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1719 0 0 0 13411 201 0 0 25 0 1 0 1847686193 13889536 1623 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1623 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 136.14
Current children cumulated vsize (Kb) 15692

[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1721 0 0 0 14370 216 0 0 25 0 1 0 1847686193 13889536 1625 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1625 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 145.88
Current children cumulated vsize (Kb) 15692

[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1760 0 0 0 15337 228 0 0 25 0 1 0 1847686193 13889536 1664 4294967295 134512640 134702520 3221223952 3221223232 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1664 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 155.67
Current children cumulated vsize (Kb) 15692

[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1761 0 0 0 16303 239 0 0 17 0 1 0 1847686193 13889536 1665 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1665 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 165.44
Current children cumulated vsize (Kb) 15692

[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1761 0 0 0 17241 261 0 0 25 0 1 0 1847686193 13889536 1665 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1665 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 175.04
Current children cumulated vsize (Kb) 15692

[startup+190.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1761 0 0 0 18182 280 0 0 25 0 1 0 1847686193 13889536 1665 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1665 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 184.64
Current children cumulated vsize (Kb) 15692

[startup+200.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1787 0 0 0 19151 291 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 194.44
Current children cumulated vsize (Kb) 15692

[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1787 0 0 0 20118 303 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 204.23
Current children cumulated vsize (Kb) 15692

[startup+220.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1787 0 0 0 21082 316 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 214
Current children cumulated vsize (Kb) 15692

[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1787 0 0 0 22043 329 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223232 134553340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 223.74
Current children cumulated vsize (Kb) 15692

[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1787 0 0 0 23005 342 0 0 25 0 1 0 1847686193 13889536 1691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1691 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 233.49
Current children cumulated vsize (Kb) 15692

[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1808 0 0 0 23975 352 0 0 25 0 1 0 1847686193 13889536 1712 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1712 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 243.29
Current children cumulated vsize (Kb) 15692

[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1822 0 0 0 24945 362 0 0 25 0 1 0 1847686193 13889536 1726 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1726 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 253.09
Current children cumulated vsize (Kb) 15692

[startup+270.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1855 0 0 0 25902 378 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221222976 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 262.82
Current children cumulated vsize (Kb) 15692

[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1855 0 0 0 26837 401 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 272.4
Current children cumulated vsize (Kb) 15692

[startup+290.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1856 0 0 0 27782 421 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223064 1074521190 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (Kb) 15692

[startup+300.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1856 0 0 0 28747 433 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 291.82
Current children cumulated vsize (Kb) 15692

[startup+310.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1856 0 0 0 29705 446 0 0 25 0 1 0 1847686193 13889536 1759 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1759 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 301.53
Current children cumulated vsize (Kb) 15692

[startup+320.027 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1864 0 0 0 30678 455 0 0 25 0 1 0 1847686193 13889536 1767 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1767 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 311.35
Current children cumulated vsize (Kb) 15692

[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1885 0 0 0 31642 467 0 0 25 0 1 0 1847686193 13889536 1788 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3391 1788 413 48 0 3343 0
[pid=32147] vsize: 13564
Current children cumulated CPU time (s) 321.11
Current children cumulated vsize (Kb) 15692

[startup+340.027 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1897 0 0 0 32611 480 0 0 25 0 1 0 1847686193 13991936 1800 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1800 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 330.93
Current children cumulated vsize (Kb) 15792

[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1919 0 0 0 33589 487 0 0 25 0 1 0 1847686193 13991936 1822 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1822 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 340.78
Current children cumulated vsize (Kb) 15792

[startup+360.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1936 0 0 0 34554 499 0 0 25 0 1 0 1847686193 13991936 1839 4294967295 134512640 134702520 3221223952 3221223072 134573406 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3416 1839 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 350.55
Current children cumulated vsize (Kb) 15792

[startup+370.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1948 0 0 0 35515 512 0 0 25 0 1 0 1847686193 13991936 1851 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1851 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 360.29
Current children cumulated vsize (Kb) 15792

[startup+380.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1948 0 0 0 36449 535 0 0 25 0 1 0 1847686193 13991936 1851 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1851 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 369.86
Current children cumulated vsize (Kb) 15792

[startup+390.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1950 0 0 0 37405 550 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 379.57
Current children cumulated vsize (Kb) 15792

[startup+400.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1950 0 0 0 38362 565 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223072 134578896 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 389.29
Current children cumulated vsize (Kb) 15792

[startup+410.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1950 0 0 0 39332 577 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223172 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (Kb) 15792

[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1950 0 0 0 40296 589 0 0 25 0 1 0 1847686193 13991936 1852 4294967295 134512640 134702520 3221223952 3221223232 134552239 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1852 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 408.87
Current children cumulated vsize (Kb) 15792

[startup+430.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 1951 0 0 0 41266 600 0 0 25 0 1 0 1847686193 13991936 1853 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1853 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 418.68
Current children cumulated vsize (Kb) 15792

[startup+440.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 1953 0 0 0 42237 609 0 0 25 0 1 0 1847686193 13991936 1855 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1855 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 428.48
Current children cumulated vsize (Kb) 15792

[startup+450.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2019 0 0 0 43208 621 0 0 25 0 1 0 1847686193 13991936 1921 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1921 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 438.31
Current children cumulated vsize (Kb) 15792

[startup+460.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2021 0 0 0 44182 629 0 0 25 0 1 0 1847686193 13991936 1923 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3416 1923 413 48 0 3368 0
[pid=32147] vsize: 13664
Current children cumulated CPU time (s) 448.13
Current children cumulated vsize (Kb) 15792

[startup+470.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2024 0 0 0 45152 641 0 0 25 0 1 0 1847686193 14098432 1926 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3442 1926 413 48 0 3394 0
[pid=32147] vsize: 13768
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (Kb) 15896

[startup+480.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2053 0 0 0 46114 655 0 0 25 0 1 0 1847686193 14835712 1955 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1955 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 467.71
Current children cumulated vsize (Kb) 16616

[startup+490.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2053 0 0 0 47052 678 0 0 25 0 1 0 1847686193 14835712 1955 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1955 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 477.32
Current children cumulated vsize (Kb) 16616

[startup+500.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2055 0 0 0 48001 697 0 0 25 0 1 0 1847686193 14835712 1956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1956 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 487
Current children cumulated vsize (Kb) 16616

[startup+510.038 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2058 0 0 0 48960 713 0 0 25 0 1 0 1847686193 14835712 1959 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1959 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 496.75
Current children cumulated vsize (Kb) 16616

[startup+520.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2060 0 0 0 49926 724 0 0 25 0 1 0 1847686193 14835712 1961 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1961 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 506.52
Current children cumulated vsize (Kb) 16616

[startup+530.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2062 0 0 0 50887 736 0 0 25 0 1 0 1847686193 14835712 1963 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1963 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 516.25
Current children cumulated vsize (Kb) 16616

[startup+540.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2064 0 0 0 51858 746 0 0 25 0 1 0 1847686193 14835712 1965 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1965 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 526.06
Current children cumulated vsize (Kb) 16616

[startup+550.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2066 0 0 0 52826 758 0 0 25 0 1 0 1847686193 14835712 1967 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1967 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 535.86
Current children cumulated vsize (Kb) 16616

[startup+560.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2068 0 0 0 53791 771 0 0 25 0 1 0 1847686193 14835712 1969 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1969 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 545.64
Current children cumulated vsize (Kb) 16616

[startup+570.043 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2079 0 0 0 54755 784 0 0 25 0 1 0 1847686193 14835712 1980 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1980 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 555.41
Current children cumulated vsize (Kb) 16616

[startup+580.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2089 0 0 0 55717 799 0 0 25 0 1 0 1847686193 14835712 1990 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3622 1990 413 48 0 3574 0
[pid=32147] vsize: 14488
Current children cumulated CPU time (s) 565.18
Current children cumulated vsize (Kb) 16616

[startup+590.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2123 0 0 0 56674 816 0 0 25 0 1 0 1847686193 15032320 2024 4294967295 134512640 134702520 3221223952 3221222976 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3670 2024 413 48 0 3622 0
[pid=32147] vsize: 14680
Current children cumulated CPU time (s) 574.92
Current children cumulated vsize (Kb) 16808

[startup+600.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2123 0 0 0 57610 839 0 0 25 0 1 0 1847686193 15032320 2024 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3670 2024 413 48 0 3622 0
[pid=32147] vsize: 14680
Current children cumulated CPU time (s) 584.51
Current children cumulated vsize (Kb) 16808

[startup+610.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2125 0 0 0 58555 857 0 0 25 0 1 0 1847686193 14942208 2025 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2025 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 594.14
Current children cumulated vsize (Kb) 16720

[startup+620.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2139 0 0 0 59537 862 0 0 25 0 1 0 1847686193 14942208 2039 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2039 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 604.01
Current children cumulated vsize (Kb) 16720

[startup+630.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2181 0 0 0 60501 877 0 0 25 0 1 0 1847686193 14942208 2081 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2081 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 613.8
Current children cumulated vsize (Kb) 16720

[startup+640.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2182 0 0 0 61472 887 0 0 25 0 1 0 1847686193 14942208 2082 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2082 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 623.61
Current children cumulated vsize (Kb) 16720

[startup+650.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2182 0 0 0 62433 901 0 0 25 0 1 0 1847686193 14942208 2082 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2082 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 633.36
Current children cumulated vsize (Kb) 16720

[startup+660.048 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2183 0 0 0 63398 914 0 0 25 0 1 0 1847686193 14942208 2083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2083 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 643.14
Current children cumulated vsize (Kb) 16720

[startup+670.049 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2184 0 0 0 64361 927 0 0 25 0 1 0 1847686193 14942208 2084 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2084 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 652.9
Current children cumulated vsize (Kb) 16720

[startup+680.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2185 0 0 0 65335 935 0 0 25 0 1 0 1847686193 14942208 2085 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2085 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 662.72
Current children cumulated vsize (Kb) 16720

[startup+690.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2185 0 0 0 66306 945 0 0 25 0 1 0 1847686193 14942208 2085 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3648 2085 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 672.53
Current children cumulated vsize (Kb) 16720

[startup+700.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2186 0 0 0 67273 955 0 0 25 0 1 0 1847686193 14942208 2086 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32147/statm): 3648 2086 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 682.3
Current children cumulated vsize (Kb) 16720

[startup+710.052 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2187 0 0 0 68234 969 0 0 25 0 1 0 1847686193 14942208 2087 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2087 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 692.05
Current children cumulated vsize (Kb) 16720

[startup+720.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) R 32144 32144 19316 0 -1 0 2189 0 0 0 69199 983 0 0 25 0 1 0 1847686193 14942208 2089 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2089 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (Kb) 16720

[startup+730.053 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32147
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1847686186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 242 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32147/stat): 32147 (vallst) T 32144 32144 19316 0 -1 0 2189 0 0 0 70146 1001 0 0 25 0 1 0 1847686193 14942208 2089 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32147/statm): 3648 2089 413 48 0 3600 0
[pid=32147] vsize: 14592
Current children cumulated CPU time (s) 711.49
Current children cumulated vsize (Kb) 16720
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=32147) exited with status: 2
New process pid=32148
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=32148) exited with status: 0
New process pid=32149
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+740.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 146 0 0 0 3 0 0 0 20 0 1 0 1847760197 1859584 118 4294967295 134512640 134702520 3221223712 3221223360 134633099 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 454 118 413 48 0 406 0
[pid=32149] vsize: 1816
Current children cumulated CPU time (s) 721.05
Current children cumulated vsize (Kb) 3944

[startup+750.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1394 0 0 0 983 9 0 0 25 0 1 0 1847760197 7790592 1365 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 1902 1365 413 48 0 1854 0
[pid=32149] vsize: 7608
Current children cumulated CPU time (s) 730.94
Current children cumulated vsize (Kb) 9736

[startup+760.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1522 0 0 0 1950 22 0 0 25 0 1 0 1847760197 13754368 1493 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3358 1493 413 48 0 3310 0
[pid=32149] vsize: 13432
Current children cumulated CPU time (s) 740.74
Current children cumulated vsize (Kb) 15560

[startup+770.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1557 0 0 0 2911 36 0 0 25 0 1 0 1847760197 13840384 1528 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1528 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 750.49
Current children cumulated vsize (Kb) 15644

[startup+780.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1567 0 0 0 3876 48 0 0 25 0 1 0 1847760197 13840384 1538 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1538 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 760.26
Current children cumulated vsize (Kb) 15644

[startup+790.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1614 0 0 0 4847 58 0 0 25 0 1 0 1847760197 13840384 1585 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1585 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 15644

[startup+800.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1617 0 0 0 5814 69 0 0 25 0 1 0 1847760197 13840384 1588 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3379 1588 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 779.85
Current children cumulated vsize (Kb) 15644

[startup+810.058 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1621 0 0 0 6783 81 0 0 25 0 1 0 1847760197 13840384 1592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3379 1592 413 48 0 3331 0
[pid=32149] vsize: 13516
Current children cumulated CPU time (s) 789.66
Current children cumulated vsize (Kb) 15644

[startup+820.059 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1630 0 0 0 7747 94 0 0 25 0 1 0 1847760197 14036992 1601 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3427 1601 413 48 0 3379 0
[pid=32149] vsize: 13708
Current children cumulated CPU time (s) 799.43
Current children cumulated vsize (Kb) 15836

[startup+830.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1638 0 0 0 8704 110 0 0 25 0 1 0 1847760197 13942784 1609 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1609 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 809.16
Current children cumulated vsize (Kb) 15744

[startup+840.06 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1639 0 0 0 9644 132 0 0 25 0 1 0 1847760197 13942784 1610 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1610 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 818.78
Current children cumulated vsize (Kb) 15744

[startup+850.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1641 0 0 0 10581 151 0 0 25 0 1 0 1847760197 13942784 1611 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1611 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 15744

[startup+860.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1656 0 0 0 11536 168 0 0 25 0 1 0 1847760197 13942784 1626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1626 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 838.06
Current children cumulated vsize (Kb) 15744

[startup+870.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1752 0 0 0 12506 180 0 0 25 0 1 0 1847760197 13942784 1722 4294967295 134512640 134702520 3221223712 3221222736 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3404 1722 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 847.88
Current children cumulated vsize (Kb) 15744

[startup+880.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1753 0 0 0 13477 191 0 0 25 0 1 0 1847760197 13942784 1723 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1723 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 857.7
Current children cumulated vsize (Kb) 15744

[startup+890.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1755 0 0 0 14453 201 0 0 25 0 1 0 1847760197 13942784 1725 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3404 1725 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 867.56
Current children cumulated vsize (Kb) 15744

[startup+900.065 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1761 0 0 0 15422 212 0 0 25 0 1 0 1847760197 13942784 1731 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1731 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 877.36
Current children cumulated vsize (Kb) 15744

[startup+910.066 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1762 0 0 0 16392 222 0 0 25 0 1 0 1847760197 13942784 1732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1732 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (Kb) 15744

[startup+920.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1766 0 0 0 17358 234 0 0 25 0 1 0 1847760197 13942784 1736 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1736 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 896.94
Current children cumulated vsize (Kb) 15744

[startup+930.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1768 0 0 0 18322 247 0 0 25 0 1 0 1847760197 13942784 1738 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3404 1738 413 48 0 3356 0
[pid=32149] vsize: 13616
Current children cumulated CPU time (s) 906.71
Current children cumulated vsize (Kb) 15744

[startup+940.068 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1769 0 0 0 19261 268 0 0 25 0 1 0 1847760197 14139392 1739 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3452 1739 413 48 0 3404 0
[pid=32149] vsize: 13808
Current children cumulated CPU time (s) 916.31
Current children cumulated vsize (Kb) 15936

[startup+950.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1770 0 0 0 20188 292 0 0 25 0 1 0 1847760197 14045184 1739 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1739 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 925.82
Current children cumulated vsize (Kb) 15844

[startup+960.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1771 0 0 0 21163 299 0 0 25 0 1 0 1847760197 14045184 1740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1740 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 935.64
Current children cumulated vsize (Kb) 15844

[startup+970.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1773 0 0 0 22127 313 0 0 25 0 1 0 1847760197 14045184 1742 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3429 1742 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 945.42
Current children cumulated vsize (Kb) 15844

[startup+980.072 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1774 0 0 0 23100 321 0 0 25 0 1 0 1847760197 14045184 1743 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1743 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 955.23
Current children cumulated vsize (Kb) 15844

[startup+990.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1790 0 0 0 24067 333 0 0 25 0 1 0 1847760197 14045184 1759 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1759 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 965.02
Current children cumulated vsize (Kb) 15844

[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1809 0 0 0 25036 344 0 0 25 0 1 0 1847760197 14045184 1778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1778 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 974.82
Current children cumulated vsize (Kb) 15844

[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1828 0 0 0 26019 350 0 0 25 0 1 0 1847760197 14045184 1797 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1797 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 984.71
Current children cumulated vsize (Kb) 15844

[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1844 0 0 0 26992 359 0 0 25 0 1 0 1847760197 14045184 1813 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3429 1813 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 994.53
Current children cumulated vsize (Kb) 15844

[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1867 0 0 0 27972 366 0 0 25 0 1 0 1847760197 14045184 1836 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1836 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1004.4
Current children cumulated vsize (Kb) 15844

[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1880 0 0 0 28940 378 0 0 18 0 1 0 1847760197 14045184 1849 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1849 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1014.2
Current children cumulated vsize (Kb) 15844

[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1907 0 0 0 29910 390 0 0 25 0 1 0 1847760197 14045184 1876 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1876 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1024.02
Current children cumulated vsize (Kb) 15844

[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1907 0 0 0 30841 414 0 0 25 0 1 0 1847760197 14045184 1876 4294967295 134512640 134702520 3221223712 3221222736 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3429 1876 413 48 0 3381 0
[pid=32149] vsize: 13716
Current children cumulated CPU time (s) 1033.57
Current children cumulated vsize (Kb) 15844

[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1908 0 0 0 31785 433 0 0 25 0 1 0 1847760197 14057472 1876 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1876 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1043.2
Current children cumulated vsize (Kb) 15856

[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1910 0 0 0 32756 443 0 0 25 0 1 0 1847760197 14057472 1878 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1878 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1053.01
Current children cumulated vsize (Kb) 15856

[startup+1090.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1912 0 0 0 33727 452 0 0 25 0 1 0 1847760197 14057472 1880 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1880 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1062.81
Current children cumulated vsize (Kb) 15856

[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1915 0 0 0 34698 462 0 0 25 0 1 0 1847760197 14057472 1883 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3432 1883 413 48 0 3384 0
[pid=32149] vsize: 13728
Current children cumulated CPU time (s) 1072.62
Current children cumulated vsize (Kb) 15856

[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1918 0 0 0 35667 473 0 0 25 0 1 0 1847760197 14159872 1886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1886 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1082.42
Current children cumulated vsize (Kb) 15956

[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1921 0 0 0 36635 485 0 0 25 0 1 0 1847760197 14159872 1889 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1889 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1092.22
Current children cumulated vsize (Kb) 15956

[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 1940 0 0 0 37600 496 0 0 25 0 1 0 1847760197 14159872 1908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1908 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1101.98
Current children cumulated vsize (Kb) 15956

[startup+1140.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1961 0 0 0 38558 510 0 0 25 0 1 0 1847760197 14159872 1929 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3457 1929 413 48 0 3409 0
[pid=32149] vsize: 13828
Current children cumulated CPU time (s) 1111.7
Current children cumulated vsize (Kb) 15956

[startup+1150.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1987 0 0 0 39535 517 0 0 25 0 1 0 1847760197 14905344 1955 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/32149/statm): 3639 1955 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1121.54
Current children cumulated vsize (Kb) 16684

[startup+1160.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 1997 0 0 0 40504 527 0 0 25 0 1 0 1847760197 14905344 1965 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1965 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1131.33
Current children cumulated vsize (Kb) 16684

[startup+1170.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2017 0 0 0 41468 537 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1141.07
Current children cumulated vsize (Kb) 16684

[startup+1180.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2017 0 0 0 42400 561 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1150.63
Current children cumulated vsize (Kb) 16684

[startup+1190.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2018 0 0 0 43353 577 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1160.32
Current children cumulated vsize (Kb) 16684

[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2018 0 0 0 44334 584 0 0 25 0 1 0 1847760197 14905344 1985 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1985 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1170.2
Current children cumulated vsize (Kb) 16684

[startup+1210.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2020 0 0 0 45297 597 0 0 25 0 1 0 1847760197 14905344 1987 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1987 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1179.96
Current children cumulated vsize (Kb) 16684

[startup+1220.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2022 0 0 0 46268 606 0 0 25 0 1 0 1847760197 14905344 1989 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3639 1989 413 48 0 3591 0
[pid=32149] vsize: 14556
Current children cumulated CPU time (s) 1189.76
Current children cumulated vsize (Kb) 16684

[startup+1230.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) R 32144 32144 19316 0 -1 0 2025 0 0 0 47243 614 0 0 25 0 1 0 1847760197 15003648 1992 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3663 1992 413 48 0 3615 0
[pid=32149] vsize: 14652
Current children cumulated CPU time (s) 1199.59
Current children cumulated vsize (Kb) 16780

[startup+1240.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2026 0 0 0 48216 625 0 0 25 0 1 0 1847760197 15003648 1993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3663 1993 413 48 0 3615 0
[pid=32149] vsize: 14652
Current children cumulated CPU time (s) 1209.43
Current children cumulated vsize (Kb) 16780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.09 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 32149
Raw data (/proc/32144/stat): 32144 (vallstSAT2005PB) S 32143 32144 19316 0 -1 0 378 2566 0 0 2 1 71069 1030 19 0 1 0 1847686186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/32144/statm): 532 248 485 147 0 385 0
[pid=32144] vsize: 2128
Raw data (/proc/32149/stat): 32149 (vallst) T 32144 32144 19316 0 -1 0 2026 0 0 0 48216 625 0 0 25 0 1 0 1847760197 15003648 1993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/32149/statm): 3663 1993 413 48 0 3615 0
[pid=32149] vsize: 14652
Current children cumulated CPU time (s) 1209.43
Current children cumulated vsize (Kb) 16780

Sending SIGTERM to -32144
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=32151
New process pid=32152
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/status
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/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/status
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/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/32107/stat
open syscall for file /proc/32107/status
open syscall for file /proc/32107/cmdline
open syscall for file /proc/32107/environ
open syscall for file /proc/32143/stat
open syscall for file /proc/32143/status
open syscall for file /proc/32143/cmdline
open syscall for file /proc/32143/environ
open syscall for file /proc/32144/stat
open syscall for file /proc/32144/status
open syscall for file /proc/32144/cmdline
open syscall for file /proc/32144/environ
open syscall for file /proc/32149/stat
open syscall for file /proc/32149/status
open syscall for file /proc/32149/cmdline
open syscall for file /proc/32149/environ
open syscall for file /proc/32151/stat
open syscall for file /proc/32151/status
open syscall for file /proc/32151/cmdline
open syscall for file /proc/32151/environ
open syscall for file /proc/32152/stat
open syscall for file /proc/32152/status
open syscall for file /proc/32152/cmdline
open syscall for file /proc/32152/environ
One traced child (pid=32151) exited with status: 0
One traced child (pid=32152) exited with status: 0
New process pid=32153
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=32153) exited with status: 0
New process pid=32154
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=32154) exited with status: 0
One traced child (pid=32144) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=32149) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1240.74
CPU time (s): 489.03
CPU user time (s): 482.723
CPU system time (s): 6.30704
CPU usage (%): 39.4142
Max. virtual memory (cumulated for all children) (Kb): 16808

Verifier Data

ERROR: no interpretation found !