Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic97.opb
MD5SUMa763f1a89c66e69c15e96e7ec1ddc143
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 81920000000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 32392558579027
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables10959
Total number of constraints10724
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10588
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint9774

Trace number 9450

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930292 kB
Buffers:         13912 kB
Cached:          71224 kB
SwapCached:          0 kB
Active:          50896 kB
Inactive:        37180 kB
HighTotal:      131008 kB
HighFree:        55720 kB
LowTotal:       903652 kB
LowFree:        874572 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10640 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:02:15 (client local time) WITH STATUS 3 IN 874.232 SECONDS
stats: 8169 7 874.232 3

Solver Data

1:
seed: 0
Nr of vars set: 1426  (#equs: 0)
Nr of vars set: 1426  (#equs: 0)
#decisions: 1500372;  #end-nodes: 20618;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 930, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 1426  (#equs: 0)
Time taken: 5 min, 26 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: 1426  (#equs: 0)
Nr of vars set: 1426  (#equs: 0)
Interupt request received.
#decisions: 3512603;  #end-nodes: 80449;
#proof improvement attempts: 0;  #restarts: 446
Current batch, end-nodes: 117 / 231 (231)
#axs: 930, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 9341  (#equs: 0)
Time taken: 14 min, 33 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/6802/stat): 6802 (vallstSAT2005PB) R 6801 6802 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20632488 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6802/statm): 174 3 169 147 0 27 0
[pid=6802] 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=6803
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=6803) exited with status: 0
New process pid=6804
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=6804) exited with status: 0
New process pid=6805
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/wulflinc5/normalized-mps-v2-13-7-blp-ic97.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.89 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 1549 0 0 0 926 31 0 0 25 0 1 0 20632495 8392704 1346 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 2049 1346 413 48 0 2001 0
[pid=6805] vsize: 8196
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (Kb) 10324

