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-biella1.opb
MD5SUMfc29c960bdd0cb480a316491664519da
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 416062789299200
Optimality of the best value was proved NO
Number of terms in the objective function 30470
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 4667772661205021200
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 4680572661205021200
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1205.89
Number of variables30470
Total number of constraints7313
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6111
Number of constraints which are nor clauses,nor cardinality constraints1202
Minimum length of a constraint1
Maximum length of a constraint30470

Trace number 9441

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 13:38:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8167 boxname=wulflinc13 idbench=1135 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fc29c960bdd0cb480a316491664519da  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-biella1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-biella1.opb 0
IDLAUNCH: 8167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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:        927856 kB
Buffers:         13100 kB
Cached:          75096 kB
SwapCached:          0 kB
Active:          46504 kB
Inactive:        44612 kB
HighTotal:      131008 kB
HighFree:        52220 kB
LowTotal:       903652 kB
LowFree:        875636 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10040 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:59:06 (client local time) WITH STATUS 3 IN 796.327 SECONDS
stats: 8167 7 796.327 3

Solver Data

1:
seed: 0
Nr of vars set: 8752  (#equs: 0)
Nr of vars set: 8752  (#equs: 0)
#decisions: 26268;  #end-nodes: 19965;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 2399, #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: 8752  (#equs: 0)
Time taken: 6 min, 50 sec

2:

Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened.
No such file or directory


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: 8752  (#equs: 0)
Nr of vars set: 8752  (#equs: 0)
Interupt request received.
#decisions: 78245;  #end-nodes: 64473;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 216 (216)
#axs: 2398, #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)
seed: 0
Nr of vars set: 8753  (#equs: 0)
Time taken: 13 min, 16 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/6293/stat): 6293 (vallstSAT2005PB) R 6292 6293 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20611118 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6293/statm): 174 3 169 147 0 27 0
[pid=6293] 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=6294
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=6294) exited with status: 0
New process pid=6295
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=6295) exited with status: 0
New process pid=6296
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/wulflinc13/normalized-mps-v2-13-7-biella1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2188 0 0 0 973 13 0 0 25 0 1 0 20611125 10776576 1962 4294967295 134512640 134702520 3221223952 3221184268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 2631 1962 413 48 0 2583 0
[pid=6296] vsize: 10524
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 12652

[startup+20.0025 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2264 0 0 0 1973 13 0 0 25 0 1 0 20611125 11087872 2038 4294967295 134512640 134702520 3221223952 3220869408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 2707 2038 413 48 0 2659 0
[pid=6296] vsize: 10828
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 12956

[startup+30.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2384 0 0 0 2973 14 0 0 25 0 1 0 20611125 11579392 2158 4294967295 134512640 134702520 3221223952 3220379308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 2827 2158 413 48 0 2779 0
[pid=6296] vsize: 11308
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 13436

[startup+40.0038 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2548 0 0 0 3965 16 0 0 25 0 1 0 20611125 21360640 2322 4294967295 134512640 134702520 3221223952 3221109788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2322 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 22988

[startup+50.0055 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2548 0 0 0 4965 16 0 0 25 0 1 0 20611125 21360640 2322 4294967295 134512640 134702520 3221223952 3220896688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2322 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 22988

[startup+60.0061 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2548 0 0 0 5965 16 0 0 25 0 1 0 20611125 21360640 2322 4294967295 134512640 134702520 3221223952 3220473628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2322 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 22988

[startup+70.0068 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2548 0 0 0 6957 19 0 0 25 0 1 0 20611125 21360640 2322 4294967295 134512640 134702520 3221223952 3221138928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2322 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 22988

[startup+80.0074 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2548 0 0 0 7957 19 0 0 25 0 1 0 20611125 21360640 2322 4294967295 134512640 134702520 3221223952 3220927248 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2322 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 22988

[startup+90.0071 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2548 0 0 0 8958 19 0 0 25 0 1 0 20611125 21360640 2322 4294967295 134512640 134702520 3221223952 3220544848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2322 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 89.79
Current children cumulated vsize (Kb) 22988

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2549 0 0 0 9950 22 0 0 25 0 1 0 20611125 21360640 2323 4294967295 134512640 134702520 3221223952 3221162596 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2323 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 22988

[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2549 0 0 0 10950 22 0 0 25 0 1 0 20611125 21360640 2323 4294967295 134512640 134702520 3221223952 3220953628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2323 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 109.74
Current children cumulated vsize (Kb) 22988

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2549 0 0 0 11950 22 0 0 25 0 1 0 20611125 21360640 2323 4294967295 134512640 134702520 3221223952 3220606768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2323 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 119.74
Current children cumulated vsize (Kb) 22988

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2549 0 0 0 12943 24 0 0 25 0 1 0 20611125 21360640 2323 4294967295 134512640 134702520 3221223952 3221186128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2323 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 22988

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2549 0 0 0 13943 24 0 0 25 0 1 0 20611125 21360640 2323 4294967295 134512640 134702520 3221223952 3220980188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2323 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 139.69
Current children cumulated vsize (Kb) 22988

[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2549 0 0 0 14944 24 0 0 25 0 1 0 20611125 21360640 2323 4294967295 134512640 134702520 3221223952 3220669648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2323 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 149.7
Current children cumulated vsize (Kb) 22988

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 15935 27 0 0 20 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3221213808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 159.64
Current children cumulated vsize (Kb) 22988

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 16935 27 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3221013008 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 22988

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 17935 27 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3220737468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 179.64
Current children cumulated vsize (Kb) 22988

[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 18936 27 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3220066768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 189.65
Current children cumulated vsize (Kb) 22988

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 19929 30 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3221045328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 199.61
Current children cumulated vsize (Kb) 22988

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 20929 30 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3220800668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 22988

[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 21929 30 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3220245948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 219.61
Current children cumulated vsize (Kb) 22988

[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 22920 33 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3221075568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 229.55
Current children cumulated vsize (Kb) 22988

[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 23921 33 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3220853488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 239.56
Current children cumulated vsize (Kb) 22988

[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2551 0 0 0 24921 33 0 0 25 0 1 0 20611125 21360640 2325 4294967295 134512640 134702520 3221223952 3220349168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2325 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 249.56
Current children cumulated vsize (Kb) 22988

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2552 0 0 0 25911 36 0 0 25 0 1 0 20611125 21360640 2326 4294967295 134512640 134702520 3221223952 3221102288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2326 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 259.49
Current children cumulated vsize (Kb) 22988

[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2552 0 0 0 26911 36 0 0 25 0 1 0 20611125 21360640 2326 4294967295 134512640 134702520 3221223952 3220888368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2326 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 269.49
Current children cumulated vsize (Kb) 22988

[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2552 0 0 0 27911 36 0 0 25 0 1 0 20611125 21360640 2326 4294967295 134512640 134702520 3221223952 3220451408 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2326 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (Kb) 22988

[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2559 0 0 0 28902 40 0 0 25 0 1 0 20611125 21360640 2333 4294967295 134512640 134702520 3221223952 3221134288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2333 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 289.44
Current children cumulated vsize (Kb) 22988

[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2559 0 0 0 29902 40 0 0 25 0 1 0 20611125 21360640 2333 4294967295 134512640 134702520 3221223952 3220924348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2333 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (Kb) 22988

[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2559 0 0 0 30902 40 0 0 25 0 1 0 20611125 21360640 2333 4294967295 134512640 134702520 3221223952 3220543388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2333 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 309.44
Current children cumulated vsize (Kb) 22988

[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2616 0 0 0 31893 44 0 0 25 0 1 0 20611125 21360640 2390 4294967295 134512640 134702520 3221223952 3221167388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2390 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 319.39
Current children cumulated vsize (Kb) 22988

[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2616 0 0 0 32893 44 0 0 25 0 1 0 20611125 21360640 2390 4294967295 134512640 134702520 3221223952 3220961308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2390 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 329.39
Current children cumulated vsize (Kb) 22988

[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2616 0 0 0 33893 44 0 0 25 0 1 0 20611125 21360640 2390 4294967295 134512640 134702520 3221223952 3220628828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2390 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (Kb) 22988

[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2659 0 0 0 34882 48 0 0 25 0 1 0 20611125 21360640 2433 4294967295 134512640 134702520 3221223952 3221201628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2433 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 349.32
Current children cumulated vsize (Kb) 22988

[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2659 0 0 0 35882 48 0 0 25 0 1 0 20611125 21360640 2433 4294967295 134512640 134702520 3221223952 3220999568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2433 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 359.32
Current children cumulated vsize (Kb) 22988

[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2659 0 0 0 36882 48 0 0 25 0 1 0 20611125 21360640 2433 4294967295 134512640 134702520 3221223952 3220710288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2433 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 369.32
Current children cumulated vsize (Kb) 22988

[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2659 0 0 0 37882 48 0 0 25 0 1 0 20611125 21360640 2433 4294967295 134512640 134702520 3221223952 3219924988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6296/statm): 5215 2433 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 379.32
Current children cumulated vsize (Kb) 22988

[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2698 0 0 0 38873 51 0 0 25 0 1 0 20611125 21360640 2472 4294967295 134512640 134702520 3221223952 3221035728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2472 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 389.26
Current children cumulated vsize (Kb) 22988

[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2698 0 0 0 39873 51 0 0 25 0 1 0 20611125 21360640 2472 4294967295 134512640 134702520 3221223952 3220778128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2472 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 399.26
Current children cumulated vsize (Kb) 22988

[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6296
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20611118 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 242 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6296/stat): 6296 (vallst) R 6293 6293 4060 0 -1 0 2698 0 0 0 40873 51 0 0 25 0 1 0 20611125 21360640 2472 4294967295 134512640 134702520 3221223952 3220179408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6296/statm): 5215 2472 413 48 0 5167 0
[pid=6296] vsize: 20860
Current children cumulated CPU time (s) 409.26
Current children cumulated vsize (Kb) 22988
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=6296) exited with status: 2
New process pid=6297
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=6297) exited with status: 0
New process pid=6298
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+420.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 1670 0 0 0 763 7 0 0 25 0 1 0 20652350 9064448 1640 4294967295 134512640 134702520 3221223712 3221054588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 2213 1640 413 48 0 2165 0
[pid=6298] vsize: 8852
Current children cumulated CPU time (s) 419.18
Current children cumulated vsize (Kb) 10980

[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 1761 0 0 0 1763 8 0 0 25 0 1 0 20652350 9437184 1731 4294967295 134512640 134702520 3221223712 3220684348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 2304 1731 413 48 0 2256 0
[pid=6298] vsize: 9216
Current children cumulated CPU time (s) 429.19
Current children cumulated vsize (Kb) 11344

[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2010 0 0 0 2752 12 0 0 17 0 1 0 20652350 17629184 1980 4294967295 134512640 134702520 3221223712 3221221088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1980 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 439.12
Current children cumulated vsize (Kb) 19344

[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2010 0 0 0 3752 12 0 0 25 0 1 0 20652350 17629184 1980 4294967295 134512640 134702520 3221223712 3221021548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1980 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 449.12
Current children cumulated vsize (Kb) 19344

[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2010 0 0 0 4752 12 0 0 25 0 1 0 20652350 17629184 1980 4294967295 134512640 134702520 3221223712 3220763308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1980 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 459.12
Current children cumulated vsize (Kb) 19344

[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2010 0 0 0 5753 12 0 0 25 0 1 0 20652350 17629184 1980 4294967295 134512640 134702520 3221223712 3220140928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1980 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 469.13
Current children cumulated vsize (Kb) 19344

[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2012 0 0 0 6742 15 0 0 25 0 1 0 20652350 17629184 1982 4294967295 134512640 134702520 3221223712 3221057548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1982 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 479.05
Current children cumulated vsize (Kb) 19344

[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2012 0 0 0 7743 15 0 0 25 0 1 0 20652350 17629184 1982 4294967295 134512640 134702520 3221223712 3220832428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1982 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 489.06
Current children cumulated vsize (Kb) 19344

[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2012 0 0 0 8743 15 0 0 25 0 1 0 20652350 17629184 1982 4294967295 134512640 134702520 3221223712 3220308908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4304 1982 413 48 0 4256 0
[pid=6298] vsize: 17216
Current children cumulated CPU time (s) 499.06
Current children cumulated vsize (Kb) 19344

[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2016 0 0 0 9733 18 0 0 25 0 1 0 20652350 17678336 1986 4294967295 134512640 134702520 3221223712 3221092908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1986 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 508.99
Current children cumulated vsize (Kb) 19392

[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2016 0 0 0 10733 18 0 0 25 0 1 0 20652350 17678336 1986 4294967295 134512640 134702520 3221223712 3220877708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1986 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 518.99
Current children cumulated vsize (Kb) 19392

[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2016 0 0 0 11734 18 0 0 25 0 1 0 20652350 17678336 1986 4294967295 134512640 134702520 3221223712 3220432608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1986 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 529
Current children cumulated vsize (Kb) 19392

[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2023 0 0 0 12723 22 0 0 25 0 1 0 20652350 17678336 1993 4294967295 134512640 134702520 3221223712 3221127968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1993 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 538.93
Current children cumulated vsize (Kb) 19392

[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2023 0 0 0 13723 22 0 0 25 0 1 0 20652350 17678336 1993 4294967295 134512640 134702520 3221223712 3220917088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1993 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 548.93
Current children cumulated vsize (Kb) 19392

[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2023 0 0 0 14723 22 0 0 25 0 1 0 20652350 17678336 1993 4294967295 134512640 134702520 3221223712 3220535648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1993 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 558.93
Current children cumulated vsize (Kb) 19392

[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2026 0 0 0 15712 26 0 0 25 0 1 0 20652350 17678336 1996 4294967295 134512640 134702520 3221223712 3221163308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 1996 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 568.86
Current children cumulated vsize (Kb) 19392

[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2026 0 0 0 16712 26 0 0 25 0 1 0 20652350 17678336 1996 4294967295 134512640 134702520 3221223712 3220959328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 1996 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 578.86
Current children cumulated vsize (Kb) 19392

[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2026 0 0 0 17712 26 0 0 25 0 1 0 20652350 17678336 1996 4294967295 134512640 134702520 3221223712 3220638528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 1996 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 588.86
Current children cumulated vsize (Kb) 19392

[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2027 0 0 0 18699 31 0 0 25 0 1 0 20652350 17678336 1997 4294967295 134512640 134702520 3221223712 3221203008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1997 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 598.78
Current children cumulated vsize (Kb) 19392

[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2027 0 0 0 19699 31 0 0 25 0 1 0 20652350 17678336 1997 4294967295 134512640 134702520 3221223712 3221001408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1997 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 608.78
Current children cumulated vsize (Kb) 19392

[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2027 0 0 0 20700 31 0 0 25 0 1 0 20652350 17678336 1997 4294967295 134512640 134702520 3221223712 3220722688 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1997 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 618.79
Current children cumulated vsize (Kb) 19392

[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2027 0 0 0 21700 31 0 0 25 0 1 0 20652350 17678336 1997 4294967295 134512640 134702520 3221223712 3219986048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1997 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 628.79
Current children cumulated vsize (Kb) 19392

[startup+640.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2028 0 0 0 22687 35 0 0 25 0 1 0 20652350 17678336 1998 4294967295 134512640 134702520 3221223712 3221040608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 1998 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 638.7
Current children cumulated vsize (Kb) 19392

[startup+650.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2028 0 0 0 23687 36 0 0 25 0 1 0 20652350 17678336 1998 4294967295 134512640 134702520 3221223712 3220804448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 1998 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 648.71
Current children cumulated vsize (Kb) 19392

[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2028 0 0 0 24687 36 0 0 25 0 1 0 20652350 17678336 1998 4294967295 134512640 134702520 3221223712 3220256908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 1998 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 658.71
Current children cumulated vsize (Kb) 19392

[startup+670.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2029 0 0 0 25673 40 0 0 25 0 1 0 20652350 17678336 1999 4294967295 134512640 134702520 3221223712 3221082192 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1999 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 668.61
Current children cumulated vsize (Kb) 19392

[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2029 0 0 0 26673 40 0 0 25 0 1 0 20652350 17678336 1999 4294967295 134512640 134702520 3221223712 3220865568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1999 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 678.61
Current children cumulated vsize (Kb) 19392

[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2029 0 0 0 27674 40 0 0 25 0 1 0 20652350 17678336 1999 4294967295 134512640 134702520 3221223712 3220397728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4316 1999 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 688.62
Current children cumulated vsize (Kb) 19392

[startup+700.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2068 0 0 0 28662 44 0 0 25 0 1 0 20652350 17678336 2038 4294967295 134512640 134702520 3221223712 3221120268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 2038 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 698.54
Current children cumulated vsize (Kb) 19392

[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2068 0 0 0 29662 44 0 0 25 0 1 0 20652350 17678336 2038 4294967295 134512640 134702520 3221223712 3220910828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 2038 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 708.54
Current children cumulated vsize (Kb) 19392

[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2068 0 0 0 30662 44 0 0 25 0 1 0 20652350 17678336 2038 4294967295 134512640 134702520 3221223712 3220525728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4316 2038 413 48 0 4268 0
[pid=6298] vsize: 17264
Current children cumulated CPU time (s) 718.54
Current children cumulated vsize (Kb) 19392

[startup+730.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2150 0 0 0 31649 50 0 0 25 0 1 0 20652350 17727488 2120 4294967295 134512640 134702520 3221223712 3221164108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4328 2120 413 48 0 4280 0
[pid=6298] vsize: 17312
Current children cumulated CPU time (s) 728.47
Current children cumulated vsize (Kb) 19440

[startup+740.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2150 0 0 0 32649 50 0 0 25 0 1 0 20652350 17727488 2120 4294967295 134512640 134702520 3221223712 3220960108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4328 2120 413 48 0 4280 0
[pid=6298] vsize: 17312
Current children cumulated CPU time (s) 738.47
Current children cumulated vsize (Kb) 19440

[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2150 0 0 0 33649 50 0 0 25 0 1 0 20652350 17727488 2120 4294967295 134512640 134702520 3221223712 3220640128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4328 2120 413 48 0 4280 0
[pid=6298] vsize: 17312
Current children cumulated CPU time (s) 748.47
Current children cumulated vsize (Kb) 19440

[startup+760.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2213 0 0 0 34637 54 0 0 25 0 1 0 20652350 17780736 2183 4294967295 134512640 134702520 3221223712 3221209248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4341 2183 413 48 0 4293 0
[pid=6298] vsize: 17364
Current children cumulated CPU time (s) 758.39
Current children cumulated vsize (Kb) 19492

[startup+770.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2213 0 0 0 35637 54 0 0 25 0 1 0 20652350 17780736 2183 4294967295 134512640 134702520 3221223712 3221010668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4341 2183 413 48 0 4293 0
[pid=6298] vsize: 17364
Current children cumulated CPU time (s) 768.39
Current children cumulated vsize (Kb) 19492

[startup+780.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2213 0 0 0 36637 54 0 0 25 0 1 0 20652350 17780736 2183 4294967295 134512640 134702520 3221223712 3220745708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4341 2183 413 48 0 4293 0
[pid=6298] vsize: 17364
Current children cumulated CPU time (s) 778.39
Current children cumulated vsize (Kb) 19492

[startup+790.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2213 0 0 0 37637 54 0 0 25 0 1 0 20652350 17780736 2183 4294967295 134512640 134702520 3221223712 3220099648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4341 2183 413 48 0 4293 0
[pid=6298] vsize: 17364
Current children cumulated CPU time (s) 788.39
Current children cumulated vsize (Kb) 19492

[startup+800.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2281 0 0 0 38621 60 0 0 25 0 1 0 20652350 18743296 2251 4294967295 134512640 134702520 3221223712 3221060128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4576 2251 413 48 0 4528 0
[pid=6298] vsize: 18304
Current children cumulated CPU time (s) 798.29
Current children cumulated vsize (Kb) 20432

[startup+810.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2281 0 0 0 39622 60 0 0 25 0 1 0 20652350 18743296 2251 4294967295 134512640 134702520 3221223712 3220837248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4576 2251 413 48 0 4528 0
[pid=6298] vsize: 18304
Current children cumulated CPU time (s) 808.3
Current children cumulated vsize (Kb) 20432

[startup+820.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2281 0 0 0 40622 60 0 0 25 0 1 0 20652350 18743296 2251 4294967295 134512640 134702520 3221223712 3220318848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4576 2251 413 48 0 4528 0
[pid=6298] vsize: 18304
Current children cumulated CPU time (s) 818.3
Current children cumulated vsize (Kb) 20432

[startup+830.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2282 0 0 0 41608 64 0 0 25 0 1 0 20652350 18792448 2252 4294967295 134512640 134702520 3221223712 3221099808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2252 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 828.2
Current children cumulated vsize (Kb) 20480

[startup+840.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2282 0 0 0 42608 64 0 0 25 0 1 0 20652350 18792448 2252 4294967295 134512640 134702520 3221223712 3220887808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2252 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 838.2
Current children cumulated vsize (Kb) 20480

[startup+850.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2282 0 0 0 43608 64 0 0 25 0 1 0 20652350 18792448 2252 4294967295 134512640 134702520 3221223712 3220466668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2252 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 848.2
Current children cumulated vsize (Kb) 20480

[startup+860.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2288 0 0 0 44592 69 0 0 25 0 1 0 20652350 18792448 2258 4294967295 134512640 134702520 3221223712 3221146368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2258 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 858.09
Current children cumulated vsize (Kb) 20480

[startup+870.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2288 0 0 0 45592 69 0 0 25 0 1 0 20652350 18792448 2258 4294967295 134512640 134702520 3221223712 3220940288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2258 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 868.09
Current children cumulated vsize (Kb) 20480

[startup+880.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2288 0 0 0 46593 69 0 0 25 0 1 0 20652350 18792448 2258 4294967295 134512640 134702520 3221223712 3220595648 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2258 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 878.1
Current children cumulated vsize (Kb) 20480

[startup+890.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2294 0 0 0 47578 74 0 0 25 0 1 0 20652350 18792448 2264 4294967295 134512640 134702520 3221223712 3221194528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2264 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 888
Current children cumulated vsize (Kb) 20480

[startup+900.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2294 0 0 0 48579 74 0 0 25 0 1 0 20652350 18792448 2264 4294967295 134512640 134702520 3221223712 3220994188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2264 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 898.01
Current children cumulated vsize (Kb) 20480

[startup+910.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2294 0 0 0 49579 74 0 0 25 0 1 0 20652350 18792448 2264 4294967295 134512640 134702520 3221223712 3220712608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2264 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 908.01
Current children cumulated vsize (Kb) 20480

[startup+920.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2294 0 0 0 50579 74 0 0 25 0 1 0 20652350 18792448 2264 4294967295 134512640 134702520 3221223712 3219951488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2264 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 918.01
Current children cumulated vsize (Kb) 20480

[startup+930.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2332 0 0 0 51563 79 0 0 25 0 1 0 20652350 18792448 2302 4294967295 134512640 134702520 3221223712 3221049088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2302 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 927.9
Current children cumulated vsize (Kb) 20480

[startup+940.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2332 0 0 0 52563 79 0 0 25 0 1 0 20652350 18792448 2302 4294967295 134512640 134702520 3221223712 3220820268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2302 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 937.9
Current children cumulated vsize (Kb) 20480

[startup+950.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2332 0 0 0 53563 79 0 0 25 0 1 0 20652350 18792448 2302 4294967295 134512640 134702520 3221223712 3220291468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4588 2302 413 48 0 4540 0
[pid=6298] vsize: 18352
Current children cumulated CPU time (s) 947.9
Current children cumulated vsize (Kb) 20480

[startup+960.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2406 0 0 0 54548 84 0 0 25 0 1 0 20652350 18882560 2376 4294967295 134512640 134702520 3221223712 3221102848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4610 2376 413 48 0 4562 0
[pid=6298] vsize: 18440
Current children cumulated CPU time (s) 957.8
Current children cumulated vsize (Kb) 20568

[startup+970.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2406 0 0 0 55548 84 0 0 25 0 1 0 20652350 18882560 2376 4294967295 134512640 134702520 3221223712 3220891468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4610 2376 413 48 0 4562 0
[pid=6298] vsize: 18440
Current children cumulated CPU time (s) 967.8
Current children cumulated vsize (Kb) 20568

[startup+980.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2406 0 0 0 56549 84 0 0 25 0 1 0 20652350 18882560 2376 4294967295 134512640 134702520 3221223712 3220476128 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4610 2376 413 48 0 4562 0
[pid=6298] vsize: 18440
Current children cumulated CPU time (s) 977.81
Current children cumulated vsize (Kb) 20568

[startup+990.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2467 0 0 0 57534 90 0 0 25 0 1 0 20652350 18935808 2437 4294967295 134512640 134702520 3221223712 3221156928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2437 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 987.72
Current children cumulated vsize (Kb) 20620

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2467 0 0 0 58534 90 0 0 25 0 1 0 20652350 18935808 2437 4294967295 134512640 134702520 3221223712 3220949868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2437 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 997.72
Current children cumulated vsize (Kb) 20620

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2467 0 0 0 59535 90 0 0 25 0 1 0 20652350 18935808 2437 4294967295 134512640 134702520 3221223712 3220612428 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2437 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1007.73
Current children cumulated vsize (Kb) 20620

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 60519 94 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3221195168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1017.61
Current children cumulated vsize (Kb) 20620

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 61519 94 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3220994828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1027.61
Current children cumulated vsize (Kb) 20620

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 62519 94 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3220714028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1037.61
Current children cumulated vsize (Kb) 20620

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 63520 94 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3219960288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1047.62
Current children cumulated vsize (Kb) 20620

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 64503 99 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3221038848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1057.5
Current children cumulated vsize (Kb) 20620

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 65504 99 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3220797088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1067.51
Current children cumulated vsize (Kb) 20620

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2468 0 0 0 66504 99 0 0 25 0 1 0 20652350 18935808 2438 4294967295 134512640 134702520 3221223712 3220230028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2438 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1077.51
Current children cumulated vsize (Kb) 20620

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2471 0 0 0 67489 104 0 0 25 0 1 0 20652350 18935808 2441 4294967295 134512640 134702520 3221223712 3221079308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2441 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1087.41
Current children cumulated vsize (Kb) 20620

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2471 0 0 0 68489 104 0 0 25 0 1 0 20652350 18935808 2441 4294967295 134512640 134702520 3221223712 3220864768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2441 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1097.41
Current children cumulated vsize (Kb) 20620

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2471 0 0 0 69489 104 0 0 25 0 1 0 20652350 18935808 2441 4294967295 134512640 134702520 3221223712 3220401888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2441 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1107.41
Current children cumulated vsize (Kb) 20620

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2471 0 0 0 70473 109 0 0 25 0 1 0 20652350 18935808 2441 4294967295 134512640 134702520 3221223712 3221123628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2441 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1117.3
Current children cumulated vsize (Kb) 20620

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2471 0 0 0 71473 109 0 0 25 0 1 0 20652350 18935808 2441 4294967295 134512640 134702520 3221223712 3220914508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2441 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1127.3
Current children cumulated vsize (Kb) 20620

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2471 0 0 0 72473 109 0 0 25 0 1 0 20652350 18935808 2441 4294967295 134512640 134702520 3221223712 3220534828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2441 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1137.3
Current children cumulated vsize (Kb) 20620

[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 73459 113 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3221166348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1147.2
Current children cumulated vsize (Kb) 20620

[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 74460 113 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3220960448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1157.21
Current children cumulated vsize (Kb) 20620

[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 75460 113 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3220636288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1167.21
Current children cumulated vsize (Kb) 20620

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 76441 120 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3221203648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1177.09
Current children cumulated vsize (Kb) 20620

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 77441 120 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3221004288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1187.09
Current children cumulated vsize (Kb) 20620

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 78441 120 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3220733088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1197.09
Current children cumulated vsize (Kb) 20620

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 79441 120 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3220053408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1207.09
Current children cumulated vsize (Kb) 20620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6298
Raw data (/proc/6293/stat): 6293 (vallstSAT2005PB) S 6292 6293 4060 0 -1 0 378 3073 0 0 2 1 41086 59 19 0 1 0 20611118 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6293/statm): 532 248 485 147 0 385 0
[pid=6293] vsize: 2128
Raw data (/proc/6298/stat): 6298 (vallst) R 6293 6293 4060 0 -1 0 2473 0 0 0 79441 120 0 0 25 0 1 0 20652350 18935808 2443 4294967295 134512640 134702520 3221223712 3220053408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6298/statm): 4623 2443 413 48 0 4575 0
[pid=6298] vsize: 18492
Current children cumulated CPU time (s) 1207.09
Current children cumulated vsize (Kb) 20620

Sending SIGTERM to -6293
Sleeping 2 seconds
New process pid=6300
New process pid=6301
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/6254/stat
open syscall for file /proc/6254/status
open syscall for file /proc/6254/cmdline
open syscall for file /proc/6254/environ
open syscall for file /proc/6292/stat
open syscall for file /proc/6292/status
open syscall for file /proc/6292/cmdline
open syscall for file /proc/6292/environ
open syscall for file /proc/6293/stat
open syscall for file /proc/6293/status
open syscall for file /proc/6293/cmdline
open syscall for file /proc/6293/environ
open syscall for file /proc/6298/stat
open syscall for file /proc/6298/status
open syscall for file /proc/6298/cmdline
open syscall for file /proc/6298/environ
open syscall for file /proc/6300/stat
open syscall for file /proc/6300/status
open syscall for file /proc/6300/cmdline
open syscall for file /proc/6300/environ
open syscall for file /proc/6301/stat
open syscall for file /proc/6301/status
open syscall for file /proc/6301/cmdline
open syscall for file /proc/6301/environ
One traced child (pid=6300) exited with status: 0
One traced child (pid=6301) exited with status: 0
New process pid=6302
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=6302) exited with status: 0
New process pid=6303
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=6303) exited with status: 0
One traced child (pid=6293) ended because it received signal 15 (SIGTERM)
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=6298) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1210.77
CPU time (s): 796.327
CPU user time (s): 795.107
CPU system time (s): 1.21981
CPU usage (%): 65.7701
Max. virtual memory (cumulated for all children) (Kb): 22988

Verifier Data

ERROR: no interpretation found !