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

Nameweb/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
MD5SUM6bfe4c2dce1e5dbe61cc34b52b1b387f
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark50.7543
Number of variables87751
Total number of constraints254772
Number of constraints which are clauses247060
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7712
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 3563

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-19 01:44:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7336 boxname=wulflinc28 idbench=304 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6bfe4c2dce1e5dbe61cc34b52b1b387f  /oldhome/oroussel/tmp/wulflinc28/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc28/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb 0
IDLAUNCH: 7336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        886384 kB
Buffers:         34760 kB
Cached:          84768 kB
SwapCached:        696 kB
Active:          80360 kB
Inactive:        41764 kB
HighTotal:      131008 kB
HighFree:        42588 kB
LowTotal:       903652 kB
LowFree:        843796 kB
SwapTotal:     2097640 kB
SwapFree:      2096372 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            20500 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 02:04:50 (client local time) WITH STATUS 0 IN 634.226 SECONDS
stats: 7336 7 634.226 0

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 2201  (#equs: 1)
#decisions: 188642;  #end-nodes: 16407;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 123 (103)
#axs: 254773, #non-axs: 5711
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)
seed: 0
Nr of vars set: 5425  (#equs: 2)
Time taken: 9 min, 34 sec

2:

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/7293/stat): 7293 (vallstSAT2005PB) R 7292 7293 20115 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846043494 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7293/statm): 174 3 169 147 0 27 0
[pid=7293] 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=7294
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=7294) exited with status: 0
New process pid=7295
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=7295) exited with status: 0
New process pid=7296
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/wulflinc28/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.82 1.02 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7492 0 0 0 934 37 0 0 25 0 1 0 1846043504 35483648 6922 4294967295 134512640 134702520 3221223936 3221145052 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 8663 6922 413 48 0 8615 0
[pid=7296] vsize: 34652
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (Kb) 36780

[startup+20.0045 s]
Raw data (loadavg): 0.84 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 1933 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3221125052 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 38392

[startup+30.0062 s]
Raw data (loadavg): 0.87 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 2933 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3220744412 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 38392

[startup+40.0069 s]
Raw data (loadavg): 0.89 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 3933 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3220326512 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 38392

[startup+50.0076 s]
Raw data (loadavg): 0.90 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 4934 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3219853692 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (Kb) 38392

[startup+60.0082 s]
Raw data (loadavg): 0.92 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 5934 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3219278332 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 38392

[startup+70.0079 s]
Raw data (loadavg): 0.93 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8058 0 0 0 6934 38 0 0 25 0 1 0 1846043504 37801984 7488 4294967295 134512640 134702520 3221223936 3218413372 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9229 7488 413 48 0 9181 0
[pid=7296] vsize: 36916
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 39044

[startup+80.0096 s]
Raw data (loadavg): 0.94 1.01 1.01 1/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 8692 0 0 0 7925 42 0 0 25 0 1 0 1846043504 82526208 8108 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7296/statm): 20148 8108 413 48 0 20100 0
[pid=7296] vsize: 80592
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 82720

[startup+90.0103 s]
Raw data (loadavg): 0.95 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 8765 0 0 0 8880 58 0 0 25 0 1 0 1846043504 82661376 8181 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20181 8181 413 48 0 20133 0
[pid=7296] vsize: 80724
Current children cumulated CPU time (s) 89.41
Current children cumulated vsize (Kb) 82852

[startup+100.01 s]
Raw data (loadavg): 0.96 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8799 0 0 0 9840 71 0 0 25 0 1 0 1846043504 82661376 8215 4294967295 134512640 134702520 3221223936 3221223216 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20181 8215 413 48 0 20133 0
[pid=7296] vsize: 80724
Current children cumulated CPU time (s) 99.14
Current children cumulated vsize (Kb) 82852