[startup+20.0038 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 1549 0 0 0 1756 85 0 0 25 0 1 0 20632495 8392704 1346 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 2049 1346 413 48 0 2001 0
[pid=6805] vsize: 8196
Current children cumulated CPU time (s) 18.42
Current children cumulated vsize (Kb) 10324

[startup+30.0035 s]
Raw data (loadavg): 0.92 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2133 0 0 0 2588 143 0 0 22 0 1 0 20632495 16642048 1930 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1930 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 27.32
Current children cumulated vsize (Kb) 18380

[startup+40.0053 s]
Raw data (loadavg): 0.93 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2150 0 0 0 3352 220 0 0 20 0 1 0 20632495 16642048 1947 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4063 1947 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 35.73
Current children cumulated vsize (Kb) 18380

[startup+50.006 s]
Raw data (loadavg): 0.94 0.97 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2150 0 0 0 4153 283 0 0 20 0 1 0 20632495 16642048 1947 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1947 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 44.37
Current children cumulated vsize (Kb) 18380

[startup+60.0077 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2190 0 0 0 4925 357 0 0 21 0 1 0 20632495 16642048 1987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1987 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 52.83
Current children cumulated vsize (Kb) 18380

[startup+70.0085 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2190 0 0 0 5734 420 0 0 22 0 1 0 20632495 16642048 1987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1987 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 61.55
Current children cumulated vsize (Kb) 18380

[startup+80.0092 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2197 0 0 0 6543 478 0 0 20 0 1 0 20632495 16642048 1994 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 1994 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 70.22
Current children cumulated vsize (Kb) 18380

[startup+90.01 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2217 0 0 0 7329 548 0 0 21 0 1 0 20632495 16642048 2014 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2014 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 78.78
Current children cumulated vsize (Kb) 18380

[startup+100.011 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2226 0 0 0 8145 607 0 0 23 0 1 0 20632495 16642048 2023 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2023 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 87.53
Current children cumulated vsize (Kb) 18380

[startup+110.012 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2265 0 0 0 8928 678 0 0 22 0 1 0 20632495 16642048 2062 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2062 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 96.07
Current children cumulated vsize (Kb) 18380

[startup+120.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2278 0 0 0 9710 754 0 0 21 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223232 134554384 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 104.65
Current children cumulated vsize (Kb) 18380

[startup+130.014 s]
Raw data (loadavg): 1.08 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2278 0 0 0 10537 809 0 0 20 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 113.47
Current children cumulated vsize (Kb) 18380

[startup+140.015 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2278 0 0 0 11345 871 0 0 25 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 122.17
Current children cumulated vsize (Kb) 18380

[startup+150.015 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2278 0 0 0 12159 932 0 0 21 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 130.92
Current children cumulated vsize (Kb) 18380

[startup+160.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2278 0 0 0 12957 997 0 0 25 0 1 0 20632495 16642048 2075 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4063 2075 413 48 0 4015 0
[pid=6805] vsize: 16252
Current children cumulated CPU time (s) 139.55
Current children cumulated vsize (Kb) 18380

[startup+170.017 s]
Raw data (loadavg): 1.12 1.02 1.01 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2368 0 0 0 13769 1057 0 0 24 0 1 0 20632495 16957440 2165 4294967295 134512640 134702520 3221223952 3221223232 134552695 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2165 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 148.27
Current children cumulated vsize (Kb) 18688

[startup+180.018 s]
Raw data (loadavg): 1.10 1.02 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2376 0 0 0 14643 1099 0 0 25 0 1 0 20632495 16957440 2173 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2173 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 157.43
Current children cumulated vsize (Kb) 18688

[startup+190.018 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2376 0 0 0 15475 1149 0 0 25 0 1 0 20632495 16957440 2173 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2173 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (Kb) 18688

[startup+200.019 s]
Raw data (loadavg): 1.07 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2391 0 0 0 16294 1208 0 0 21 0 1 0 20632495 16957440 2188 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2188 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 175.03
Current children cumulated vsize (Kb) 18688

[startup+210.02 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2404 0 0 0 17092 1276 0 0 25 0 1 0 20632495 16957440 2201 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2201 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 183.69
Current children cumulated vsize (Kb) 18688

[startup+220.021 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 17906 1338 0 0 20 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 192.45
Current children cumulated vsize (Kb) 18688

[startup+230.02 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 18698 1407 0 0 23 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 201.06
Current children cumulated vsize (Kb) 18688

[startup+240.021 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 19480 1481 0 0 21 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 209.62
Current children cumulated vsize (Kb) 18688

[startup+250.022 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2449 0 0 0 20324 1533 0 0 22 0 1 0 20632495 16957440 2246 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2246 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 218.58
Current children cumulated vsize (Kb) 18688

[startup+260.023 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2478 0 0 0 21114 1601 0 0 21 0 1 0 20632495 16957440 2275 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2275 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 227.16
Current children cumulated vsize (Kb) 18688

[startup+270.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2504 0 0 0 21925 1662 0 0 25 0 1 0 20632495 16957440 2301 4294967295 134512640 134702520 3221223952 3221218108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2301 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 235.88
Current children cumulated vsize (Kb) 18688

[startup+280.024 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2504 0 0 0 22763 1717 0 0 21 0 1 0 20632495 16957440 2301 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2301 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 244.81
Current children cumulated vsize (Kb) 18688

[startup+290.025 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2534 0 0 0 23568 1782 0 0 23 0 1 0 20632495 16957440 2331 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2331 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 253.51
Current children cumulated vsize (Kb) 18688

[startup+300.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2549 0 0 0 24402 1839 0 0 25 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 262.42
Current children cumulated vsize (Kb) 18688

[startup+310.026 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2549 0 0 0 25187 1912 0 0 21 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 271
Current children cumulated vsize (Kb) 18688

[startup+320.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2549 0 0 0 26025 1968 0 0 25 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (Kb) 18688

[startup+330.027 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2549 0 0 0 26874 2019 0 0 21 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 288.94
Current children cumulated vsize (Kb) 18688

[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2549 0 0 0 27673 2082 0 0 22 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 297.56
Current children cumulated vsize (Kb) 18688

[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2549 0 0 0 28483 2141 0 0 23 0 1 0 20632495 16957440 2346 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6805/statm): 4140 2346 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 306.25
Current children cumulated vsize (Kb) 18688

[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) T 6802 6802 4060 0 -1 0 2550 0 0 0 29354 2185 0 0 25 0 1 0 20632495 16957440 2347 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2347 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 315.4
Current children cumulated vsize (Kb) 18688

[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6805
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20632488 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 242 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6805/stat): 6805 (vallst) R 6802 6802 4060 0 -1 0 2550 0 0 0 30179 2244 0 0 25 0 1 0 20632495 16957440 2347 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6805/statm): 4140 2347 413 48 0 4092 0
[pid=6805] vsize: 16560
Current children cumulated CPU time (s) 324.24
Current children cumulated vsize (Kb) 18688
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=6805) exited with status: 2
New process pid=6806
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=6806) exited with status: 0
New process pid=6807
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+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 1124 0 0 0 609 42 0 0 16 0 1 0 20669769 6807552 1094 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 1662 1094 413 48 0 1614 0
[pid=6807] vsize: 6648
Current children cumulated CPU time (s) 333.44
Current children cumulated vsize (Kb) 8776

[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 1125 0 0 0 1519 68 0 0 25 0 1 0 20669769 6807552 1095 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 1662 1095 413 48 0 1614 0
[pid=6807] vsize: 6648
Current children cumulated CPU time (s) 342.8
Current children cumulated vsize (Kb) 8776

[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2104 0 0 0 2389 112 0 0 25 0 1 0 20669769 13213696 2074 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2074 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 351.94
Current children cumulated vsize (Kb) 15032

[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2782 0 0 0 3205 174 0 0 20 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 360.72
Current children cumulated vsize (Kb) 15032

[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2782 0 0 0 4012 236 0 0 25 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 369.41
Current children cumulated vsize (Kb) 15032

[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2782 0 0 0 4855 287 0 0 21 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221223104 134605107 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 378.35
Current children cumulated vsize (Kb) 15032

[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2782 0 0 0 5658 349 0 0 22 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 387
Current children cumulated vsize (Kb) 15032

[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2782 0 0 0 6486 406 0 0 25 0 1 0 20669769 13213696 2752 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3226 2752 413 48 0 3178 0
[pid=6807] vsize: 12904
Current children cumulated CPU time (s) 395.85
Current children cumulated vsize (Kb) 15032

[startup+460.038 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2783 0 0 0 7290 472 0 0 25 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 404.55
Current children cumulated vsize (Kb) 15036

[startup+470.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2783 0 0 0 8098 535 0 0 25 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 413.26
Current children cumulated vsize (Kb) 15036

[startup+480.04 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 8944 585 0 0 19 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 422.22
Current children cumulated vsize (Kb) 15036

[startup+490.041 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 9757 647 0 0 21 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 430.97
Current children cumulated vsize (Kb) 15036

[startup+500.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2783 0 0 0 10561 712 0 0 22 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 439.66
Current children cumulated vsize (Kb) 15036

[startup+510.043 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 11385 769 0 0 23 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 448.47
Current children cumulated vsize (Kb) 15036

[startup+520.044 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 12206 828 0 0 21 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 457.27
Current children cumulated vsize (Kb) 15036

[startup+530.043 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2783 0 0 0 13003 894 0 0 22 0 1 0 20669769 13217792 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3227 2753 413 48 0 3179 0
[pid=6807] vsize: 12908
Current children cumulated CPU time (s) 465.9
Current children cumulated vsize (Kb) 15036

[startup+540.045 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2784 0 0 0 13830 953 0 0 22 0 1 0 20669769 13324288 2754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2754 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 474.76
Current children cumulated vsize (Kb) 15140

[startup+550.046 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2784 0 0 0 14643 1013 0 0 21 0 1 0 20669769 13324288 2754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2754 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 483.49
Current children cumulated vsize (Kb) 15140

[startup+560.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2785 0 0 0 15451 1080 0 0 21 0 1 0 20669769 13324288 2755 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2755 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (Kb) 15140

[startup+570.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2789 0 0 0 16277 1136 0 0 16 0 1 0 20669769 13324288 2759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2759 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 501.06
Current children cumulated vsize (Kb) 15140

[startup+580.048 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2789 0 0 0 17205 1159 0 0 25 0 1 0 20669769 13324288 2759 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3253 2759 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 510.57
Current children cumulated vsize (Kb) 15140

[startup+590.049 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2792 0 0 0 18002 1227 0 0 21 0 1 0 20669769 13324288 2762 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3253 2762 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 519.22
Current children cumulated vsize (Kb) 15140

[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2796 0 0 0 18831 1283 0 0 24 0 1 0 20669769 13324288 2766 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2766 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 528.07
Current children cumulated vsize (Kb) 15140

[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2797 0 0 0 19678 1334 0 0 21 0 1 0 20669769 13324288 2767 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2767 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 537.05
Current children cumulated vsize (Kb) 15140

[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2799 0 0 0 20518 1386 0 0 25 0 1 0 20669769 13324288 2769 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2769 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 545.97
Current children cumulated vsize (Kb) 15140

[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2802 0 0 0 21336 1446 0 0 22 0 1 0 20669769 13324288 2772 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3253 2772 413 48 0 3205 0
[pid=6807] vsize: 13012
Current children cumulated CPU time (s) 554.75
Current children cumulated vsize (Kb) 15140

[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2805 0 0 0 22196 1494 0 0 25 0 1 0 20669769 13467648 2775 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3288 2775 413 48 0 3240 0
[pid=6807] vsize: 13152
Current children cumulated CPU time (s) 563.83
Current children cumulated vsize (Kb) 15280

[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2807 0 0 0 22984 1560 0 0 21 0 1 0 20669769 13430784 2777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2777 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 572.37
Current children cumulated vsize (Kb) 15244

[startup+660.055 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2809 0 0 0 23813 1620 0 0 25 0 1 0 20669769 13430784 2779 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2779 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 581.26
Current children cumulated vsize (Kb) 15244

[startup+670.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2813 0 0 0 24648 1676 0 0 21 0 1 0 20669769 13430784 2783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2783 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 590.17
Current children cumulated vsize (Kb) 15244

[startup+680.056 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2814 0 0 0 25470 1733 0 0 22 0 1 0 20669769 13430784 2784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2784 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 598.96
Current children cumulated vsize (Kb) 15244

[startup+690.057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2818 0 0 0 26287 1793 0 0 23 0 1 0 20669769 13430784 2788 4294967295 134512640 134702520 3221223712 3221223248 134574407 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2788 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 607.73
Current children cumulated vsize (Kb) 15244

[startup+700.058 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2821 0 0 0 27151 1836 0 0 25 0 1 0 20669769 13430784 2791 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2791 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 616.8
Current children cumulated vsize (Kb) 15244

[startup+710.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2822 0 0 0 27961 1898 0 0 24 0 1 0 20669769 13430784 2792 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2792 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 625.52
Current children cumulated vsize (Kb) 15244

[startup+720.059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2825 0 0 0 28811 1946 0 0 25 0 1 0 20669769 13430784 2795 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2795 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 634.5
Current children cumulated vsize (Kb) 15244

[startup+730.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2828 0 0 0 29648 2001 0 0 25 0 1 0 20669769 13430784 2798 4294967295 134512640 134702520 3221223712 3221218848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2798 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 643.42
Current children cumulated vsize (Kb) 15244

[startup+740.06 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2830 0 0 0 30497 2056 0 0 17 0 1 0 20669769 13430784 2800 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3279 2800 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 652.46
Current children cumulated vsize (Kb) 15244

[startup+750.061 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2833 0 0 0 31327 2109 0 0 20 0 1 0 20669769 13430784 2803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3279 2803 413 48 0 3231 0
[pid=6807] vsize: 13116
Current children cumulated CPU time (s) 661.29
Current children cumulated vsize (Kb) 15244

[startup+760.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2837 0 0 0 32172 2158 0 0 22 0 1 0 20669769 13565952 2807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2807 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 670.23
Current children cumulated vsize (Kb) 15376

[startup+770.062 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2839 0 0 0 32994 2219 0 0 16 0 1 0 20669769 13565952 2809 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2809 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 679.06
Current children cumulated vsize (Kb) 15376

[startup+780.063 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2839 0 0 0 33930 2240 0 0 23 0 1 0 20669769 13565952 2809 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2809 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 688.63
Current children cumulated vsize (Kb) 15376

[startup+790.063 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2840 0 0 0 34752 2297 0 0 21 0 1 0 20669769 13565952 2810 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2810 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 697.42
Current children cumulated vsize (Kb) 15376

[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2844 0 0 0 35582 2353 0 0 22 0 1 0 20669769 13565952 2814 4294967295 134512640 134702520 3221223712 3221222992 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2814 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 706.28
Current children cumulated vsize (Kb) 15376

[startup+810.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2848 0 0 0 36430 2402 0 0 25 0 1 0 20669769 13565952 2818 4294967295 134512640 134702520 3221223712 3221136908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2818 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 715.25
Current children cumulated vsize (Kb) 15376

[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2849 0 0 0 37252 2463 0 0 22 0 1 0 20669769 13565952 2819 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2819 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 724.08
Current children cumulated vsize (Kb) 15376

[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2851 0 0 0 38072 2523 0 0 25 0 1 0 20669769 13565952 2821 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2821 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 732.88
Current children cumulated vsize (Kb) 15376

[startup+840.068 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2853 0 0 0 38914 2576 0 0 25 0 1 0 20669769 13565952 2823 4294967295 134512640 134702520 3221223712 3221072748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2823 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 741.83
Current children cumulated vsize (Kb) 15376

[startup+850.069 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2857 0 0 0 39729 2640 0 0 18 0 1 0 20669769 13565952 2827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2827 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 750.62
Current children cumulated vsize (Kb) 15376

[startup+860.07 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2859 0 0 0 40558 2697 0 0 22 0 1 0 20669769 13565952 2829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2829 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 759.48
Current children cumulated vsize (Kb) 15376

[startup+870.07 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2861 0 0 0 41401 2748 0 0 21 0 1 0 20669769 13565952 2831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3312 2831 413 48 0 3264 0
[pid=6807] vsize: 13248
Current children cumulated CPU time (s) 768.42
Current children cumulated vsize (Kb) 15376

[startup+880.071 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2864 0 0 0 42257 2797 0 0 25 0 1 0 20669769 13660160 2834 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2834 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 777.47
Current children cumulated vsize (Kb) 15468

[startup+890.072 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2868 0 0 0 43074 2858 0 0 21 0 1 0 20669769 13660160 2838 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3335 2838 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 786.25
Current children cumulated vsize (Kb) 15468

[startup+900.073 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2869 0 0 0 43907 2915 0 0 25 0 1 0 20669769 13660160 2839 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2839 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 795.15
Current children cumulated vsize (Kb) 15468

[startup+910.074 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2871 0 0 0 44775 2958 0 0 25 0 1 0 20669769 13660160 2841 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2841 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (Kb) 15468

[startup+920.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2875 0 0 0 45586 3018 0 0 22 0 1 0 20669769 13660160 2845 4294967295 134512640 134702520 3221223712 3221222992 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2845 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 812.97
Current children cumulated vsize (Kb) 15468

[startup+930.075 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2878 0 0 0 46393 3083 0 0 21 0 1 0 20669769 13660160 2848 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2848 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 821.69
Current children cumulated vsize (Kb) 15468

[startup+940.076 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2880 0 0 0 47252 3130 0 0 22 0 1 0 20669769 13660160 2850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2850 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 830.75
Current children cumulated vsize (Kb) 15468

[startup+950.076 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2884 0 0 0 48094 3182 0 0 24 0 1 0 20669769 13660160 2854 4294967295 134512640 134702520 3221223712 3221222832 134573733 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2854 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 839.69
Current children cumulated vsize (Kb) 15468

[startup+960.078 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2886 0 0 0 48962 3227 0 0 25 0 1 0 20669769 13660160 2856 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3335 2856 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 848.82
Current children cumulated vsize (Kb) 15468

[startup+970.079 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2887 0 0 0 49834 3269 0 0 25 0 1 0 20669769 13660160 2857 4294967295 134512640 134702520 3221223712 3221106988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3335 2857 413 48 0 3287 0
[pid=6807] vsize: 13340
Current children cumulated CPU time (s) 857.96
Current children cumulated vsize (Kb) 15468

[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2889 0 0 0 50643 3327 0 0 25 0 1 0 20669769 13807616 2859 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3371 2859 413 48 0 3323 0
[pid=6807] vsize: 13484
Current children cumulated CPU time (s) 866.63
Current children cumulated vsize (Kb) 15612

[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2889 0 0 0 51566 3351 0 0 23 0 1 0 20669769 13770752 2859 4294967295 134512640 134702520 3221223712 3221222992 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2859 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 876.1
Current children cumulated vsize (Kb) 15576

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2891 0 0 0 52404 3405 0 0 25 0 1 0 20669769 13770752 2861 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2861 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 885.02
Current children cumulated vsize (Kb) 15576

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2893 0 0 0 53264 3454 0 0 21 0 1 0 20669769 13770752 2863 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2863 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 894.11
Current children cumulated vsize (Kb) 15576

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2895 0 0 0 54124 3501 0 0 25 0 1 0 20669769 13770752 2865 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2865 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 903.18
Current children cumulated vsize (Kb) 15576

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2899 0 0 0 54991 3549 0 0 25 0 1 0 20669769 13770752 2869 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2869 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 912.33
Current children cumulated vsize (Kb) 15576

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2899 0 0 0 55832 3600 0 0 22 0 1 0 20669769 13770752 2869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2869 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 921.25
Current children cumulated vsize (Kb) 15576

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2901 0 0 0 56668 3657 0 0 25 0 1 0 20669769 13770752 2871 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2871 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 930.18
Current children cumulated vsize (Kb) 15576

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2903 0 0 0 57526 3707 0 0 23 0 1 0 20669769 13770752 2873 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3362 2873 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 939.26
Current children cumulated vsize (Kb) 15576

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2906 0 0 0 58358 3763 0 0 21 0 1 0 20669769 13770752 2876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3362 2876 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 948.14
Current children cumulated vsize (Kb) 15576

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2910 0 0 0 59194 3814 0 0 21 0 1 0 20669769 13770752 2880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3362 2880 413 48 0 3314 0
[pid=6807] vsize: 13448
Current children cumulated CPU time (s) 957.01
Current children cumulated vsize (Kb) 15576

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2912 0 0 0 60069 3858 0 0 22 0 1 0 20669769 13869056 2882 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2882 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 966.2
Current children cumulated vsize (Kb) 15672

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2917 0 0 0 60896 3916 0 0 21 0 1 0 20669769 13869056 2887 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2887 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 975.05
Current children cumulated vsize (Kb) 15672

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2918 0 0 0 61747 3964 0 0 24 0 1 0 20669769 13869056 2888 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3386 2888 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 984.04
Current children cumulated vsize (Kb) 15672

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2920 0 0 0 62599 4013 0 0 25 0 1 0 20669769 13869056 2890 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2890 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 993.05
Current children cumulated vsize (Kb) 15672

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2922 0 0 0 63466 4054 0 0 22 0 1 0 20669769 13869056 2892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2892 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (Kb) 15672

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2923 0 0 0 64312 4105 0 0 21 0 1 0 20669769 13869056 2893 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2893 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1011.1
Current children cumulated vsize (Kb) 15672

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2925 0 0 0 65151 4157 0 0 21 0 1 0 20669769 13869056 2895 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2895 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1020.01
Current children cumulated vsize (Kb) 15672

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2927 0 0 0 66010 4204 0 0 22 0 1 0 20669769 13869056 2897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2897 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1029.07
Current children cumulated vsize (Kb) 15672

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2928 0 0 0 66879 4245 0 0 25 0 1 0 20669769 13869056 2898 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2898 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1038.17
Current children cumulated vsize (Kb) 15672

[startup+1180.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2930 0 0 0 67726 4294 0 0 25 0 1 0 20669769 13869056 2900 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3386 2900 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1047.13
Current children cumulated vsize (Kb) 15672

[startup+1190.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2932 0 0 0 68572 4344 0 0 25 0 1 0 20669769 13869056 2902 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3386 2902 413 48 0 3338 0
[pid=6807] vsize: 13544
Current children cumulated CPU time (s) 1056.09
Current children cumulated vsize (Kb) 15672

[startup+1200.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2934 0 0 0 69457 4381 0 0 17 0 1 0 20669769 14028800 2904 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3425 2904 413 48 0 3377 0
[pid=6807] vsize: 13700
Current children cumulated CPU time (s) 1065.31
Current children cumulated vsize (Kb) 15828

[startup+1210.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6807
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2934 0 0 0 70342 4418 0 0 25 0 1 0 20669769 14028800 2904 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3425 2904 413 48 0 3377 0
[pid=6807] vsize: 13700
Current children cumulated CPU time (s) 1074.53
Current children cumulated vsize (Kb) 15828

[startup+1220.1 s]
Raw data (loadavg): 1.04 1.01 1.00 3/57 6808
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2936 0 0 0 71210 4463 0 0 25 0 1 0 20669769 13950976 2906 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2906 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1083.66
Current children cumulated vsize (Kb) 15752

[startup+1230.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2937 0 0 0 72044 4515 0 0 21 0 1 0 20669769 13950976 2907 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2907 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1092.52
Current children cumulated vsize (Kb) 15752

[startup+1240.1 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2938 0 0 0 72878 4570 0 0 22 0 1 0 20669769 13950976 2908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2908 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1101.41
Current children cumulated vsize (Kb) 15752

[startup+1250.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2940 0 0 0 73741 4613 0 0 25 0 1 0 20669769 13950976 2910 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2910 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1110.47
Current children cumulated vsize (Kb) 15752

[startup+1260.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2945 0 0 0 74617 4655 0 0 25 0 1 0 20669769 13950976 2915 4294967295 134512640 134702520 3221223712 3221222992 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2915 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1119.65
Current children cumulated vsize (Kb) 15752

[startup+1270.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6862
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2948 0 0 0 75457 4707 0 0 25 0 1 0 20669769 13950976 2918 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2918 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1128.57
Current children cumulated vsize (Kb) 15752

[startup+1280.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6864
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2949 0 0 0 76295 4761 0 0 25 0 1 0 20669769 13950976 2919 4294967295 134512640 134702520 3221223712 3221186848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2919 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1137.49
Current children cumulated vsize (Kb) 15752

[startup+1290.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6866
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2951 0 0 0 77120 4821 0 0 21 0 1 0 20669769 13950976 2921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2921 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1146.34
Current children cumulated vsize (Kb) 15752

[startup+1300.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2954 0 0 0 77966 4871 0 0 17 0 1 0 20669769 13950976 2924 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6807/statm): 3406 2924 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1155.3
Current children cumulated vsize (Kb) 15752

[startup+1310.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2954 0 0 0 78859 4907 0 0 25 0 1 0 20669769 13950976 2924 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2924 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (Kb) 15752

[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2956 0 0 0 79760 4940 0 0 25 0 1 0 20669769 13950976 2926 4294967295 134512640 134702520 3221223712 3221079328 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3406 2926 413 48 0 3358 0
[pid=6807] vsize: 13624
Current children cumulated CPU time (s) 1173.93
Current children cumulated vsize (Kb) 15752

[startup+1330.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2958 0 0 0 80592 4998 0 0 22 0 1 0 20669769 14049280 2928 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2928 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1182.83
Current children cumulated vsize (Kb) 15848

[startup+1340.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) T 6802 6802 4060 0 -1 0 2959 0 0 0 81430 5050 0 0 24 0 1 0 20669769 14049280 2929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2929 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1191.73
Current children cumulated vsize (Kb) 15848

[startup+1350.11 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2961 0 0 0 82264 5105 0 0 25 0 1 0 20669769 14049280 2931 4294967295 134512640 134702520 3221223712 3221222992 134552719 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2931 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1200.62
Current children cumulated vsize (Kb) 15848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.11 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 6868
Raw data (/proc/6802/stat): 6802 (vallstSAT2005PB) S 6801 6802 4060 0 -1 0 378 2925 0 0 1 1 30440 2251 19 0 1 0 20632488 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6802/statm): 532 248 485 147 0 385 0
[pid=6802] vsize: 2128
Raw data (/proc/6807/stat): 6807 (vallst) R 6802 6802 4060 0 -1 0 2961 0 0 0 82264 5105 0 0 25 0 1 0 20669769 14049280 2931 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6807/statm): 3430 2931 413 48 0 3382 0
[pid=6807] vsize: 13720
Current children cumulated CPU time (s) 1200.62
Current children cumulated vsize (Kb) 15848

Sending SIGTERM to -6802
Sleeping 2 seconds
New process pid=6870
New process pid=6871
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6763/stat
open syscall for file /proc/6763/status
open syscall for file /proc/6763/cmdline
open syscall for file /proc/6763/environ
open syscall for file /proc/6801/stat
open syscall for file /proc/6801/status
open syscall for file /proc/6801/cmdline
open syscall for file /proc/6801/environ
open syscall for file /proc/6802/stat
open syscall for file /proc/6802/status
open syscall for file /proc/6802/cmdline
open syscall for file /proc/6802/environ
open syscall for file /proc/6807/stat
open syscall for file /proc/6807/status
open syscall for file /proc/6807/cmdline
open syscall for file /proc/6807/environ
open syscall for file /proc/6870/stat
open syscall for file /proc/6870/status
open syscall for file /proc/6870/cmdline
open syscall for file /proc/6870/environ
open syscall for file /proc/6871/stat
open syscall for file /proc/6871/status
open syscall for file /proc/6871/cmdline
open syscall for file /proc/6871/environ
One traced child (pid=6870) exited with status: 0
One traced child (pid=6871) exited with status: 0
New process pid=6872
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=6872) exited with status: 0
New process pid=6873
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=6873) exited with status: 0
One traced child (pid=6802) 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=6807) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1350.67
CPU time (s): 874.232
CPU user time (s): 823.125
CPU system time (s): 51.1072
CPU usage (%): 64.7257
Max. virtual memory (cumulated for all children) (Kb): 18688

Verifier Data

ERROR: no interpretation found !