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-ooo.unbounded.all.ucl.opb
MD5SUMe8f0ca38acbe8c57203147fb9147be3a
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 3570

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-19 01:47:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7358 boxname=wulflinc10 idbench=326 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc10/normalized-ooo.unbounded.all.ucl.opb 0
IDLAUNCH: 7358
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        902944 kB
Buffers:         35788 kB
Cached:          68840 kB
SwapCached:        228 kB
Active:          75484 kB
Inactive:        32128 kB
HighTotal:      131008 kB
HighFree:        58324 kB
LowTotal:       903652 kB
LowFree:        844620 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18448 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:07:37 (client local time) WITH STATUS 0 IN 424.235 SECONDS
stats: 7358 7 424.235 0

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 882  (#equs: 6)
#decisions: 285605;  #end-nodes: 14973;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 169 (103)
#axs: 245073, #non-axs: 6433
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: 6525  (#equs: 12)
Time taken: 12 min, 58 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/2215/stat): 2215 (vallstSAT2005PB) R 2214 2215 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787858436 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2215/statm): 174 3 169 147 0 27 0
[pid=2215] 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=2216
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=2216) exited with status: 0
New process pid=2217
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=2217) exited with status: 0
New process pid=2218
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/wulflinc10/normalized-ooo.unbounded.all.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.92 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7489 0 0 0 938 39 0 0 25 0 1 0 1787858443 35360768 6922 4294967295 134512640 134702520 3221223952 3221160908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8633 6922 413 48 0 8585 0
[pid=2218] vsize: 34532
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (Kb) 36660

