Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUMeb0734273e24196dd14c6f237b52fa81
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 3836

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        903064 kB
Buffers:         35196 kB
Cached:          72280 kB
SwapCached:        780 kB
Active:          75056 kB
Inactive:        35096 kB
HighTotal:      131008 kB
HighFree:        55132 kB
LowTotal:       903652 kB
LowFree:        847932 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15820 kB
Committed_AS:    64264 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 03:18:03 (client local time) WITH STATUS 0 IN 1208.78 SECONDS
stats: 7529 7 1208.78 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1443  (#equs: 4)
#decisions: 545280;  #end-nodes: 249454;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 1603 (199)
#axs: 1652, #non-axs: 5855
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 45
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1543  (#equs: 5)
Time taken: 6 min, 41 sec

2:
seed: 0
Nr of vars set: 1543  (#equs: 0)
Nr of vars set: 1543  (#equs: 0)
Interupt request received.
#decisions: 1397786;  #end-nodes: 706529;
#proof improvement attempts: 0;  #restarts: 651
Current batch, end-nodes: 19319 / 19946 (282)
#axs: 1628, #non-axs: 3380
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 6, end: 8;  meta: start: 16, end (keep): 24
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6442  (#equs: 0)
Time taken: 13 min, 26 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) R 16359 16360 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788244006 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/16360/statm): 174 3 169 147 0 27 0
[pid=16360] 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=16361
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=16361) exited with status: 0
New process pid=16362
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=16362) exited with status: 0
New process pid=16363
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.88 0.93 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 1156 0 0 0 893 40 0 0 25 0 1 0 1788244012 6635520 1055 4294967295 134512640 134702520 3221223952 3221223088 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 1620 1055 413 48 0 1572 0
[pid=16363] vsize: 6480
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (Kb) 8608

[startup+20.0044 s]
Raw data (loadavg): 0.90 0.93 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 1208 0 0 0 1767 84 0 0 23 0 1 0 1788244012 12681216 1107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3096 1107 413 48 0 3048 0
[pid=16363] vsize: 12384
Current children cumulated CPU time (s) 18.52
Current children cumulated vsize (Kb) 14512

[startup+30.0061 s]
Raw data (loadavg): 0.91 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 1477 0 0 0 2671 114 0 0 25 0 1 0 1788244012 12771328 1376 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3118 1376 413 48 0 3070 0
[pid=16363] vsize: 12472
Current children cumulated CPU time (s) 27.86
Current children cumulated vsize (Kb) 14600

[startup+40.0069 s]
Raw data (loadavg): 0.93 0.94 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2105 0 0 0 3578 148 0 0 25 0 1 0 1788244012 13041664 2004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3184 2004 413 48 0 3136 0
[pid=16363] vsize: 12736
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (Kb) 14864

[startup+50.0076 s]
Raw data (loadavg): 0.94 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2462 0 0 0 4497 176 0 0 25 0 1 0 1788244012 13312000 2361 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3250 2361 413 48 0 3202 0
[pid=16363] vsize: 13000
Current children cumulated CPU time (s) 46.74
Current children cumulated vsize (Kb) 15128

[startup+60.0084 s]
Raw data (loadavg): 0.95 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2485 0 0 0 5410 208 0 0 25 0 1 0 1788244012 13475840 2384 4294967295 134512640 134702520 3221223952 3221109168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2384 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 56.19
Current children cumulated vsize (Kb) 15288

[startup+70.0091 s]
Raw data (loadavg): 0.95 0.94 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2601 0 0 0 6318 238 0 0 25 0 1 0 1788244012 13475840 2500 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2500 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 65.57
Current children cumulated vsize (Kb) 15288

[startup+80.0099 s]
Raw data (loadavg): 0.96 0.94 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2603 0 0 0 7224 272 0 0 25 0 1 0 1788244012 13475840 2502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2502 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 74.97
Current children cumulated vsize (Kb) 15288

[startup+90.0106 s]
Raw data (loadavg): 0.97 0.94 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2606 0 0 0 8122 307 0 0 25 0 1 0 1788244012 13475840 2505 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3290 2505 413 48 0 3242 0
[pid=16363] vsize: 13160
Current children cumulated CPU time (s) 84.3
Current children cumulated vsize (Kb) 15288

[startup+100.011 s]
Raw data (loadavg): 0.97 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2619 0 0 0 9032 338 0 0 25 0 1 0 1788244012 13479936 2518 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3291 2518 413 48 0 3243 0
[pid=16363] vsize: 13164
Current children cumulated CPU time (s) 93.71
Current children cumulated vsize (Kb) 15292

[startup+110.012 s]
Raw data (loadavg): 0.97 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2626 0 0 0 9949 364 0 0 25 0 1 0 1788244012 13635584 2525 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2525 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 103.14
Current children cumulated vsize (Kb) 15444

[startup+120.013 s]
Raw data (loadavg): 0.98 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2628 0 0 0 10859 395 0 0 25 0 1 0 1788244012 13635584 2527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2527 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 112.55
Current children cumulated vsize (Kb) 15444

[startup+130.015 s]
Raw data (loadavg): 0.98 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2633 0 0 0 11772 427 0 0 25 0 1 0 1788244012 13635584 2532 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2532 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 122
Current children cumulated vsize (Kb) 15444

[startup+140.015 s]
Raw data (loadavg): 0.98 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2634 0 0 0 12685 457 0 0 25 0 1 0 1788244012 13635584 2533 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3329 2533 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 131.43
Current children cumulated vsize (Kb) 15444

[startup+150.016 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2639 0 0 0 13586 492 0 0 25 0 1 0 1788244012 13635584 2538 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2538 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 140.79
Current children cumulated vsize (Kb) 15444

[startup+160.017 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2644 0 0 0 14503 521 0 0 19 0 1 0 1788244012 13635584 2543 4294967295 134512640 134702520 3221223952 3221223232 134554277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3329 2543 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 150.25
Current children cumulated vsize (Kb) 15444

[startup+170.018 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2647 0 0 0 15413 551 0 0 25 0 1 0 1788244012 13635584 2546 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2546 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (Kb) 15444

[startup+180.018 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2655 0 0 0 16316 584 0 0 25 0 1 0 1788244012 13635584 2554 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3329 2554 413 48 0 3281 0
[pid=16363] vsize: 13316
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (Kb) 15444

[startup+190.019 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2661 0 0 0 17232 613 0 0 25 0 1 0 1788244012 13783040 2560 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3365 2560 413 48 0 3317 0
[pid=16363] vsize: 13460
Current children cumulated CPU time (s) 178.46
Current children cumulated vsize (Kb) 15588

[startup+200.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2663 0 0 0 18141 647 0 0 25 0 1 0 1788244012 13754368 2562 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3358 2562 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 187.89
Current children cumulated vsize (Kb) 15560

[startup+210.02 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2665 0 0 0 19053 678 0 0 25 0 1 0 1788244012 13754368 2564 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2564 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 197.32
Current children cumulated vsize (Kb) 15560

[startup+220.02 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2793 0 0 0 19955 714 0 0 25 0 1 0 1788244012 13754368 2692 4294967295 134512640 134702520 3221223952 3221223264 1073947957 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2692 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 206.7
Current children cumulated vsize (Kb) 15560

[startup+230.021 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2800 0 0 0 20872 740 0 0 25 0 1 0 1788244012 13754368 2699 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2699 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 216.13
Current children cumulated vsize (Kb) 15560

[startup+240.022 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2808 0 0 0 21789 771 0 0 25 0 1 0 1788244012 13754368 2707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3358 2707 413 48 0 3310 0
[pid=16363] vsize: 13432
Current children cumulated CPU time (s) 225.61
Current children cumulated vsize (Kb) 15560

[startup+250.023 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2824 0 0 0 22704 802 0 0 25 0 1 0 1788244012 13889536 2723 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3391 2723 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 235.07
Current children cumulated vsize (Kb) 15692

[startup+260.023 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2828 0 0 0 23621 832 0 0 25 0 1 0 1788244012 13889536 2727 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3391 2727 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 244.54
Current children cumulated vsize (Kb) 15692

[startup+270.024 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 2828 0 0 0 24532 865 0 0 25 0 1 0 1788244012 13889536 2727 4294967295 134512640 134702520 3221223952 3221106768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3391 2727 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 253.98
Current children cumulated vsize (Kb) 15692

[startup+280.025 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 2875 0 0 0 25442 898 0 0 25 0 1 0 1788244012 13889536 2774 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3391 2774 413 48 0 3343 0
[pid=16363] vsize: 13564
Current children cumulated CPU time (s) 263.41
Current children cumulated vsize (Kb) 15692

[startup+290.025 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3167 0 0 0 26365 925 0 0 25 0 1 0 1788244012 14159872 3066 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3457 3066 413 48 0 3409 0
[pid=16363] vsize: 13828
Current children cumulated CPU time (s) 272.91
Current children cumulated vsize (Kb) 15956

[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3263 0 0 0 27278 956 0 0 25 0 1 0 1788244012 14983168 3162 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3658 3162 413 48 0 3610 0
[pid=16363] vsize: 14632
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (Kb) 16760

[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3316 0 0 0 28211 979 0 0 25 0 1 0 1788244012 15118336 3215 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3691 3215 413 48 0 3643 0
[pid=16363] vsize: 14764
Current children cumulated CPU time (s) 291.91
Current children cumulated vsize (Kb) 16892

[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3404 0 0 0 29144 1003 0 0 25 0 1 0 1788244012 15118336 3303 4294967295 134512640 134702520 3221223952 3221025472 134612230 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 3691 3303 413 48 0 3643 0
[pid=16363] vsize: 14764
Current children cumulated CPU time (s) 301.48
Current children cumulated vsize (Kb) 16892

[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.95 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3448 0 0 0 30072 1027 0 0 25 0 1 0 1788244012 15257600 3347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3725 3347 413 48 0 3677 0
[pid=16363] vsize: 14900
Current children cumulated CPU time (s) 311
Current children cumulated vsize (Kb) 17028

[startup+340.029 s]
Raw data (loadavg): 1.07 0.99 0.96 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3544 0 0 0 31001 1052 0 0 25 0 1 0 1788244012 16216064 3443 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3959 3443 413 48 0 3911 0
[pid=16363] vsize: 15836
Current children cumulated CPU time (s) 320.54
Current children cumulated vsize (Kb) 17964

[startup+350.029 s]
Raw data (loadavg): 1.06 0.99 0.96 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3638 0 0 0 31925 1076 0 0 25 0 1 0 1788244012 16351232 3537 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 3992 3537 413 48 0 3944 0
[pid=16363] vsize: 15968
Current children cumulated CPU time (s) 330.02
Current children cumulated vsize (Kb) 18096

[startup+360.03 s]
Raw data (loadavg): 1.05 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3695 0 0 0 32864 1097 0 0 25 0 1 0 1788244012 16502784 3594 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4029 3594 413 48 0 3981 0
[pid=16363] vsize: 16116
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (Kb) 18244

[startup+370.03 s]
Raw data (loadavg): 1.04 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3731 0 0 0 33799 1121 0 0 25 0 1 0 1788244012 16637952 3630 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4062 3630 413 48 0 4014 0
[pid=16363] vsize: 16248
Current children cumulated CPU time (s) 349.21
Current children cumulated vsize (Kb) 18376

[startup+380.031 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3807 0 0 0 34730 1145 0 0 25 0 1 0 1788244012 17461248 3706 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4263 3706 413 48 0 4215 0
[pid=16363] vsize: 17052
Current children cumulated CPU time (s) 358.76
Current children cumulated vsize (Kb) 19180

[startup+390.032 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3871 0 0 0 35680 1162 0 0 25 0 1 0 1788244012 17596416 3770 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16363/statm): 4296 3770 413 48 0 4248 0
[pid=16363] vsize: 17184
Current children cumulated CPU time (s) 368.43
Current children cumulated vsize (Kb) 19312

[startup+400.032 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3935 0 0 0 36631 1179 0 0 25 0 1 0 1788244012 17731584 3834 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 4329 3834 413 48 0 4281 0
[pid=16363] vsize: 17316
Current children cumulated CPU time (s) 378.11
Current children cumulated vsize (Kb) 19444

[startup+410.032 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) R 16360 16360 824 0 -1 0 3978 0 0 0 37571 1199 0 0 25 0 1 0 1788244012 17731584 3877 4294967295 134512640 134702520 3221223952 3221222976 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16363/statm): 4329 3877 413 48 0 4281 0
[pid=16363] vsize: 17316
Current children cumulated CPU time (s) 387.71
Current children cumulated vsize (Kb) 19444

[startup+420.033 s]
Raw data (loadavg): 1.02 0.99 0.96 1/57 16363
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1788244006 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 242 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16363/stat): 16363 (vallst) T 16360 16360 824 0 -1 0 3981 0 0 0 38490 1228 0 0 25 0 1 0 1788244012 17731584 3880 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16363/statm): 4329 3880 413 48 0 4281 0
[pid=16363] vsize: 17316
Current children cumulated CPU time (s) 397.19
Current children cumulated vsize (Kb) 19444
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=16363) exited with status: 2
New process pid=16364
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=16364) exited with status: 0
New process pid=16365
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+430.035 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 1027 0 0 0 482 17 0 0 25 0 1 0 1788286489 6254592 997 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 1527 997 413 48 0 1479 0
[pid=16365] vsize: 6108
Current children cumulated CPU time (s) 406.68
Current children cumulated vsize (Kb) 8236

[startup+440.036 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 1033 0 0 0 1411 42 0 0 25 0 1 0 1788286489 6418432 1003 4294967295 134512640 134702520 3221223712 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 1567 1003 413 48 0 1519 0
[pid=16365] vsize: 6268
Current children cumulated CPU time (s) 416.22
Current children cumulated vsize (Kb) 8396

[startup+450.035 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2396 0 0 0 2321 75 0 0 25 0 1 0 1788286489 12009472 2366 4294967295 134512640 134702520 3221223712 3221222992 134557529 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 2932 2366 413 48 0 2884 0
[pid=16365] vsize: 11728
Current children cumulated CPU time (s) 425.65
Current children cumulated vsize (Kb) 13856

[startup+460.036 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2515 0 0 0 3236 106 0 0 25 0 1 0 1788286489 12279808 2485 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 2998 2485 413 48 0 2950 0
[pid=16365] vsize: 11992
Current children cumulated CPU time (s) 435.11
Current children cumulated vsize (Kb) 14120

[startup+470.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2547 0 0 0 4153 134 0 0 25 0 1 0 1788286489 12414976 2517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3031 2517 413 48 0 2983 0
[pid=16365] vsize: 12124
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (Kb) 14252

[startup+480.038 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2585 0 0 0 5066 163 0 0 25 0 1 0 1788286489 12414976 2555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3031 2555 413 48 0 2983 0
[pid=16365] vsize: 12124
Current children cumulated CPU time (s) 453.98
Current children cumulated vsize (Kb) 14252

[startup+490.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2612 0 0 0 5973 195 0 0 25 0 1 0 1788286489 12550144 2582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3064 2582 413 48 0 3016 0
[pid=16365] vsize: 12256
Current children cumulated CPU time (s) 463.37
Current children cumulated vsize (Kb) 14384

[startup+500.039 s]
Raw data (loadavg): 1.08 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2619 0 0 0 6871 227 0 0 25 0 1 0 1788286489 12550144 2589 4294967295 134512640 134702520 3221223712 3221222832 134572061 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3064 2589 413 48 0 3016 0
[pid=16365] vsize: 12256
Current children cumulated CPU time (s) 472.67
Current children cumulated vsize (Kb) 14384

[startup+510.04 s]
Raw data (loadavg): 1.06 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2635 0 0 0 7780 258 0 0 25 0 1 0 1788286489 12685312 2605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3097 2605 413 48 0 3049 0
[pid=16365] vsize: 12388
Current children cumulated CPU time (s) 482.07
Current children cumulated vsize (Kb) 14516

[startup+520.04 s]
Raw data (loadavg): 1.05 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2635 0 0 0 8697 288 0 0 25 0 1 0 1788286489 12685312 2605 4294967295 134512640 134702520 3221223712 3221222608 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3097 2605 413 48 0 3049 0
[pid=16365] vsize: 12388
Current children cumulated CPU time (s) 491.54
Current children cumulated vsize (Kb) 14516

[startup+530.041 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2678 0 0 0 9600 324 0 0 25 0 1 0 1788286489 12820480 2648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3130 2648 413 48 0 3082 0
[pid=16365] vsize: 12520
Current children cumulated CPU time (s) 500.93
Current children cumulated vsize (Kb) 14648

[startup+540.042 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2681 0 0 0 10503 356 0 0 25 0 1 0 1788286489 12820480 2651 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3130 2651 413 48 0 3082 0
[pid=16365] vsize: 12520
Current children cumulated CPU time (s) 510.28
Current children cumulated vsize (Kb) 14648

[startup+550.043 s]
Raw data (loadavg): 1.03 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2694 0 0 0 11393 394 0 0 23 0 1 0 1788286489 12955648 2664 4294967295 134512640 134702520 3221223712 3221222992 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3163 2664 413 48 0 3115 0
[pid=16365] vsize: 12652
Current children cumulated CPU time (s) 519.56
Current children cumulated vsize (Kb) 14780

[startup+560.044 s]
Raw data (loadavg): 1.03 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2701 0 0 0 12281 433 0 0 25 0 1 0 1788286489 12955648 2671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3163 2671 413 48 0 3115 0
[pid=16365] vsize: 12652
Current children cumulated CPU time (s) 528.83
Current children cumulated vsize (Kb) 14780

[startup+570.044 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2729 0 0 0 13185 463 0 0 19 0 1 0 1788286489 13094912 2699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3197 2699 413 48 0 3149 0
[pid=16365] vsize: 12788
Current children cumulated CPU time (s) 538.17
Current children cumulated vsize (Kb) 14916

[startup+580.045 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2790 0 0 0 14112 490 0 0 25 0 1 0 1788286489 13377536 2760 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3266 2760 413 48 0 3218 0
[pid=16365] vsize: 13064
Current children cumulated CPU time (s) 547.71
Current children cumulated vsize (Kb) 15192

[startup+590.046 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2793 0 0 0 15033 516 0 0 25 0 1 0 1788286489 13377536 2763 4294967295 134512640 134702520 3221223712 3221222576 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3266 2763 413 48 0 3218 0
[pid=16365] vsize: 13064
Current children cumulated CPU time (s) 557.18
Current children cumulated vsize (Kb) 15192

[startup+600.046 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2793 0 0 0 15929 552 0 0 25 0 1 0 1788286489 13348864 2763 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3259 2763 413 48 0 3211 0
[pid=16365] vsize: 13036
Current children cumulated CPU time (s) 566.5
Current children cumulated vsize (Kb) 15164

[startup+610.046 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2805 0 0 0 16820 592 0 0 25 0 1 0 1788286489 13348864 2775 4294967295 134512640 134702520 3221223712 3221222992 134552277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3259 2775 413 48 0 3211 0
[pid=16365] vsize: 13036
Current children cumulated CPU time (s) 575.81
Current children cumulated vsize (Kb) 15164

[startup+620.047 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2821 0 0 0 17723 623 0 0 25 0 1 0 1788286489 13348864 2791 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3259 2791 413 48 0 3211 0
[pid=16365] vsize: 13036
Current children cumulated CPU time (s) 585.15
Current children cumulated vsize (Kb) 15164

[startup+630.049 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2822 0 0 0 18628 656 0 0 25 0 1 0 1788286489 13479936 2792 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3291 2792 413 48 0 3243 0
[pid=16365] vsize: 13164
Current children cumulated CPU time (s) 594.53
Current children cumulated vsize (Kb) 15292

[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2831 0 0 0 19529 688 0 0 25 0 1 0 1788286489 13479936 2801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3291 2801 413 48 0 3243 0
[pid=16365] vsize: 13164
Current children cumulated CPU time (s) 603.86
Current children cumulated vsize (Kb) 15292

[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2859 0 0 0 20427 723 0 0 25 0 1 0 1788286489 13615104 2829 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3324 2829 413 48 0 3276 0
[pid=16365] vsize: 13296
Current children cumulated CPU time (s) 613.19
Current children cumulated vsize (Kb) 15424

[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2879 0 0 0 21329 755 0 0 25 0 1 0 1788286489 13615104 2849 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3324 2849 413 48 0 3276 0
[pid=16365] vsize: 13296
Current children cumulated CPU time (s) 622.53
Current children cumulated vsize (Kb) 15424

[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 2906 0 0 0 22257 781 0 0 19 0 1 0 1788286489 13750272 2876 4294967295 134512640 134702520 3221223712 3221217868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3357 2876 413 48 0 3309 0
[pid=16365] vsize: 13428
Current children cumulated CPU time (s) 632.07
Current children cumulated vsize (Kb) 15556

[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2911 0 0 0 23174 811 0 0 25 0 1 0 1788286489 13889536 2881 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3391 2881 413 48 0 3343 0
[pid=16365] vsize: 13564
Current children cumulated CPU time (s) 641.54
Current children cumulated vsize (Kb) 15692

[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2911 0 0 0 24077 844 0 0 25 0 1 0 1788286489 13828096 2881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3376 2881 413 48 0 3328 0
[pid=16365] vsize: 13504
Current children cumulated CPU time (s) 650.9
Current children cumulated vsize (Kb) 15632

[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2917 0 0 0 24967 882 0 0 19 0 1 0 1788286489 13828096 2887 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3376 2887 413 48 0 3328 0
[pid=16365] vsize: 13504
Current children cumulated CPU time (s) 660.18
Current children cumulated vsize (Kb) 15632

[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 2953 0 0 0 25872 916 0 0 25 0 1 0 1788286489 13828096 2923 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3376 2923 413 48 0 3328 0
[pid=16365] vsize: 13504
Current children cumulated CPU time (s) 669.57
Current children cumulated vsize (Kb) 15632

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3041 0 0 0 26783 947 0 0 25 0 1 0 1788286489 14565376 3011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3556 3011 413 48 0 3508 0
[pid=16365] vsize: 14224
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (Kb) 16352

[startup+730.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3141 0 0 0 27697 977 0 0 25 0 1 0 1788286489 14700544 3111 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3589 3111 413 48 0 3541 0
[pid=16365] vsize: 14356
Current children cumulated CPU time (s) 688.43
Current children cumulated vsize (Kb) 16484

[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3165 0 0 0 28613 1006 0 0 25 0 1 0 1788286489 14700544 3135 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3589 3135 413 48 0 3541 0
[pid=16365] vsize: 14356
Current children cumulated CPU time (s) 697.88
Current children cumulated vsize (Kb) 16484

[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3254 0 0 0 29542 1031 0 0 25 0 1 0 1788286489 15572992 3224 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3802 3224 413 48 0 3754 0
[pid=16365] vsize: 15208
Current children cumulated CPU time (s) 707.42
Current children cumulated vsize (Kb) 17336

[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3339 0 0 0 30467 1060 0 0 25 0 1 0 1788286489 15572992 3309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3802 3309 413 48 0 3754 0
[pid=16365] vsize: 15208
Current children cumulated CPU time (s) 716.96
Current children cumulated vsize (Kb) 17336

[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3377 0 0 0 31397 1084 0 0 25 0 1 0 1788286489 15708160 3347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3835 3347 413 48 0 3787 0
[pid=16365] vsize: 15340
Current children cumulated CPU time (s) 726.5
Current children cumulated vsize (Kb) 17468

[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3402 0 0 0 32315 1112 0 0 25 0 1 0 1788286489 15708160 3372 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3835 3372 413 48 0 3787 0
[pid=16365] vsize: 15340
Current children cumulated CPU time (s) 735.96
Current children cumulated vsize (Kb) 17468

[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3465 0 0 0 33254 1134 0 0 25 0 1 0 1788286489 15843328 3435 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3868 3435 413 48 0 3820 0
[pid=16365] vsize: 15472
Current children cumulated CPU time (s) 745.57
Current children cumulated vsize (Kb) 17600

[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3491 0 0 0 34183 1161 0 0 25 0 1 0 1788286489 15843328 3461 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 3868 3461 413 48 0 3820 0
[pid=16365] vsize: 15472
Current children cumulated CPU time (s) 755.13
Current children cumulated vsize (Kb) 17600

[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3504 0 0 0 35108 1188 0 0 25 0 1 0 1788286489 15978496 3474 4294967295 134512640 134702520 3221223712 3221222832 134584579 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 3901 3474 413 48 0 3853 0
[pid=16365] vsize: 15604
Current children cumulated CPU time (s) 764.65
Current children cumulated vsize (Kb) 17732

[startup+820.061 s]
Raw data (loadavg): 1.08 1.02 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3559 0 0 0 36035 1214 0 0 25 0 1 0 1788286489 16715776 3529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4081 3529 413 48 0 4033 0
[pid=16365] vsize: 16324
Current children cumulated CPU time (s) 774.18
Current children cumulated vsize (Kb) 18452

[startup+830.062 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3611 0 0 0 36967 1237 0 0 25 0 1 0 1788286489 16850944 3581 4294967295 134512640 134702520 3221223712 3221222736 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4114 3581 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 783.73
Current children cumulated vsize (Kb) 18584

[startup+840.062 s]
Raw data (loadavg): 1.06 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3614 0 0 0 37889 1264 0 0 25 0 1 0 1788286489 16850944 3584 4294967295 134512640 134702520 3221223712 3221222608 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4114 3584 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (Kb) 18584

[startup+850.063 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3614 0 0 0 38792 1298 0 0 25 0 1 0 1788286489 16850944 3584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4114 3584 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 802.59
Current children cumulated vsize (Kb) 18584

[startup+860.064 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3619 0 0 0 39709 1328 0 0 25 0 1 0 1788286489 16850944 3589 4294967295 134512640 134702520 3221223712 3221222992 134552666 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4114 3589 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 812.06
Current children cumulated vsize (Kb) 18584

[startup+870.065 s]
Raw data (loadavg): 1.03 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3626 0 0 0 40647 1349 0 0 25 0 1 0 1788286489 16850944 3596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4114 3596 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 821.65
Current children cumulated vsize (Kb) 18584

[startup+880.065 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3626 0 0 0 41545 1382 0 0 25 0 1 0 1788286489 16850944 3596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4114 3596 413 48 0 4066 0
[pid=16365] vsize: 16456
Current children cumulated CPU time (s) 830.96
Current children cumulated vsize (Kb) 18584

[startup+890.066 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3645 0 0 0 42477 1409 0 0 25 0 1 0 1788286489 16986112 3615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4147 3615 413 48 0 4099 0
[pid=16365] vsize: 16588
Current children cumulated CPU time (s) 840.55
Current children cumulated vsize (Kb) 18716

[startup+900.067 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3656 0 0 0 43423 1426 0 0 25 0 1 0 1788286489 16986112 3626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4147 3626 413 48 0 4099 0
[pid=16365] vsize: 16588
Current children cumulated CPU time (s) 850.18
Current children cumulated vsize (Kb) 18716

[startup+910.068 s]
Raw data (loadavg): 1.02 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3660 0 0 0 44341 1455 0 0 25 0 1 0 1788286489 16986112 3630 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4147 3630 413 48 0 4099 0
[pid=16365] vsize: 16588
Current children cumulated CPU time (s) 859.65
Current children cumulated vsize (Kb) 18716

[startup+920.067 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3665 0 0 0 45265 1481 0 0 25 0 1 0 1788286489 17121280 3635 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4180 3635 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 869.15
Current children cumulated vsize (Kb) 18848

[startup+930.069 s]
Raw data (loadavg): 1.01 1.01 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3671 0 0 0 46180 1509 0 0 25 0 1 0 1788286489 17121280 3641 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4180 3641 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 878.58
Current children cumulated vsize (Kb) 18848

[startup+940.071 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3687 0 0 0 47101 1537 0 0 25 0 1 0 1788286489 17121280 3657 4294967295 134512640 134702520 3221223712 3221222832 134572986 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4180 3657 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 888.07
Current children cumulated vsize (Kb) 18848

[startup+950.071 s]
Raw data (loadavg): 1.01 1.00 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3695 0 0 0 48033 1561 0 0 25 0 1 0 1788286489 17121280 3665 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4180 3665 413 48 0 4132 0
[pid=16365] vsize: 16720
Current children cumulated CPU time (s) 897.63
Current children cumulated vsize (Kb) 18848

[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3706 0 0 0 48952 1586 0 0 25 0 1 0 1788286489 17256448 3676 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4213 3676 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 907.07
Current children cumulated vsize (Kb) 18980

[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3714 0 0 0 49884 1612 0 0 25 0 1 0 1788286489 17256448 3684 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3684 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 916.65
Current children cumulated vsize (Kb) 18980

[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3721 0 0 0 50809 1638 0 0 25 0 1 0 1788286489 17256448 3691 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4213 3691 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 926.16
Current children cumulated vsize (Kb) 18980

[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3725 0 0 0 51733 1665 0 0 25 0 1 0 1788286489 17256448 3695 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3695 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 935.67
Current children cumulated vsize (Kb) 18980

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3729 0 0 0 52654 1692 0 0 25 0 1 0 1788286489 17256448 3699 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3699 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 945.15
Current children cumulated vsize (Kb) 18980

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3729 0 0 0 53559 1725 0 0 25 0 1 0 1788286489 17256448 3699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3699 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 954.53
Current children cumulated vsize (Kb) 18980

[startup+1020.08 s]
Raw data (loadavg): 1.08 1.02 0.97 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3729 0 0 0 54461 1759 0 0 25 0 1 0 1788286489 17256448 3699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4213 3699 413 48 0 4165 0
[pid=16365] vsize: 16852
Current children cumulated CPU time (s) 963.89
Current children cumulated vsize (Kb) 18980

[startup+1030.08 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3733 0 0 0 55381 1786 0 0 25 0 1 0 1788286489 17395712 3703 4294967295 134512640 134702520 3221223712 3221222736 134557504 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4247 3703 413 48 0 4199 0
[pid=16365] vsize: 16988
Current children cumulated CPU time (s) 973.36
Current children cumulated vsize (Kb) 19116

[startup+1040.08 s]
Raw data (loadavg): 1.06 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3734 0 0 0 56278 1822 0 0 25 0 1 0 1788286489 17362944 3704 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3704 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 982.69
Current children cumulated vsize (Kb) 19084

[startup+1050.08 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3735 0 0 0 57188 1853 0 0 25 0 1 0 1788286489 17362944 3705 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3705 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 992.1
Current children cumulated vsize (Kb) 19084

[startup+1060.08 s]
Raw data (loadavg): 1.12 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3735 0 0 0 58093 1887 0 0 25 0 1 0 1788286489 17362944 3705 4294967295 134512640 134702520 3221223712 3221223268 134592929 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3705 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1001.49
Current children cumulated vsize (Kb) 19084

[startup+1070.08 s]
Raw data (loadavg): 1.10 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3739 0 0 0 59004 1919 0 0 25 0 1 0 1788286489 17362944 3709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3709 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1010.92
Current children cumulated vsize (Kb) 19084

[startup+1080.08 s]
Raw data (loadavg): 1.08 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3742 0 0 0 59899 1954 0 0 25 0 1 0 1788286489 17362944 3712 4294967295 134512640 134702520 3221223712 3221222992 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3712 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1020.22
Current children cumulated vsize (Kb) 19084

[startup+1090.08 s]
Raw data (loadavg): 1.07 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3747 0 0 0 60808 1986 0 0 25 0 1 0 1788286489 17362944 3717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3717 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1029.63
Current children cumulated vsize (Kb) 19084

[startup+1100.08 s]
Raw data (loadavg): 1.06 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3747 0 0 0 61728 2015 0 0 25 0 1 0 1788286489 17362944 3717 4294967295 134512640 134702520 3221223712 3221222576 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3717 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1039.12
Current children cumulated vsize (Kb) 19084

[startup+1110.08 s]
Raw data (loadavg): 1.05 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3750 0 0 0 62631 2047 0 0 25 0 1 0 1788286489 17362944 3720 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3720 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1048.47
Current children cumulated vsize (Kb) 19084

[startup+1120.09 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3752 0 0 0 63530 2083 0 0 24 0 1 0 1788286489 17362944 3722 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3722 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1057.82
Current children cumulated vsize (Kb) 19084

[startup+1130.09 s]
Raw data (loadavg): 1.04 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3756 0 0 0 64460 2109 0 0 25 0 1 0 1788286489 17362944 3726 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4239 3726 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1067.38
Current children cumulated vsize (Kb) 19084

[startup+1140.09 s]
Raw data (loadavg): 1.03 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3758 0 0 0 65377 2138 0 0 25 0 1 0 1788286489 17362944 3728 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4239 3728 413 48 0 4191 0
[pid=16365] vsize: 16956
Current children cumulated CPU time (s) 1076.84
Current children cumulated vsize (Kb) 19084

[startup+1150.09 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3766 0 0 0 66309 2159 0 0 25 0 1 0 1788286489 17498112 3736 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4272 3736 413 48 0 4224 0
[pid=16365] vsize: 17088
Current children cumulated CPU time (s) 1086.37
Current children cumulated vsize (Kb) 19216

[startup+1160.1 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3777 0 0 0 67216 2193 0 0 25 0 1 0 1788286489 17498112 3747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4272 3747 413 48 0 4224 0
[pid=16365] vsize: 17088
Current children cumulated CPU time (s) 1095.78
Current children cumulated vsize (Kb) 19216

[startup+1170.1 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3784 0 0 0 68118 2228 0 0 25 0 1 0 1788286489 17498112 3754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4272 3754 413 48 0 4224 0
[pid=16365] vsize: 17088
Current children cumulated CPU time (s) 1105.15
Current children cumulated vsize (Kb) 19216

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3790 0 0 0 69028 2258 0 0 25 0 1 0 1788286489 17502208 3760 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4273 3760 413 48 0 4225 0
[pid=16365] vsize: 17092
Current children cumulated CPU time (s) 1114.55
Current children cumulated vsize (Kb) 19220

[startup+1190.1 s]
Raw data (loadavg): 1.09 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3790 0 0 0 69919 2295 0 0 25 0 1 0 1788286489 17502208 3760 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4273 3760 413 48 0 4225 0
[pid=16365] vsize: 17092
Current children cumulated CPU time (s) 1123.83
Current children cumulated vsize (Kb) 19220

[startup+1200.1 s]
Raw data (loadavg): 1.08 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3795 0 0 0 70823 2328 0 0 25 0 1 0 1788286489 17502208 3765 4294967295 134512640 134702520 3221223712 3221048128 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4273 3765 413 48 0 4225 0
[pid=16365] vsize: 17092
Current children cumulated CPU time (s) 1133.2
Current children cumulated vsize (Kb) 19220

[startup+1210.1 s]
Raw data (loadavg): 1.06 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3802 0 0 0 71727 2360 0 0 25 0 1 0 1788286489 17616896 3772 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4301 3772 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1142.56
Current children cumulated vsize (Kb) 19332

[startup+1220.1 s]
Raw data (loadavg): 1.05 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3805 0 0 0 72649 2384 0 0 25 0 1 0 1788286489 17616896 3775 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4301 3775 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1152.02
Current children cumulated vsize (Kb) 19332

[startup+1230.1 s]
Raw data (loadavg): 1.05 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3812 0 0 0 73537 2423 0 0 25 0 1 0 1788286489 17616896 3782 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4301 3782 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1161.29
Current children cumulated vsize (Kb) 19332

[startup+1240.1 s]
Raw data (loadavg): 1.04 1.03 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3822 0 0 0 74434 2458 0 0 25 0 1 0 1788286489 17616896 3792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4301 3792 413 48 0 4253 0
[pid=16365] vsize: 17204
Current children cumulated CPU time (s) 1170.61
Current children cumulated vsize (Kb) 19332

[startup+1250.1 s]
Raw data (loadavg): 1.03 1.03 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3837 0 0 0 75354 2488 0 0 25 0 1 0 1788286489 17752064 3807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4334 3807 413 48 0 4286 0
[pid=16365] vsize: 17336
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 19464

[startup+1260.11 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3846 0 0 0 76253 2523 0 0 20 0 1 0 1788286489 17752064 3816 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4334 3816 413 48 0 4286 0
[pid=16365] vsize: 17336
Current children cumulated CPU time (s) 1189.45
Current children cumulated vsize (Kb) 19464

[startup+1270.11 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) R 16360 16360 824 0 -1 0 3857 0 0 0 77158 2556 0 0 25 0 1 0 1788286489 17752064 3827 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/16365/statm): 4334 3827 413 48 0 4286 0
[pid=16365] vsize: 17336
Current children cumulated CPU time (s) 1198.83
Current children cumulated vsize (Kb) 19464

[startup+1280.11 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3863 0 0 0 78070 2589 0 0 25 0 1 0 1788286489 17887232 3833 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4367 3833 413 48 0 4319 0
[pid=16365] vsize: 17468
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 19596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.11 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 16365
Raw data (/proc/16360/stat): 16360 (vallstSAT2005PB) S 16359 16360 824 0 -1 0 378 4356 0 0 1 1 38920 1247 19 0 1 0 1788244006 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/16360/statm): 532 248 485 147 0 385 0
[pid=16360] vsize: 2128
Raw data (/proc/16365/stat): 16365 (vallst) T 16360 16360 824 0 -1 0 3863 0 0 0 78070 2589 0 0 25 0 1 0 1788286489 17887232 3833 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/16365/statm): 4367 3833 413 48 0 4319 0
[pid=16365] vsize: 17468
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 19596

Sending SIGTERM to -16360
Sleeping 2 seconds
New process pid=16367
New process pid=16368
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/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/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/16323/stat
open syscall for file /proc/16323/status
open syscall for file /proc/16323/cmdline
open syscall for file /proc/16323/environ
open syscall for file /proc/16359/stat
open syscall for file /proc/16359/status
open syscall for file /proc/16359/cmdline
open syscall for file /proc/16359/environ
open syscall for file /proc/16360/stat
open syscall for file /proc/16360/status
open syscall for file /proc/16360/cmdline
open syscall for file /proc/16360/environ
open syscall for file /proc/16365/stat
open syscall for file /proc/16365/status
open syscall for file /proc/16365/cmdline
open syscall for file /proc/16365/environ
open syscall for file /proc/16367/stat
open syscall for file /proc/16367/status
open syscall for file /proc/16367/cmdline
open syscall for file /proc/16367/environ
open syscall for file /proc/16368/stat
open syscall for file /proc/16368/status
open syscall for file /proc/16368/cmdline
open syscall for file /proc/16368/environ
One traced child (pid=16367) exited with status: 0
One traced child (pid=16368) exited with status: 0
New process pid=16369
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=16365) exited with status: 3
One traced child (pid=16369) exited with status: 0
New process pid=16370
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=16370) exited with status: 0
One traced child (pid=16360) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.61
CPU time (s): 1208.78
CPU user time (s): 1170.29
CPU system time (s): 38.4921
CPU usage (%): 94.3906
Max. virtual memory (cumulated for all children) (Kb): 19596

Verifier Data

ERROR: no interpretation found !