[startup+110.012 s]
Raw data (loadavg): 0.96 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8823 0 0 0 10787 89 0 0 25 0 1 0 1846043504 82796544 8239 4294967295 134512640 134702520 3221223936 3221223216 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8239 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 108.79
Current children cumulated vsize (Kb) 82984

[startup+120.012 s]
Raw data (loadavg): 0.97 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8833 0 0 0 11744 104 0 0 25 0 1 0 1846043504 82796544 8249 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8249 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 118.51
Current children cumulated vsize (Kb) 82984

[startup+130.013 s]
Raw data (loadavg): 0.97 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8845 0 0 0 12712 116 0 0 25 0 1 0 1846043504 82796544 8261 4294967295 134512640 134702520 3221223936 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8261 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 128.31
Current children cumulated vsize (Kb) 82984

[startup+140.015 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 13694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3220595692 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 138.18
Current children cumulated vsize (Kb) 82984

[startup+150.015 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 14694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3220913772 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 148.18
Current children cumulated vsize (Kb) 82984

[startup+160.016 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 15694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3221163852 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 158.18
Current children cumulated vsize (Kb) 82984

[startup+170.017 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 16694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3220179052 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 168.18
Current children cumulated vsize (Kb) 82984

[startup+180.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 17695 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3221152032 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 178.19
Current children cumulated vsize (Kb) 82984

[startup+190.019 s]
Raw data (loadavg): 0.99 1.00 1.00 1/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 8861 0 0 0 18646 137 0 0 25 0 1 0 1846043504 84123648 8273 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8273 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 187.86
Current children cumulated vsize (Kb) 84280

[startup+200.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8865 0 0 0 19598 154 0 0 25 0 1 0 1846043504 84123648 8277 4294967295 134512640 134702520 3221223936 3221223216 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8277 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 197.55
Current children cumulated vsize (Kb) 84280

[startup+210.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8876 0 0 0 20557 167 0 0 19 0 1 0 1846043504 84123648 8288 4294967295 134512640 134702520 3221223936 3221223216 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8288 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 207.27
Current children cumulated vsize (Kb) 84280

[startup+220.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 21518 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3221166092 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 217.02
Current children cumulated vsize (Kb) 84280

[startup+230.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 22518 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3220827692 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 227.02
Current children cumulated vsize (Kb) 84280

[startup+240.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 23519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3220465312 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 237.03
Current children cumulated vsize (Kb) 84280

[startup+250.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 24519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3220068332 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 247.03
Current children cumulated vsize (Kb) 84280

[startup+260.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 25519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3219622412 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 257.03
Current children cumulated vsize (Kb) 84280

[startup+270.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 26519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3219093132 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 267.03
Current children cumulated vsize (Kb) 84280

[startup+280.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 27520 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3218398732 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 277.04
Current children cumulated vsize (Kb) 84280

[startup+290.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 28520 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3217051696 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 287.04
Current children cumulated vsize (Kb) 84280

[startup+300.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 29520 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3220976192 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 297.04
Current children cumulated vsize (Kb) 84892

[startup+310.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 30520 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3220504332 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 307.04
Current children cumulated vsize (Kb) 84892

[startup+320.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 31520 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3219931392 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 317.04
Current children cumulated vsize (Kb) 84892

[startup+330.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 32521 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3219103372 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 327.05
Current children cumulated vsize (Kb) 84892

[startup+340.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 33521 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3221134572 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 337.05
Current children cumulated vsize (Kb) 84892

[startup+350.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9053 0 0 0 34499 188 0 0 25 0 1 0 1846043504 84750336 8452 4294967295 134512640 134702520 3221223936 3221223216 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 20691 8452 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 346.9
Current children cumulated vsize (Kb) 84892

[startup+360.035 s]
Raw data (loadavg): 1.07 1.02 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 9058 0 0 0 35456 204 0 0 18 0 1 0 1846043504 84750336 8457 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8457 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 356.63
Current children cumulated vsize (Kb) 84892

[startup+370.036 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9071 0 0 0 36407 221 0 0 25 0 1 0 1846043504 84750336 8470 4294967295 134512640 134702520 3221223936 3221223216 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 20691 8470 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 366.31
Current children cumulated vsize (Kb) 84892

[startup+380.037 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 37398 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3220347852 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 376.25
Current children cumulated vsize (Kb) 84892

[startup+390.038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 38398 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3220657932 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 386.25
Current children cumulated vsize (Kb) 84892

[startup+400.039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 39399 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3221198752 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 396.26
Current children cumulated vsize (Kb) 84892

[startup+410.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 40399 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3221129772 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 406.26
Current children cumulated vsize (Kb) 84892

[startup+420.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9094 0 0 0 41387 228 0 0 25 0 1 0 1846043504 84885504 8480 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8480 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 416.18
Current children cumulated vsize (Kb) 85024

[startup+430.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9113 0 0 0 42346 242 0 0 25 0 1 0 1846043504 84885504 8499 4294967295 134512640 134702520 3221223936 3221223216 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8499 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 425.91
Current children cumulated vsize (Kb) 85024

[startup+440.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9133 0 0 0 43299 256 0 0 25 0 1 0 1846043504 84885504 8519 4294967295 134512640 134702520 3221223936 3221223216 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8519 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 435.58
Current children cumulated vsize (Kb) 85024

[startup+450.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9135 0 0 0 44295 257 0 0 25 0 1 0 1846043504 84885504 8521 4294967295 134512640 134702520 3221223936 3221069132 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8521 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 445.55
Current children cumulated vsize (Kb) 85024

[startup+460.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9135 0 0 0 45296 257 0 0 25 0 1 0 1846043504 84885504 8521 4294967295 134512640 134702520 3221223936 3220940832 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8521 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 455.56
Current children cumulated vsize (Kb) 85024

[startup+470.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9135 0 0 0 46296 257 0 0 25 0 1 0 1846043504 84885504 8521 4294967295 134512640 134702520 3221223936 3220917772 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8521 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 465.56
Current children cumulated vsize (Kb) 85024

[startup+480.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9157 0 0 0 47274 265 0 0 25 0 1 0 1846043504 84885504 8530 4294967295 134512640 134702520 3221223936 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8530 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 475.42
Current children cumulated vsize (Kb) 85024

[startup+490.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9177 0 0 0 48231 280 0 0 25 0 1 0 1846043504 84885504 8550 4294967295 134512640 134702520 3221223936 3221223056 134572603 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8550 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 485.14
Current children cumulated vsize (Kb) 85024

[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9194 0 0 0 49195 294 0 0 25 0 1 0 1846043504 84885504 8567 4294967295 134512640 134702520 3221223936 3220738432 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8567 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 85024

[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9194 0 0 0 50196 294 0 0 25 0 1 0 1846043504 84885504 8567 4294967295 134512640 134702520 3221223936 3221199552 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8567 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 504.93
Current children cumulated vsize (Kb) 85024

[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9194 0 0 0 51196 294 0 0 25 0 1 0 1846043504 84885504 8567 4294967295 134512640 134702520 3221223936 3220970252 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8567 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 514.93
Current children cumulated vsize (Kb) 85024

[startup+530.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9216 0 0 0 52173 301 0 0 25 0 1 0 1846043504 84885504 8576 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8576 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 524.77
Current children cumulated vsize (Kb) 85024

[startup+540.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9235 0 0 0 53141 313 0 0 25 0 1 0 1846043504 84885504 8595 4294967295 134512640 134702520 3221223936 3221223216 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8595 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 534.57
Current children cumulated vsize (Kb) 85024

[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 9258 0 0 0 54105 326 0 0 25 0 1 0 1846043504 84885504 8618 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8618 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 544.34
Current children cumulated vsize (Kb) 85024

[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9261 0 0 0 55096 329 0 0 25 0 1 0 1846043504 84885504 8621 4294967295 134512640 134702520 3221223936 3221218572 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8621 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 554.28
Current children cumulated vsize (Kb) 85024

[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9261 0 0 0 56097 329 0 0 25 0 1 0 1846043504 84885504 8621 4294967295 134512640 134702520 3221223936 3221146412 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8621 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 564.29
Current children cumulated vsize (Kb) 85024

[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9261 0 0 0 57097 329 0 0 25 0 1 0 1846043504 84885504 8621 4294967295 134512640 134702520 3221223936 3220472512 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8621 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 574.29
Current children cumulated vsize (Kb) 85024
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=7296) exited with status: 2
New process pid=7297
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=7297) exited with status: 0
New process pid=7298
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+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6148 0 0 0 672 33 0 0 25 0 1 0 1846101788 33103872 6119 4294967295 134512640 134702520 3221223712 3221146116 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8082 6119 413 48 0 8034 0
[pid=7298] vsize: 32328
Current children cumulated CPU time (s) 584.06
Current children cumulated vsize (Kb) 34456

[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6170 0 0 0 1672 33 0 0 25 0 1 0 1846101788 33193984 6141 4294967295 134512640 134702520 3221223712 3220721308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8104 6141 413 48 0 8056 0
[pid=7298] vsize: 32416
Current children cumulated CPU time (s) 594.06
Current children cumulated vsize (Kb) 34544

[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6290 0 0 0 2672 33 0 0 25 0 1 0 1846101788 33685504 6261 4294967295 134512640 134702520 3221223712 3220228668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8224 6261 413 48 0 8176 0
[pid=7298] vsize: 32896
Current children cumulated CPU time (s) 604.06
Current children cumulated vsize (Kb) 35024

[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6437 0 0 0 3671 34 0 0 25 0 1 0 1846101788 34287616 6408 4294967295 134512640 134702520 3221223712 3219627388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8371 6408 413 48 0 8323 0
[pid=7298] vsize: 33484
Current children cumulated CPU time (s) 614.06
Current children cumulated vsize (Kb) 35612

[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6673 0 0 0 4669 34 0 0 25 0 1 0 1846101788 35254272 6644 4294967295 134512640 134702520 3221223712 3218658268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8607 6644 413 48 0 8559 0
[pid=7298] vsize: 34428
Current children cumulated CPU time (s) 624.04
Current children cumulated vsize (Kb) 36556

[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 5668 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3221050908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 634.05
Current children cumulated vsize (Kb) 38784

[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 6669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3220550288 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 644.06
Current children cumulated vsize (Kb) 38784

[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 7669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3219938748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 654.06
Current children cumulated vsize (Kb) 38784

[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 8669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3218909308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 664.06
Current children cumulated vsize (Kb) 38784

[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 9669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3221038908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 674.06
Current children cumulated vsize (Kb) 38784

[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7582 0 0 0 10652 43 0 0 25 0 1 0 1846101788 81039360 7540 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19785 7540 413 48 0 19737 0
[pid=7298] vsize: 79140
Current children cumulated CPU time (s) 683.96
Current children cumulated vsize (Kb) 81268

[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7626 0 0 0 11602 60 0 0 25 0 1 0 1846101788 81174528 7584 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7584 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 693.63
Current children cumulated vsize (Kb) 81400

[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7646 0 0 0 12558 78 0 0 25 0 1 0 1846101788 81174528 7604 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7604 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 703.37
Current children cumulated vsize (Kb) 81400

[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 13532 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3220977868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 713.21
Current children cumulated vsize (Kb) 81400

[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 14533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3220400588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 723.22
Current children cumulated vsize (Kb) 81400

[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 15533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3219579948 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 733.22
Current children cumulated vsize (Kb) 81400

[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 16533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3221007488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 743.22
Current children cumulated vsize (Kb) 81400

[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 17533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3221027808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 753.22
Current children cumulated vsize (Kb) 81400

[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7671 0 0 0 18518 94 0 0 25 0 1 0 1846101788 81174528 7616 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7616 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 763.13
Current children cumulated vsize (Kb) 81400

[startup+780.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7684 0 0 0 19473 110 0 0 25 0 1 0 1846101788 81174528 7629 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7629 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 772.84
Current children cumulated vsize (Kb) 81400

[startup+790.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7700 0 0 0 20433 124 0 0 25 0 1 0 1846101788 81309696 7645 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7645 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 782.58
Current children cumulated vsize (Kb) 81532

[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7709 0 0 0 21413 130 0 0 25 0 1 0 1846101788 81309696 7654 4294967295 134512640 134702520 3221223712 3220247788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7654 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 792.44
Current children cumulated vsize (Kb) 81532

[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7709 0 0 0 22414 130 0 0 25 0 1 0 1846101788 81309696 7654 4294967295 134512640 134702520 3221223712 3221079328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7654 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (Kb) 81532

[startup+820.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7723 0 0 0 23406 133 0 0 25 0 1 0 1846101788 81309696 7655 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7655 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 812.4
Current children cumulated vsize (Kb) 81532

[startup+830.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7735 0 0 0 24372 145 0 0 25 0 1 0 1846101788 81309696 7667 4294967295 134512640 134702520 3221223712 3221222992 134552799 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7667 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 822.18
Current children cumulated vsize (Kb) 81532

[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7757 0 0 0 25322 161 0 0 25 0 1 0 1846101788 81309696 7689 4294967295 134512640 134702520 3221223712 3221222976 134553196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7689 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 831.84
Current children cumulated vsize (Kb) 81532

[startup+850.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7773 0 0 0 26271 179 0 0 25 0 1 0 1846101788 81309696 7705 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7705 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 841.51
Current children cumulated vsize (Kb) 81532

[startup+860.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 27256 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3221044288 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 851.41
Current children cumulated vsize (Kb) 81532

[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 28256 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3220722988 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 861.41
Current children cumulated vsize (Kb) 81532

[startup+880.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 29257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3220217868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 871.42
Current children cumulated vsize (Kb) 81532

[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 30257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3219560288 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 881.42
Current children cumulated vsize (Kb) 81532

[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 31257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3218264592 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 891.42
Current children cumulated vsize (Kb) 81532

[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 32257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3221107328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 901.42
Current children cumulated vsize (Kb) 81532

[startup+920.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7791 0 0 0 33255 185 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 911.41
Current children cumulated vsize (Kb) 81532

[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7795 0 0 0 34222 196 0 0 25 0 1 0 1846101788 81309696 7714 4294967295 134512640 134702520 3221223712 3221222832 134573399 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 19851 7714 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 921.19
Current children cumulated vsize (Kb) 81532

[startup+940.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7808 0 0 0 35188 209 0 0 25 0 1 0 1846101788 81309696 7727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7298/statm): 19851 7727 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 930.98
Current children cumulated vsize (Kb) 81532

[startup+950.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7823 0 0 0 36156 219 0 0 25 0 1 0 1846101788 81309696 7742 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7742 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 940.76
Current children cumulated vsize (Kb) 81532

[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 37148 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220958828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 950.71
Current children cumulated vsize (Kb) 81532

[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 38149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220644108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 960.72
Current children cumulated vsize (Kb) 81532

[startup+980.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 39149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220229888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 970.72
Current children cumulated vsize (Kb) 81532

[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 40149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3219603628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 980.72
Current children cumulated vsize (Kb) 81532

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 41149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3218533708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 990.72
Current children cumulated vsize (Kb) 81532

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 42150 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3221071808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 1000.73
Current children cumulated vsize (Kb) 81532

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 43150 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220897228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 1010.73
Current children cumulated vsize (Kb) 81532

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7849 0 0 0 44135 227 0 0 25 0 1 0 1846101788 81444864 7755 4294967295 134512640 134702520 3221223712 3221222992 134553264 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7755 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1020.63
Current children cumulated vsize (Kb) 81664

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7874 0 0 0 45096 240 0 0 25 0 1 0 1846101788 81444864 7780 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7780 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1030.37
Current children cumulated vsize (Kb) 81664

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7901 0 0 0 46062 252 0 0 25 0 1 0 1846101788 81444864 7807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7807 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1040.15
Current children cumulated vsize (Kb) 81664

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 47043 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3221035148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1050.01
Current children cumulated vsize (Kb) 81664

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 48043 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3220650832 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1060.01
Current children cumulated vsize (Kb) 81664

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 49043 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3220225708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 81664

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 50044 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3219734668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1080.02
Current children cumulated vsize (Kb) 81664

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 51044 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3219110668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1090.02
Current children cumulated vsize (Kb) 81664

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 52044 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3218070988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1100.02
Current children cumulated vsize (Kb) 81664

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 53044 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220950988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1110.03
Current children cumulated vsize (Kb) 82108

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 54045 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220162028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1120.04
Current children cumulated vsize (Kb) 82108

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 55045 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220379648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1130.04
Current children cumulated vsize (Kb) 82108

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 56045 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220827628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1140.04
Current children cumulated vsize (Kb) 82108

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 8052 0 0 0 57012 269 0 0 25 0 1 0 1846101788 81899520 7945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7945 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1149.82
Current children cumulated vsize (Kb) 82108

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8075 0 0 0 57974 284 0 0 25 0 1 0 1846101788 81899520 7968 4294967295 134512640 134702520 3221223712 3221222832 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7968 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1159.59
Current children cumulated vsize (Kb) 82108

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 8102 0 0 0 58939 297 0 0 25 0 1 0 1846101788 82034688 7995 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 7995 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1169.37
Current children cumulated vsize (Kb) 82240

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 59913 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3221114348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1179.2
Current children cumulated vsize (Kb) 82240

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 60913 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3220752128 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1189.2
Current children cumulated vsize (Kb) 82240

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 61914 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3220338188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1199.21
Current children cumulated vsize (Kb) 82240

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 62914 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3219868288 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 82240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 62914 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3219868288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 82240

Sending SIGTERM to -7293
Sleeping 2 seconds
New process pid=7300
New process pid=7301
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/7256/stat
open syscall for file /proc/7256/status
open syscall for file /proc/7256/cmdline
open syscall for file /proc/7256/environ
open syscall for file /proc/7292/stat
open syscall for file /proc/7292/status
open syscall for file /proc/7292/cmdline
open syscall for file /proc/7292/environ
open syscall for file /proc/7293/stat
open syscall for file /proc/7293/status
open syscall for file /proc/7293/cmdline
open syscall for file /proc/7293/environ
open syscall for file /proc/7298/stat
open syscall for file /proc/7298/status
open syscall for file /proc/7298/cmdline
open syscall for file /proc/7298/environ
open syscall for file /proc/7300/stat
open syscall for file /proc/7300/status
open syscall for file /proc/7300/cmdline
open syscall for file /proc/7300/environ
open syscall for file /proc/7301/stat
open syscall for file /proc/7301/status
open syscall for file /proc/7301/cmdline
open syscall for file /proc/7301/environ
One traced child (pid=7300) exited with status: 0
One traced child (pid=7301) exited with status: 0
New process pid=7302
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=7302) exited with status: 0
New process pid=7303
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=7303) exited with status: 0
One traced child (pid=7293) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -7293
One traced child (pid=7298) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1222.13
CPU time (s): 634.226
CPU user time (s): 631.142
CPU system time (s): 3.08353
CPU usage (%): 51.8951
Max. virtual memory (cumulated for all children) (Kb): 85024

Verifier Data

ERROR: no interpretation found !