[startup+20.0044 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7489 0 0 0 1938 39 0 0 25 0 1 0 1787858443 35360768 6922 4294967295 134512640 134702520 3221223952 3220772928 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8633 6922 413 48 0 8585 0
[pid=2218] vsize: 34532
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (Kb) 36660

[startup+30.0059 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7489 0 0 0 2937 40 0 0 25 0 1 0 1787858443 35360768 6922 4294967295 134512640 134702520 3221223952 3220341248 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8633 6922 413 48 0 8585 0
[pid=2218] vsize: 34532
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (Kb) 36660

[startup+40.0065 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7567 0 0 0 3937 40 0 0 25 0 1 0 1787858443 35680256 7000 4294967295 134512640 134702520 3221223952 3219838208 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8711 7000 413 48 0 8663 0
[pid=2218] vsize: 34844
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 36972

[startup+50.0081 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7723 0 0 0 4936 41 0 0 25 0 1 0 1787858443 36319232 7156 4294967295 134512640 134702520 3221223952 3219198828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 8867 7156 413 48 0 8819 0
[pid=2218] vsize: 35468
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 37596

[startup+60.0086 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 7962 0 0 0 5935 42 0 0 25 0 1 0 1787858443 37298176 7395 4294967295 134512640 134702520 3221223952 3218219628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9106 7395 413 48 0 9058 0
[pid=2218] vsize: 36424
Current children cumulated CPU time (s) 59.79
Current children cumulated vsize (Kb) 38552

[startup+70.0092 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8479 0 0 0 6934 43 0 0 25 0 1 0 1787858443 39415808 7912 4294967295 134512640 134702520 3221223952 3220986668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9623 7912 413 48 0 9575 0
[pid=2218] vsize: 38492
Current children cumulated CPU time (s) 69.79
Current children cumulated vsize (Kb) 40620

[startup+80.0107 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8479 0 0 0 7934 43 0 0 25 0 1 0 1787858443 39415808 7912 4294967295 134512640 134702520 3221223952 3220390668 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9623 7912 413 48 0 9575 0
[pid=2218] vsize: 38492
Current children cumulated CPU time (s) 79.79
Current children cumulated vsize (Kb) 40620

[startup+90.0113 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8479 0 0 0 8934 43 0 0 25 0 1 0 1787858443 39415808 7912 4294967295 134512640 134702520 3221223952 3219500588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 9623 7912 413 48 0 9575 0
[pid=2218] vsize: 38492
Current children cumulated CPU time (s) 89.79
Current children cumulated vsize (Kb) 40620

[startup+100.013 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8655 0 0 0 9907 53 0 0 25 0 1 0 1787858443 83468288 8073 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20378 8073 413 48 0 20330 0
[pid=2218] vsize: 81512
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 83640

[startup+110.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8694 0 0 0 10801 89 0 0 25 0 1 0 1787858443 83468288 8112 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20378 8112 413 48 0 20330 0
[pid=2218] vsize: 81512
Current children cumulated CPU time (s) 108.92
Current children cumulated vsize (Kb) 83640

[startup+120.015 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8711 0 0 0 11718 116 0 0 25 0 1 0 1787858443 83468288 8129 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20378 8129 413 48 0 20330 0
[pid=2218] vsize: 81512
Current children cumulated CPU time (s) 118.36
Current children cumulated vsize (Kb) 83640

[startup+130.016 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8721 0 0 0 12656 137 0 0 25 0 1 0 1787858443 83603456 8139 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8139 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 127.95
Current children cumulated vsize (Kb) 83772

[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 13650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3220941968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 137.92
Current children cumulated vsize (Kb) 83772

[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 14650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3220602108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 147.92
Current children cumulated vsize (Kb) 83772

[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 15650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3220236836 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 157.92
Current children cumulated vsize (Kb) 83772

[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 16650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3219834588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 167.92
Current children cumulated vsize (Kb) 83772

[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 17650 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3219379548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 177.92
Current children cumulated vsize (Kb) 83772

[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 18651 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3218846288 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 187.93
Current children cumulated vsize (Kb) 83772

[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 19651 140 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3218166588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 197.93
Current children cumulated vsize (Kb) 83772

[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8722 0 0 0 20650 142 0 0 25 0 1 0 1787858443 83603456 8140 4294967295 134512640 134702520 3221223952 3216973148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20411 8140 413 48 0 20363 0
[pid=2218] vsize: 81644
Current children cumulated CPU time (s) 207.94
Current children cumulated vsize (Kb) 83772

[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8940 0 0 0 21649 143 0 0 25 0 1 0 1787858443 84496384 8358 4294967295 134512640 134702520 3221223952 3220303728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8358 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 217.94
Current children cumulated vsize (Kb) 84644

[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8940 0 0 0 22649 143 0 0 25 0 1 0 1787858443 84496384 8358 4294967295 134512640 134702520 3221223952 3221025808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8358 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 227.94
Current children cumulated vsize (Kb) 84644

[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8960 0 0 0 23591 163 0 0 25 0 1 0 1787858443 84496384 8360 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8360 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 237.56
Current children cumulated vsize (Kb) 84644

[startup+250.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8969 0 0 0 24517 189 0 0 25 0 1 0 1787858443 84496384 8369 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8369 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 247.08
Current children cumulated vsize (Kb) 84644

[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 8983 0 0 0 25442 216 0 0 25 0 1 0 1787858443 84496384 8383 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8383 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 256.6
Current children cumulated vsize (Kb) 84644

[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8997 0 0 0 26348 251 0 0 25 0 1 0 1787858443 84496384 8397 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8397 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 266.01
Current children cumulated vsize (Kb) 84644

[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8999 0 0 0 27328 258 0 0 25 0 1 0 1787858443 84496384 8399 4294967295 134512640 134702520 3221223952 3220265488 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8399 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 275.88
Current children cumulated vsize (Kb) 84644

[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 8999 0 0 0 28328 258 0 0 25 0 1 0 1787858443 84496384 8399 4294967295 134512640 134702520 3221223952 3220197628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8399 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 285.88
Current children cumulated vsize (Kb) 84644

[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9015 0 0 0 29284 273 0 0 25 0 1 0 1787858443 84496384 8401 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8401 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 295.59
Current children cumulated vsize (Kb) 84644

[startup+310.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9019 0 0 0 30209 299 0 0 25 0 1 0 1787858443 84496384 8405 4294967295 134512640 134702520 3221223952 3221223232 134552900 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8405 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 305.1
Current children cumulated vsize (Kb) 84644

[startup+320.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9026 0 0 0 31140 323 0 0 25 0 1 0 1787858443 84496384 8412 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8412 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 314.65
Current children cumulated vsize (Kb) 84644

[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9037 0 0 0 32087 342 0 0 25 0 1 0 1787858443 84496384 8423 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8423 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 324.31
Current children cumulated vsize (Kb) 84644

[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 33079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221188688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 334.25
Current children cumulated vsize (Kb) 84644

[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 34079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221146268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 344.25
Current children cumulated vsize (Kb) 84644

[startup+360.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 35079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221101488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 354.25
Current children cumulated vsize (Kb) 84644

[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 36079 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221056208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 364.25
Current children cumulated vsize (Kb) 84644

[startup+380.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 37080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3221010448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 374.26
Current children cumulated vsize (Kb) 84644

[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 38080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220964208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 384.26
Current children cumulated vsize (Kb) 84644

[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 39080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220917488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 394.26
Current children cumulated vsize (Kb) 84644

[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 40080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220870268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 404.26
Current children cumulated vsize (Kb) 84644

[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 41080 344 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220635248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 414.26
Current children cumulated vsize (Kb) 84644

[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 42080 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220039728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 424.27
Current children cumulated vsize (Kb) 84644

[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 43081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3219192348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 434.28
Current children cumulated vsize (Kb) 84644

[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 44081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220830448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 444.28
Current children cumulated vsize (Kb) 84644

[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 45081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220744348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 454.28
Current children cumulated vsize (Kb) 84644

[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 46081 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220656028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 464.28
Current children cumulated vsize (Kb) 84644

[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 47082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220564688 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 474.29
Current children cumulated vsize (Kb) 84644

[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 48082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220470288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 484.29
Current children cumulated vsize (Kb) 84644

[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 49082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3220135868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 494.29
Current children cumulated vsize (Kb) 84644

[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 50082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3219522916 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 504.29
Current children cumulated vsize (Kb) 84644

[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9039 0 0 0 51082 345 0 0 25 0 1 0 1787858443 84496384 8425 4294967295 134512640 134702520 3221223952 3218610428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8425 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 514.29
Current children cumulated vsize (Kb) 84644

[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 9058 0 0 0 52065 352 0 0 25 0 1 0 1787858443 84496384 8430 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8430 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 524.19
Current children cumulated vsize (Kb) 84644

[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9073 0 0 0 52998 378 0 0 25 0 1 0 1787858443 84496384 8445 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8445 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 533.78
Current children cumulated vsize (Kb) 84644

[startup+550.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9087 0 0 0 53950 393 0 0 25 0 1 0 1787858443 84496384 8459 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8459 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 543.45
Current children cumulated vsize (Kb) 84644

[startup+560.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9093 0 0 0 54917 404 0 0 25 0 1 0 1787858443 84496384 8465 4294967295 134512640 134702520 3221223952 3220476988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8465 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 553.23
Current children cumulated vsize (Kb) 84644

[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9093 0 0 0 55917 404 0 0 25 0 1 0 1787858443 84496384 8465 4294967295 134512640 134702520 3221223952 3221205948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8465 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 563.23
Current children cumulated vsize (Kb) 84644

[startup+580.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9093 0 0 0 56917 404 0 0 25 0 1 0 1787858443 84496384 8465 4294967295 134512640 134702520 3221223952 3220901168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8465 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 573.23
Current children cumulated vsize (Kb) 84644

[startup+590.051 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 9113 0 0 0 57900 411 0 0 25 0 1 0 1787858443 84496384 8471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8471 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 583.13
Current children cumulated vsize (Kb) 84644

[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9131 0 0 0 58844 431 0 0 25 0 1 0 1787858443 84496384 8489 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8489 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 592.77
Current children cumulated vsize (Kb) 84644

[startup+610.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 59791 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3221210588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 602.43
Current children cumulated vsize (Kb) 84644

[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 60791 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220876668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 612.43
Current children cumulated vsize (Kb) 84644

[startup+630.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 61792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220517328 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 622.44
Current children cumulated vsize (Kb) 84644

[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 62792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220123548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 632.44
Current children cumulated vsize (Kb) 84644

[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 63792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3219680048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 642.44
Current children cumulated vsize (Kb) 84644

[startup+660.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 64792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3219164848 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 652.44
Current children cumulated vsize (Kb) 84644

[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 65792 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3218528028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 662.44
Current children cumulated vsize (Kb) 84644

[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 66793 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3217545968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 672.45
Current children cumulated vsize (Kb) 84644

[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 67793 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3221040828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 682.45
Current children cumulated vsize (Kb) 84644

[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9147 0 0 0 68793 450 0 0 25 0 1 0 1787858443 84496384 8505 4294967295 134512640 134702520 3221223952 3220910128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20629 8505 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 692.45
Current children cumulated vsize (Kb) 84644

[startup+710.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9163 0 0 0 69767 459 0 0 25 0 1 0 1787858443 84496384 8507 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20629 8507 413 48 0 20581 0
[pid=2218] vsize: 82516
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (Kb) 84644

[startup+720.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9183 0 0 0 70701 480 0 0 25 0 1 0 1787858443 84631552 8527 4294967295 134512640 134702520 3221223952 3221223232 134550836 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20662 8527 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 711.83
Current children cumulated vsize (Kb) 84776

[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) T 2215 2215 22582 0 -1 0 9202 0 0 0 71646 498 0 0 25 0 1 0 1787858443 84631552 8546 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20662 8546 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 721.46
Current children cumulated vsize (Kb) 84776

[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 72635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3221060668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 731.39
Current children cumulated vsize (Kb) 84776

[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 73635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3220439568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 741.39
Current children cumulated vsize (Kb) 84776

[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 74635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3219522112 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 751.39
Current children cumulated vsize (Kb) 84776

[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 75635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3221175068 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 761.39
Current children cumulated vsize (Kb) 84776

[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9206 0 0 0 76635 502 0 0 25 0 1 0 1787858443 84631552 8550 4294967295 134512640 134702520 3221223952 3220939888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2218/statm): 20662 8550 413 48 0 20614 0
[pid=2218] vsize: 82648
Current children cumulated CPU time (s) 771.39
Current children cumulated vsize (Kb) 84776
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+790.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2218
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787858436 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 242 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2218/stat): 2218 (vallst) R 2215 2215 22582 0 -1 0 9222 0 0 0 77609 522 0 0 25 0 1 0 1787858443 84635648 8552 4294967295 134512640 134702520 3221223952 3221223584 134531309 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2218/statm): 20663 8552 413 48 0 20615 0
[pid=2218] vsize: 82652
Current children cumulated CPU time (s) 781.33
Current children cumulated vsize (Kb) 84780
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=2218) exited with status: 2
New process pid=2219
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=2219) exited with status: 0
New process pid=2220
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+800.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6117 0 0 0 939 31 0 0 25 0 1 0 1787937469 32931840 6088 4294967295 134512640 134702520 3221223712 3220458748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8040 6088 413 48 0 7992 0
[pid=2220] vsize: 32160
Current children cumulated CPU time (s) 791.17
Current children cumulated vsize (Kb) 34288

[startup+810.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6401 0 0 0 1937 33 0 0 25 0 1 0 1787937469 34095104 6372 4294967295 134512640 134702520 3221223712 3220905308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8324 6372 413 48 0 8276 0
[pid=2220] vsize: 33296
Current children cumulated CPU time (s) 801.17
Current children cumulated vsize (Kb) 35424

[startup+820.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6401 0 0 0 2937 33 0 0 25 0 1 0 1787937469 34095104 6372 4294967295 134512640 134702520 3221223712 3220227548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8324 6372 413 48 0 8276 0
[pid=2220] vsize: 33296
Current children cumulated CPU time (s) 811.17
Current children cumulated vsize (Kb) 35424

[startup+830.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6445 0 0 0 3935 34 0 0 25 0 1 0 1787937469 34275328 6416 4294967295 134512640 134702520 3221223712 3218946428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 8368 6416 413 48 0 8320 0
[pid=2220] vsize: 33472
Current children cumulated CPU time (s) 821.16
Current children cumulated vsize (Kb) 35600

[startup+840.071 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 6763 0 0 0 4933 35 0 0 25 0 1 0 1787937469 35577856 6734 4294967295 134512640 134702520 3221223712 3220908688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 8686 6734 413 48 0 8638 0
[pid=2220] vsize: 34744
Current children cumulated CPU time (s) 831.15
Current children cumulated vsize (Kb) 36872

[startup+850.072 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7114 0 0 0 5917 42 0 0 25 0 1 0 1787937469 79011840 7083 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19290 7083 413 48 0 19242 0
[pid=2220] vsize: 77160
Current children cumulated CPU time (s) 841.06
Current children cumulated vsize (Kb) 79288

[startup+860.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7198 0 0 0 6872 57 0 0 25 0 1 0 1787937469 79282176 7167 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19356 7167 413 48 0 19308 0
[pid=2220] vsize: 77424
Current children cumulated CPU time (s) 850.76
Current children cumulated vsize (Kb) 79552

[startup+870.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7250 0 0 0 7822 75 0 0 25 0 1 0 1787937469 79417344 7219 4294967295 134512640 134702520 3221223712 3221222992 134553437 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7219 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 860.44
Current children cumulated vsize (Kb) 79684

[startup+880.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 8796 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3220799648 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 870.28
Current children cumulated vsize (Kb) 79684

[startup+890.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 9796 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3220137068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 880.28
Current children cumulated vsize (Kb) 79684

[startup+900.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 10795 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3221057708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 890.27
Current children cumulated vsize (Kb) 79684

[startup+910.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7269 0 0 0 11795 85 0 0 25 0 1 0 1787937469 79417344 7238 4294967295 134512640 134702520 3221223712 3220287488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19389 7238 413 48 0 19341 0
[pid=2220] vsize: 77556
Current children cumulated CPU time (s) 900.27
Current children cumulated vsize (Kb) 79684

[startup+920.078 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7294 0 0 0 12740 102 0 0 25 0 1 0 1787937469 79552512 7261 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7261 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 909.89
Current children cumulated vsize (Kb) 79816

[startup+930.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7309 0 0 0 13669 127 0 0 25 0 1 0 1787937469 79552512 7276 4294967295 134512640 134702520 3221223712 3221222992 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7276 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 919.43
Current children cumulated vsize (Kb) 79816

[startup+940.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7324 0 0 0 14608 149 0 0 25 0 1 0 1787937469 79552512 7291 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7291 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 929.04
Current children cumulated vsize (Kb) 79816

[startup+950.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7326 0 0 0 15595 153 0 0 25 0 1 0 1787937469 79552512 7293 4294967295 134512640 134702520 3221223712 3220863468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7293 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 938.95
Current children cumulated vsize (Kb) 79816

[startup+960.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7326 0 0 0 16596 153 0 0 25 0 1 0 1787937469 79552512 7293 4294967295 134512640 134702520 3221223712 3221058048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7293 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 948.96
Current children cumulated vsize (Kb) 79816

[startup+970.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7326 0 0 0 17596 153 0 0 25 0 1 0 1787937469 79552512 7293 4294967295 134512640 134702520 3221223712 3220630688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7293 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 958.96
Current children cumulated vsize (Kb) 79816

[startup+980.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7330 0 0 0 18567 164 0 0 25 0 1 0 1787937469 79552512 7295 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7295 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 968.78
Current children cumulated vsize (Kb) 79816

[startup+990.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7349 0 0 0 19510 184 0 0 25 0 1 0 1787937469 79552512 7314 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7314 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 978.41
Current children cumulated vsize (Kb) 79816

[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7360 0 0 0 20451 205 0 0 18 0 1 0 1787937469 79552512 7325 4294967295 134512640 134702520 3221223712 3221222992 134552208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7325 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 988.03
Current children cumulated vsize (Kb) 79816

[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7374 0 0 0 21386 227 0 0 25 0 1 0 1787937469 79552512 7339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7339 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 997.6
Current children cumulated vsize (Kb) 79816

[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7376 0 0 0 22372 232 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3220355948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1007.51
Current children cumulated vsize (Kb) 79816

[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7376 0 0 0 23372 232 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3221178348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1017.51
Current children cumulated vsize (Kb) 79816

[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7376 0 0 0 24372 232 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3220843628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1027.51
Current children cumulated vsize (Kb) 79816

[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7378 0 0 0 25352 239 0 0 25 0 1 0 1787937469 79552512 7341 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19422 7341 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1037.38
Current children cumulated vsize (Kb) 79816

[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7384 0 0 0 26294 258 0 0 25 0 1 0 1787937469 79552512 7347 4294967295 134512640 134702520 3221223712 3221222992 134553264 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19422 7347 413 48 0 19374 0
[pid=2220] vsize: 77688
Current children cumulated CPU time (s) 1046.99
Current children cumulated vsize (Kb) 79816

[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7397 0 0 0 27220 282 0 0 25 0 1 0 1787937469 79687680 7360 4294967295 134512640 134702520 3221223712 3221222992 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7360 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1056.49
Current children cumulated vsize (Kb) 79948

[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7415 0 0 0 28162 298 0 0 25 0 1 0 1787937469 79687680 7378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7378 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1066.07
Current children cumulated vsize (Kb) 79948

[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7416 0 0 0 29154 301 0 0 25 0 1 0 1787937469 79687680 7379 4294967295 134512640 134702520 3221223712 3220126668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7379 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1076.02
Current children cumulated vsize (Kb) 79948

[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7416 0 0 0 30154 301 0 0 25 0 1 0 1787937469 79687680 7379 4294967295 134512640 134702520 3221223712 3220758832 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7379 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1086.02
Current children cumulated vsize (Kb) 79948

[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7416 0 0 0 31155 301 0 0 25 0 1 0 1787937469 79687680 7379 4294967295 134512640 134702520 3221223712 3220898028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7379 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1096.03
Current children cumulated vsize (Kb) 79948

[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) T 2215 2215 22582 0 -1 0 7426 0 0 0 32129 310 0 0 25 0 1 0 1787937469 79687680 7387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7387 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1105.86
Current children cumulated vsize (Kb) 79948

[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7452 0 0 0 33058 336 0 0 25 0 1 0 1787937469 79687680 7413 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7413 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1115.41
Current children cumulated vsize (Kb) 79948

[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7475 0 0 0 34001 357 0 0 25 0 1 0 1787937469 79687680 7436 4294967295 134512640 134702520 3221223712 3221222992 134552530 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7436 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1125.05
Current children cumulated vsize (Kb) 79948

[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 34964 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3220954188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1134.81
Current children cumulated vsize (Kb) 79948

[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 35964 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3219987948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1144.81
Current children cumulated vsize (Kb) 79948

[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 36965 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3221199488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1154.82
Current children cumulated vsize (Kb) 79948

[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 37965 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3221110668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1164.82
Current children cumulated vsize (Kb) 79948

[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7484 0 0 0 38965 370 0 0 25 0 1 0 1787937469 79687680 7445 4294967295 134512640 134702520 3221223712 3220755808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7445 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1174.82
Current children cumulated vsize (Kb) 79948

[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7494 0 0 0 39935 380 0 0 25 0 1 0 1787937469 79687680 7453 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/2220/statm): 19455 7453 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1184.62
Current children cumulated vsize (Kb) 79948

[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7512 0 0 0 40863 405 0 0 25 0 1 0 1787937469 79687680 7471 4294967295 134512640 134702520 3221223712 3221222992 134557255 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19455 7471 413 48 0 19407 0
[pid=2220] vsize: 77820
Current children cumulated CPU time (s) 1194.15
Current children cumulated vsize (Kb) 79948

[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7532 0 0 0 41803 423 0 0 25 0 1 0 1787937469 79822848 7491 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19488 7491 413 48 0 19440 0
[pid=2220] vsize: 77952
Current children cumulated CPU time (s) 1203.73
Current children cumulated vsize (Kb) 80080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 2220
Raw data (/proc/2215/stat): 2215 (vallstSAT2005PB) S 2214 2215 22582 0 -1 0 378 9595 0 0 2 1 77618 526 19 0 1 0 1787858436 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/2215/statm): 532 248 485 147 0 385 0
[pid=2215] vsize: 2128
Raw data (/proc/2220/stat): 2220 (vallst) R 2215 2215 22582 0 -1 0 7532 0 0 0 41803 423 0 0 25 0 1 0 1787937469 79822848 7491 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/2220/statm): 19488 7491 413 48 0 19440 0
[pid=2220] vsize: 77952
Current children cumulated CPU time (s) 1203.73
Current children cumulated vsize (Kb) 80080

Sending SIGTERM to -2215
Sleeping 2 seconds
New process pid=2222
New process pid=2223
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/13967/stat
open syscall for file /proc/13967/status
open syscall for file /proc/13967/cmdline
open syscall for file /proc/13967/environ
open syscall for file /proc/9077/stat
open syscall for file /proc/9077/status
open syscall for file /proc/9077/cmdline
open syscall for file /proc/9077/environ
open syscall for file /proc/9104/stat
open syscall for file /proc/9104/status
open syscall for file /proc/9104/cmdline
open syscall for file /proc/9104/environ
open syscall for file /proc/9128/stat
open syscall for file /proc/9128/status
open syscall for file /proc/9128/cmdline
open syscall for file /proc/9128/environ
open syscall for file /proc/17043/stat
open syscall for file /proc/17043/status
open syscall for file /proc/17043/cmdline
open syscall for file /proc/17043/environ
open syscall for file /proc/17049/stat
open syscall for file /proc/17049/status
open syscall for file /proc/17049/cmdline
open syscall for file /proc/17049/environ
open syscall for file /proc/2284/stat
open syscall for file /proc/2284/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/2284/cmdline
open syscall for file /proc/2284/environ
open syscall for file /proc/2319/stat
open syscall for file /proc/2319/status
open syscall for file /proc/2319/cmdline
open syscall for file /proc/2319/environ
open syscall for file /proc/22582/stat
open syscall for file /proc/22582/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/22582/cmdline
open syscall for file /proc/22582/environ
open syscall for file /proc/22583/stat
open syscall for file /proc/22583/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/22583/cmdline
open syscall for file /proc/22583/environ
open syscall for file /proc/22592/stat
open syscall for file /proc/22592/status
open syscall for file /proc/22592/cmdline
open syscall for file /proc/22592/environ
open syscall for file /proc/2178/stat
open syscall for file /proc/2178/status
open syscall for file /proc/2178/cmdline
open syscall for file /proc/2178/environ
open syscall for file /proc/2214/stat
open syscall for file /proc/2214/status
open syscall for file /proc/2214/cmdline
open syscall for file /proc/2214/environ
open syscall for file /proc/2215/stat
open syscall for file /proc/2215/status
open syscall for file /proc/2215/cmdline
open syscall for file /proc/2215/environ
open syscall for file /proc/2220/stat
open syscall for file /proc/2220/status
open syscall for file /proc/2220/cmdline
open syscall for file /proc/2220/environ
open syscall for file /proc/2222/stat
open syscall for file /proc/2222/status
open syscall for file /proc/2222/cmdline
open syscall for file /proc/2222/environ
open syscall for file /proc/2223/stat
open syscall for file /proc/2223/status
open syscall for file /proc/2223/cmdline
open syscall for file /proc/2223/environ
One traced child (pid=2222) exited with status: 0
One traced child (pid=2223) exited with status: 0
New process pid=2224
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=2224) exited with status: 0
New process pid=2225
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=2225) exited with status: 0
One traced child (pid=2215) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -2215
One traced child (pid=2220) 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.14
CPU time (s): 424.235
CPU user time (s): 419.804
CPU system time (s): 4.43033
CPU usage (%): 34.7125
Max. virtual memory (cumulated for all children) (Kb): 84780

Verifier Data

ERROR: no interpretation found !