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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM9b244c88702eddacf15d45f12fda5eb0
Bench Categoryoptimization, small integers (OPTSMALLINT)
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 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 2085

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-18 17:40:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7230 boxname=wulflinc9 idbench=198 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9b244c88702eddacf15d45f12fda5eb0  /oldhome/oroussel/tmp/wulflinc9/normalized-par32-5.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc9/normalized-par32-5.opb 0
IDLAUNCH: 7230
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        930484 kB
Buffers:         28296 kB
Cached:          49812 kB
SwapCached:       1044 kB
Active:          44152 kB
Inactive:        36668 kB
HighTotal:      131008 kB
HighFree:        77588 kB
LowTotal:       903652 kB
LowFree:        852896 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            17680 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 18:03:54 (client local time) WITH STATUS 3 IN 842.785 SECONDS
stats: 7230 7 842.785 3

Solver Data

1:
seed: 0
Nr of vars set: 282  (#equs: 0)
Nr of vars set: 1586  (#equs: 3016)
#decisions: 182022;  #end-nodes: 114952;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 253 (247)
#axs: 16502, #non-axs: 11292
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1586  (#equs: 3407)
Time taken: 6 min, 4 sec

2:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 1586  (#equs: 0)
Nr of vars set: 1586  (#equs: 1)
Interupt request received.
#decisions: 649187;  #end-nodes: 485248;
#proof improvement attempts: 0;  #restarts: 1519
Current batch, end-nodes: 281 / 503 (499)
#axs: 5449, #non-axs: 20180
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 17
loose: meta-meta: start: 7, end: 10;  meta: start: 21, end (keep): 34
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1919  (#equs: 2)
Time taken: 14 min, 2 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/6396/stat): 6396 (vallstSAT2005PB) R 6395 6396 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784902527 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6396/statm): 174 3 169 147 0 27 0
[pid=6396] 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=6397
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=6397) exited with status: 0
New process pid=6398
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=6398) exited with status: 0
New process pid=6399
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/wulflinc9/normalized-par32-5.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 0.95 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 800 0 0 0 656 109 0 0 17 0 1 0 1784902534 4718592 770 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1152 770 413 48 0 1104 0
[pid=6399] vsize: 4608
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (Kb) 6736

[startup+20.0042 s]
Raw data (loadavg): 0.96 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 800 0 0 0 1286 227 0 0 19 0 1 0 1784902534 4718592 770 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1152 770 413 48 0 1104 0
[pid=6399] vsize: 4608
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (Kb) 6736

[startup+30.0059 s]
Raw data (loadavg): 0.97 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 839 0 0 0 2108 286 0 0 19 0 1 0 1784902534 7430144 809 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1814 809 413 48 0 1766 0
[pid=6399] vsize: 7256
Current children cumulated CPU time (s) 23.96
Current children cumulated vsize (Kb) 9384

[startup+40.0067 s]
Raw data (loadavg): 0.97 1.02 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 885 0 0 0 2971 332 0 0 25 0 1 0 1784902534 7548928 855 4294967295 134512640 134702520 3221223968 3221223248 134553451 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1843 855 413 48 0 1795 0
[pid=6399] vsize: 7372
Current children cumulated CPU time (s) 33.05
Current children cumulated vsize (Kb) 9500

[startup+50.0074 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 917 0 0 0 3728 421 0 0 17 0 1 0 1784902534 7548928 887 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1843 887 413 48 0 1795 0
[pid=6399] vsize: 7372
Current children cumulated CPU time (s) 41.51
Current children cumulated vsize (Kb) 9500

[startup+60.0081 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 919 0 0 0 4358 544 0 0 19 0 1 0 1784902534 7696384 889 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1879 889 413 48 0 1831 0
[pid=6399] vsize: 7516
Current children cumulated CPU time (s) 49.04
Current children cumulated vsize (Kb) 9644

[startup+70.0089 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 923 0 0 0 5189 602 0 0 20 0 1 0 1784902534 7639040 893 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1865 893 413 48 0 1817 0
[pid=6399] vsize: 7460
Current children cumulated CPU time (s) 57.93
Current children cumulated vsize (Kb) 9588

[startup+80.0096 s]
Raw data (loadavg): 0.98 1.02 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 936 0 0 0 6064 647 0 0 25 0 1 0 1784902534 7639040 906 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1865 906 413 48 0 1817 0
[pid=6399] vsize: 7460
Current children cumulated CPU time (s) 67.13
Current children cumulated vsize (Kb) 9588

[startup+90.0103 s]
Raw data (loadavg): 0.99 1.02 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 970 0 0 0 6951 684 0 0 25 0 1 0 1784902534 7831552 940 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 940 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 76.37
Current children cumulated vsize (Kb) 9776

[startup+100.011 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 975 0 0 0 7552 820 0 0 17 0 1 0 1784902534 7831552 945 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 945 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 83.74
Current children cumulated vsize (Kb) 9776

[startup+110.013 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 976 0 0 0 8298 907 0 0 22 0 1 0 1784902534 7831552 946 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 946 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 92.07
Current children cumulated vsize (Kb) 9776

[startup+120.012 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 980 0 0 0 9176 942 0 0 17 0 1 0 1784902534 7831552 950 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 950 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (Kb) 9776

[startup+130.014 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 988 0 0 0 10065 978 0 0 17 0 1 0 1784902534 7831552 958 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 958 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 110.45
Current children cumulated vsize (Kb) 9776

[startup+140.015 s]
Raw data (loadavg): 0.99 1.01 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1009 0 0 0 10958 1013 0 0 25 0 1 0 1784902534 7831552 979 4294967295 134512640 134702520 3221223968 3221150464 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 979 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 9776

[startup+150.016 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1011 0 0 0 11524 1156 0 0 17 0 1 0 1784902534 7831552 981 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1912 981 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 126.82
Current children cumulated vsize (Kb) 9776

[startup+160.016 s]
Raw data (loadavg): 0.99 1.01 0.99 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1012 0 0 0 12286 1239 0 0 23 0 1 0 1784902534 7831552 982 4294967295 134512640 134702520 3221223968 3221223248 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 982 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 135.27
Current children cumulated vsize (Kb) 9776

[startup+170.017 s]
Raw data (loadavg): 0.99 1.01 0.99 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1014 0 0 0 13201 1266 0 0 22 0 1 0 1784902534 7831552 984 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 984 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 144.69
Current children cumulated vsize (Kb) 9776

[startup+180.019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1023 0 0 0 14093 1304 0 0 25 0 1 0 1784902534 7831552 993 4294967295 134512640 134702520 3221223968 3221223216 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1912 993 413 48 0 1864 0
[pid=6399] vsize: 7648
Current children cumulated CPU time (s) 153.99
Current children cumulated vsize (Kb) 9776

[startup+190.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1030 0 0 0 14986 1342 0 0 25 0 1 0 1784902534 8015872 1000 4294967295 134512640 134702520 3221223968 3221223248 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1000 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 163.3
Current children cumulated vsize (Kb) 9956

[startup+200.02 s]
Raw data (loadavg): 1.13 1.04 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1047 0 0 0 15720 1432 0 0 17 0 1 0 1784902534 8015872 1017 4294967295 134512640 134702520 3221223968 3221222836 134564366 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1957 1017 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 171.54
Current children cumulated vsize (Kb) 9956

[startup+210.021 s]
Raw data (loadavg): 1.11 1.04 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1048 0 0 0 16380 1541 0 0 21 0 1 0 1784902534 8015872 1018 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1957 1018 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (Kb) 9956

[startup+220.022 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1048 0 0 0 17241 1585 0 0 17 0 1 0 1784902534 8015872 1018 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1018 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 188.28
Current children cumulated vsize (Kb) 9956

[startup+230.023 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1051 0 0 0 18162 1611 0 0 25 0 1 0 1784902534 8015872 1021 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1021 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 197.75
Current children cumulated vsize (Kb) 9956

[startup+240.024 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1063 0 0 0 19051 1647 0 0 19 0 1 0 1784902534 8015872 1033 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1957 1033 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 207
Current children cumulated vsize (Kb) 9956

[startup+250.025 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1069 0 0 0 19975 1672 0 0 25 0 1 0 1784902534 8015872 1039 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1957 1039 413 48 0 1909 0
[pid=6399] vsize: 7828
Current children cumulated CPU time (s) 216.49
Current children cumulated vsize (Kb) 9956

[startup+260.026 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1081 0 0 0 20682 1767 0 0 17 0 1 0 1784902534 8159232 1051 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1992 1051 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 224.51
Current children cumulated vsize (Kb) 10096

[startup+270.026 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1082 0 0 0 21366 1870 0 0 19 0 1 0 1784902534 8159232 1052 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1992 1052 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 232.38
Current children cumulated vsize (Kb) 10096

[startup+280.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1082 0 0 0 22235 1915 0 0 21 0 1 0 1784902534 8159232 1052 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 1992 1052 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 241.52
Current children cumulated vsize (Kb) 10096

[startup+290.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1105 0 0 0 23163 1943 0 0 25 0 1 0 1784902534 8159232 1075 4294967295 134512640 134702520 3221223968 3221223248 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 1992 1075 413 48 0 1944 0
[pid=6399] vsize: 7968
Current children cumulated CPU time (s) 251.08
Current children cumulated vsize (Kb) 10096

[startup+300.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1176 0 0 0 24091 1967 0 0 25 0 1 0 1784902534 8556544 1146 4294967295 134512640 134702520 3221223968 3221223248 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2089 1146 413 48 0 2041 0
[pid=6399] vsize: 8356
Current children cumulated CPU time (s) 260.6
Current children cumulated vsize (Kb) 10484

[startup+310.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1245 0 0 0 25024 1991 0 0 25 0 1 0 1784902534 8740864 1215 4294967295 134512640 134702520 3221223968 3221051088 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2134 1215 413 48 0 2086 0
[pid=6399] vsize: 8536
Current children cumulated CPU time (s) 270.17
Current children cumulated vsize (Kb) 10664

[startup+320.029 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1313 0 0 0 25950 2014 0 0 17 0 1 0 1784902534 8982528 1283 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2193 1283 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 279.66
Current children cumulated vsize (Kb) 10900

[startup+330.03 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1313 0 0 0 26517 2158 0 0 17 0 1 0 1784902534 8982528 1283 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2193 1283 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 286.77
Current children cumulated vsize (Kb) 10900

[startup+340.031 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1314 0 0 0 27287 2230 0 0 25 0 1 0 1784902534 8982528 1284 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2193 1284 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 295.19
Current children cumulated vsize (Kb) 10900

[startup+350.031 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1314 0 0 0 28219 2253 0 0 25 0 1 0 1784902534 8982528 1284 4294967295 134512640 134702520 3221223968 3221223088 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2193 1284 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 304.74
Current children cumulated vsize (Kb) 10900

[startup+360.032 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1316 0 0 0 29153 2277 0 0 25 0 1 0 1784902534 8982528 1286 4294967295 134512640 134702520 3221223968 3221223248 134553055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2193 1286 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 314.32
Current children cumulated vsize (Kb) 10900

[startup+370.033 s]
Raw data (loadavg): 1.07 1.04 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1318 0 0 0 30085 2301 0 0 18 0 1 0 1784902534 8982528 1288 4294967295 134512640 134702520 3221223968 3221223248 134553080 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2193 1288 413 48 0 2145 0
[pid=6399] vsize: 8772
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (Kb) 10900

[startup+380.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1340 0 0 0 31020 2324 0 0 25 0 1 0 1784902534 9175040 1310 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2240 1310 413 48 0 2192 0
[pid=6399] vsize: 8960
Current children cumulated CPU time (s) 333.46
Current children cumulated vsize (Kb) 11088

[startup+390.035 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) R 6396 6396 30740 0 -1 0 1394 0 0 0 31957 2347 0 0 25 0 1 0 1784902534 9289728 1364 4294967295 134512640 134702520 3221223968 3221223224 134564337 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2268 1364 413 48 0 2220 0
[pid=6399] vsize: 9072
Current children cumulated CPU time (s) 343.06
Current children cumulated vsize (Kb) 11200

[startup+400.036 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1436 0 0 0 32796 2403 0 0 17 0 1 0 1784902534 9469952 1406 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6399/statm): 2312 1406 413 48 0 2264 0
[pid=6399] vsize: 9248
Current children cumulated CPU time (s) 352.01
Current children cumulated vsize (Kb) 11376

[startup+410.037 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6399
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 1784902527 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 242 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6399/stat): 6399 (vallst) T 6396 6396 30740 0 -1 0 1436 0 0 0 33403 2527 0 0 19 0 1 0 1784902534 9469952 1406 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6399/statm): 2312 1406 413 48 0 2264 0
[pid=6399] vsize: 9248
Current children cumulated CPU time (s) 359.32
Current children cumulated vsize (Kb) 11376
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=6399) exited with status: 2
New process pid=6400
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=6400) exited with status: 0
New process pid=6401
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+420.037 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 755 0 0 0 266 34 0 0 17 0 1 0 1784944159 5091328 726 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 1243 726 413 48 0 1195 0
[pid=6401] vsize: 4972
Current children cumulated CPU time (s) 367.82
Current children cumulated vsize (Kb) 7100

[startup+430.038 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 756 0 0 0 788 189 0 0 17 0 1 0 1784944159 5091328 727 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 1243 727 413 48 0 1195 0
[pid=6401] vsize: 4972
Current children cumulated CPU time (s) 374.59
Current children cumulated vsize (Kb) 7100

[startup+440.039 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 859 0 0 0 1509 282 0 0 25 0 1 0 1784944159 9666560 830 4294967295 134512640 134702520 3221223712 3221069568 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2360 830 413 48 0 2312 0
[pid=6401] vsize: 9440
Current children cumulated CPU time (s) 382.73
Current children cumulated vsize (Kb) 11568

[startup+450.039 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 897 0 0 0 2382 326 0 0 25 0 1 0 1784944159 9666560 868 4294967295 134512640 134702520 3221223712 3221140928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2360 868 413 48 0 2312 0
[pid=6401] vsize: 9440
Current children cumulated CPU time (s) 391.9
Current children cumulated vsize (Kb) 11568

[startup+460.041 s]
Raw data (loadavg): 1.09 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 935 0 0 0 3261 368 0 0 25 0 1 0 1784944159 9760768 906 4294967295 134512640 134702520 3221223712 3221146508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2383 906 413 48 0 2335 0
[pid=6401] vsize: 9532
Current children cumulated CPU time (s) 401.11
Current children cumulated vsize (Kb) 11660

[startup+470.041 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 938 0 0 0 3713 546 0 0 17 0 1 0 1784944159 9760768 909 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2383 909 413 48 0 2335 0
[pid=6401] vsize: 9532
Current children cumulated CPU time (s) 407.41
Current children cumulated vsize (Kb) 11660

[startup+480.042 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 940 0 0 0 4383 652 0 0 25 0 1 0 1784944159 9822208 911 4294967295 134512640 134702520 3221223712 3221223104 134620866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 911 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 415.17
Current children cumulated vsize (Kb) 11720

[startup+490.044 s]
Raw data (loadavg): 1.05 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 941 0 0 0 5241 702 0 0 25 0 1 0 1784944159 9822208 912 4294967295 134512640 134702520 3221223712 3221205228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 912 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 424.25
Current children cumulated vsize (Kb) 11720

[startup+500.045 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 942 0 0 0 6098 748 0 0 25 0 1 0 1784944159 9822208 913 4294967295 134512640 134702520 3221223712 3221208268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 913 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 433.28
Current children cumulated vsize (Kb) 11720

[startup+510.045 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 943 0 0 0 6507 939 0 0 16 0 1 0 1784944159 9822208 914 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 914 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 11720

[startup+520.046 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 944 0 0 0 7215 1033 0 0 17 0 1 0 1784944159 9822208 915 4294967295 134512640 134702520 3221223712 3221165868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 915 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 447.3
Current children cumulated vsize (Kb) 11720

[startup+530.048 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 951 0 0 0 8068 1084 0 0 19 0 1 0 1784944159 9822208 922 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 922 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 456.34
Current children cumulated vsize (Kb) 11720

[startup+540.049 s]
Raw data (loadavg): 1.16 1.07 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 957 0 0 0 8928 1129 0 0 18 0 1 0 1784944159 9822208 928 4294967295 134512640 134702520 3221223712 3221132288 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 928 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 465.39
Current children cumulated vsize (Kb) 11720

[startup+550.049 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 960 0 0 0 9313 1318 0 0 16 0 1 0 1784944159 9822208 931 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 931 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 471.13
Current children cumulated vsize (Kb) 11720

[startup+560.051 s]
Raw data (loadavg): 1.12 1.07 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 961 0 0 0 10045 1402 0 0 18 0 1 0 1784944159 9822208 932 4294967295 134512640 134702520 3221223712 3221182048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 932 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 479.29
Current children cumulated vsize (Kb) 11720

[startup+570.051 s]
Raw data (loadavg): 1.10 1.07 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 963 0 0 0 10894 1451 0 0 18 0 1 0 1784944159 9822208 934 4294967295 134512640 134702520 3221223712 3221222348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 934 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 488.27
Current children cumulated vsize (Kb) 11720

[startup+580.053 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 969 0 0 0 11745 1499 0 0 18 0 1 0 1784944159 9822208 940 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 940 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 497.26
Current children cumulated vsize (Kb) 11720

[startup+590.053 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 969 0 0 0 12251 1652 0 0 16 0 1 0 1784944159 9822208 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 940 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 503.85
Current children cumulated vsize (Kb) 11720

[startup+600.054 s]
Raw data (loadavg): 1.06 1.06 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 970 0 0 0 12881 1773 0 0 17 0 1 0 1784944159 9822208 941 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 941 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 511.36
Current children cumulated vsize (Kb) 11720

[startup+610.056 s]
Raw data (loadavg): 1.05 1.06 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 972 0 0 0 13727 1823 0 0 16 0 1 0 1784944159 9822208 943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 943 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 520.32
Current children cumulated vsize (Kb) 11720

[startup+620.057 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 977 0 0 0 14632 1853 0 0 18 0 1 0 1784944159 9822208 948 4294967295 134512640 134702520 3221223712 3221111308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 948 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 529.67
Current children cumulated vsize (Kb) 11720

[startup+630.058 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 979 0 0 0 15425 1920 0 0 16 0 1 0 1784944159 9822208 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 950 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 538.27
Current children cumulated vsize (Kb) 11720

[startup+640.059 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 980 0 0 0 15816 2121 0 0 16 0 1 0 1784944159 9822208 951 4294967295 134512640 134702520 3221223712 3221222956 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 951 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 544.19
Current children cumulated vsize (Kb) 11720

[startup+650.06 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 980 0 0 0 16659 2170 0 0 16 0 1 0 1784944159 9822208 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 951 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 553.11
Current children cumulated vsize (Kb) 11720

[startup+660.061 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 980 0 0 0 17552 2205 0 0 18 0 1 0 1784944159 9822208 951 4294967295 134512640 134702520 3221223712 3221094208 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 951 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 562.39
Current children cumulated vsize (Kb) 11720

[startup+670.062 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 985 0 0 0 18412 2251 0 0 17 0 1 0 1784944159 9822208 956 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2398 956 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 571.45
Current children cumulated vsize (Kb) 11720

[startup+680.064 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 986 0 0 0 19056 2368 0 0 16 0 1 0 1784944159 9822208 957 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2398 957 413 48 0 2350 0
[pid=6401] vsize: 9592
Current children cumulated CPU time (s) 579.06
Current children cumulated vsize (Kb) 11720

[startup+690.065 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 988 0 0 0 19583 2517 0 0 17 0 1 0 1784944159 9883648 959 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2413 959 413 48 0 2365 0
[pid=6401] vsize: 9652
Current children cumulated CPU time (s) 585.82
Current children cumulated vsize (Kb) 11780

[startup+700.066 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 991 0 0 0 20425 2569 0 0 17 0 1 0 1784944159 9883648 962 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2413 962 413 48 0 2365 0
[pid=6401] vsize: 9652
Current children cumulated CPU time (s) 594.76
Current children cumulated vsize (Kb) 11780

[startup+710.066 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1117 0 0 0 21338 2597 0 0 18 0 1 0 1784944159 10399744 1088 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2539 1088 413 48 0 2491 0
[pid=6401] vsize: 10156
Current children cumulated CPU time (s) 604.17
Current children cumulated vsize (Kb) 12284

[startup+720.067 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1198 0 0 0 22266 2623 0 0 18 0 1 0 1784944159 10399744 1169 4294967295 134512640 134702520 3221223712 3221169708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2539 1169 413 48 0 2491 0
[pid=6401] vsize: 10156
Current children cumulated CPU time (s) 613.71
Current children cumulated vsize (Kb) 12284

[startup+730.069 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1273 0 0 0 23191 2649 0 0 25 0 1 0 1784944159 11051008 1244 4294967295 134512640 134702520 3221223712 3221093408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1244 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 623.22
Current children cumulated vsize (Kb) 12920

[startup+740.07 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1276 0 0 0 23630 2837 0 0 16 0 1 0 1784944159 11051008 1247 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1247 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 629.49
Current children cumulated vsize (Kb) 12920

[startup+750.069 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1277 0 0 0 24320 2940 0 0 16 0 1 0 1784944159 11051008 1248 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2698 1248 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 637.42
Current children cumulated vsize (Kb) 12920

[startup+760.07 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1283 0 0 0 25231 2968 0 0 17 0 1 0 1784944159 11051008 1254 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1254 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 646.81
Current children cumulated vsize (Kb) 12920

[startup+770.071 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1289 0 0 0 26146 2996 0 0 17 0 1 0 1784944159 11051008 1260 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1260 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 656.24
Current children cumulated vsize (Kb) 12920

[startup+780.072 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1299 0 0 0 27073 3020 0 0 18 0 1 0 1784944159 11051008 1270 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2698 1270 413 48 0 2650 0
[pid=6401] vsize: 10792
Current children cumulated CPU time (s) 665.75
Current children cumulated vsize (Kb) 12920

[startup+790.072 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1357 0 0 0 28007 3044 0 0 18 0 1 0 1784944159 11186176 1328 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2731 1328 413 48 0 2683 0
[pid=6401] vsize: 10924
Current children cumulated CPU time (s) 675.33
Current children cumulated vsize (Kb) 13052

[startup+800.072 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1428 0 0 0 28878 3087 0 0 16 0 1 0 1784944159 11325440 1392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2765 1392 413 48 0 2717 0
[pid=6401] vsize: 11060
Current children cumulated CPU time (s) 684.47
Current children cumulated vsize (Kb) 13188

[startup+810.073 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1429 0 0 0 29323 3274 0 0 16 0 1 0 1784944159 11325440 1393 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2765 1393 413 48 0 2717 0
[pid=6401] vsize: 11060
Current children cumulated CPU time (s) 690.79
Current children cumulated vsize (Kb) 13188

[startup+820.074 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1430 0 0 0 30137 3333 0 0 16 0 1 0 1784944159 11288576 1394 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2756 1394 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 699.52
Current children cumulated vsize (Kb) 13152

[startup+830.074 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1430 0 0 0 31033 3369 0 0 16 0 1 0 1784944159 11288576 1394 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1394 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 708.84
Current children cumulated vsize (Kb) 13152

[startup+840.076 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1431 0 0 0 31969 3392 0 0 16 0 1 0 1784944159 11288576 1395 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1395 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 718.43
Current children cumulated vsize (Kb) 13152

[startup+850.077 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1437 0 0 0 32920 3410 0 0 25 0 1 0 1784944159 11288576 1401 4294967295 134512640 134702520 3221223712 3221181728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1401 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 728.12
Current children cumulated vsize (Kb) 13152

[startup+860.078 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1443 0 0 0 33856 3432 0 0 25 0 1 0 1784944159 11288576 1407 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1407 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 737.7
Current children cumulated vsize (Kb) 13152

[startup+870.078 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1458 0 0 0 34791 3456 0 0 23 0 1 0 1784944159 11288576 1422 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2756 1422 413 48 0 2708 0
[pid=6401] vsize: 11024
Current children cumulated CPU time (s) 747.29
Current children cumulated vsize (Kb) 13152

[startup+880.079 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1479 0 0 0 35615 3512 0 0 16 0 1 0 1784944159 11943936 1443 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2916 1443 413 48 0 2868 0
[pid=6401] vsize: 11664
Current children cumulated CPU time (s) 756.09
Current children cumulated vsize (Kb) 13792

[startup+890.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1480 0 0 0 36058 3699 0 0 16 0 1 0 1784944159 11943936 1444 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2916 1444 413 48 0 2868 0
[pid=6401] vsize: 11664
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (Kb) 13792

[startup+900.081 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1481 0 0 0 36939 3737 0 0 25 0 1 0 1784944159 11923456 1445 4294967295 134512640 134702520 3221223712 3221047008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1445 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 771.58
Current children cumulated vsize (Kb) 13772

[startup+910.082 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1481 0 0 0 37856 3768 0 0 25 0 1 0 1784944159 11923456 1445 4294967295 134512640 134702520 3221223712 3221200448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1445 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 781.06
Current children cumulated vsize (Kb) 13772

[startup+920.083 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1482 0 0 0 38780 3792 0 0 25 0 1 0 1784944159 11923456 1446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1446 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 790.54
Current children cumulated vsize (Kb) 13772

[startup+930.085 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1486 0 0 0 39712 3814 0 0 18 0 1 0 1784944159 11923456 1450 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2911 1450 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 800.08
Current children cumulated vsize (Kb) 13772

[startup+940.086 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1489 0 0 0 40642 3838 0 0 20 0 1 0 1784944159 11923456 1453 4294967295 134512640 134702520 3221223712 3221222992 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1453 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 809.62
Current children cumulated vsize (Kb) 13772

[startup+950.086 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1493 0 0 0 41583 3857 0 0 16 0 1 0 1784944159 11923456 1457 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1457 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 819.22
Current children cumulated vsize (Kb) 13772

[startup+960.087 s]
Raw data (loadavg): 1.09 1.05 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1495 0 0 0 42546 3871 0 0 25 0 1 0 1784944159 11923456 1459 4294967295 134512640 134702520 3221223712 3221222800 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1459 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 828.99
Current children cumulated vsize (Kb) 13772

[startup+970.089 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1501 0 0 0 43207 3980 0 0 16 0 1 0 1784944159 11923456 1465 4294967295 134512640 134702520 3221223712 3221222608 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2911 1465 413 48 0 2863 0
[pid=6401] vsize: 11644
Current children cumulated CPU time (s) 836.69
Current children cumulated vsize (Kb) 13772

[startup+980.09 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1503 0 0 0 43729 4137 0 0 17 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 843.48
Current children cumulated vsize (Kb) 13836

[startup+990.091 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1503 0 0 0 44645 4165 0 0 18 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 852.92
Current children cumulated vsize (Kb) 13836

[startup+1000.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1503 0 0 0 45566 4192 0 0 17 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 862.4
Current children cumulated vsize (Kb) 13836

[startup+1010.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1503 0 0 0 46499 4213 0 0 15 0 1 0 1784944159 11988992 1467 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1467 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 871.94
Current children cumulated vsize (Kb) 13836

[startup+1020.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1504 0 0 0 47452 4230 0 0 25 0 1 0 1784944159 11988992 1468 4294967295 134512640 134702520 3221223712 3221222992 134557206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1468 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 881.64
Current children cumulated vsize (Kb) 13836

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1506 0 0 0 48389 4252 0 0 22 0 1 0 1784944159 11988992 1470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2927 1470 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 891.23
Current children cumulated vsize (Kb) 13836

[startup+1040.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1509 0 0 0 49320 4274 0 0 18 0 1 0 1784944159 11988992 1473 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1473 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 900.76
Current children cumulated vsize (Kb) 13836

[startup+1050.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1512 0 0 0 50285 4288 0 0 25 0 1 0 1784944159 11988992 1476 4294967295 134512640 134702520 3221223712 3221222972 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2927 1476 413 48 0 2879 0
[pid=6401] vsize: 11708
Current children cumulated CPU time (s) 910.55
Current children cumulated vsize (Kb) 13836

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1513 0 0 0 50856 4431 0 0 16 0 1 0 1784944159 11472896 1464 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1464 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 917.69
Current children cumulated vsize (Kb) 13332

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1515 0 0 0 51470 4559 0 0 19 0 1 0 1784944159 11472896 1466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1466 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 925.11
Current children cumulated vsize (Kb) 13332

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1516 0 0 0 52386 4586 0 0 18 0 1 0 1784944159 11472896 1467 4294967295 134512640 134702520 3221223712 3221222992 134557423 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1467 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 934.54
Current children cumulated vsize (Kb) 13332

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1516 0 0 0 53308 4610 0 0 18 0 1 0 1784944159 11472896 1467 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1467 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 944
Current children cumulated vsize (Kb) 13332

[startup+1100.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1516 0 0 0 54227 4636 0 0 18 0 1 0 1784944159 11472896 1467 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1467 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 953.45
Current children cumulated vsize (Kb) 13332

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1518 0 0 0 55151 4662 0 0 17 0 1 0 1784944159 11472896 1469 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1469 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 962.95
Current children cumulated vsize (Kb) 13332

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1518 0 0 0 56112 4676 0 0 25 0 1 0 1784944159 11472896 1469 4294967295 134512640 134702520 3221223712 3221135648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1469 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 972.7
Current children cumulated vsize (Kb) 13332

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1520 0 0 0 57033 4704 0 0 25 0 1 0 1784944159 11472896 1471 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1471 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 982.19
Current children cumulated vsize (Kb) 13332

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1521 0 0 0 57591 4850 0 0 16 0 1 0 1784944159 11472896 1472 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1472 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 989.23
Current children cumulated vsize (Kb) 13332

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 58211 4974 0 0 18 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 996.67
Current children cumulated vsize (Kb) 13332

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 59106 5010 0 0 19 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221190028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1005.98
Current children cumulated vsize (Kb) 13332

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 60006 5043 0 0 19 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221177408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1015.31
Current children cumulated vsize (Kb) 13332

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 60903 5077 0 0 20 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221165408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1024.62
Current children cumulated vsize (Kb) 13332

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1523 0 0 0 61804 5107 0 0 18 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221110188 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1033.93
Current children cumulated vsize (Kb) 13332

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1523 0 0 0 62711 5137 0 0 20 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1043.3
Current children cumulated vsize (Kb) 13332

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1523 0 0 0 63176 5306 0 0 16 0 1 0 1784944159 11472896 1474 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1474 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1049.64
Current children cumulated vsize (Kb) 13332

[startup+1220.11 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1526 0 0 0 63848 5413 0 0 16 0 1 0 1784944159 11472896 1477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1477 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1057.43
Current children cumulated vsize (Kb) 13332

[startup+1230.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1527 0 0 0 64716 5459 0 0 17 0 1 0 1784944159 11472896 1478 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1478 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1066.57
Current children cumulated vsize (Kb) 13332

[startup+1240.12 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1527 0 0 0 65600 5501 0 0 17 0 1 0 1784944159 11472896 1478 4294967295 134512640 134702520 3221223712 3221222992 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1478 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1075.83
Current children cumulated vsize (Kb) 13332

[startup+1250.12 s]
Raw data (loadavg): 1.12 1.04 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1527 0 0 0 66492 5539 0 0 18 0 1 0 1784944159 11472896 1478 4294967295 134512640 134702520 3221223712 3221222992 134552844 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1478 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1085.13
Current children cumulated vsize (Kb) 13332

[startup+1260.12 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1536 0 0 0 67393 5573 0 0 19 0 1 0 1784944159 11472896 1487 4294967295 134512640 134702520 3221223712 3221222832 134572622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1487 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1094.48
Current children cumulated vsize (Kb) 13332

[startup+1270.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1536 0 0 0 67990 5702 0 0 16 0 1 0 1784944159 11472896 1487 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1487 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1101.74
Current children cumulated vsize (Kb) 13332

[startup+1280.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 68560 5845 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1108.87
Current children cumulated vsize (Kb) 13332

[startup+1290.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 69444 5886 0 0 18 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221189548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1118.12
Current children cumulated vsize (Kb) 13332

[startup+1300.12 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 70299 5933 0 0 16 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1127.14
Current children cumulated vsize (Kb) 13332

[startup+1310.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 71178 5971 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1136.31
Current children cumulated vsize (Kb) 13332

[startup+1320.12 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 72076 6005 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1145.63
Current children cumulated vsize (Kb) 13332

[startup+1330.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 72998 6032 0 0 16 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1155.12
Current children cumulated vsize (Kb) 13332

[startup+1340.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1537 0 0 0 73315 6255 0 0 15 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1160.52
Current children cumulated vsize (Kb) 13332

[startup+1350.13 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 74137 6314 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1169.33
Current children cumulated vsize (Kb) 13332

[startup+1360.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 75022 6353 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1178.57
Current children cumulated vsize (Kb) 13332

[startup+1370.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1537 0 0 0 75926 6388 0 0 17 0 1 0 1784944159 11472896 1488 4294967295 134512640 134702520 3221223712 3221222992 134552693 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1488 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1187.96
Current children cumulated vsize (Kb) 13332

[startup+1380.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) R 6396 6396 30740 0 -1 0 1538 0 0 0 76834 6420 0 0 18 0 1 0 1784944159 11472896 1489 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1489 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1197.36
Current children cumulated vsize (Kb) 13332

[startup+1390.13 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1539 0 0 0 77790 6436 0 0 25 0 1 0 1784944159 11472896 1490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1490 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1207.08
Current children cumulated vsize (Kb) 13332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.13 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6401
Raw data (/proc/6396/stat): 6396 (vallstSAT2005PB) S 6395 6396 30740 0 -1 0 378 1811 0 0 1 1 33907 2573 17 0 1 0 1784902527 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6396/statm): 532 248 485 147 0 385 0
[pid=6396] vsize: 2128
Raw data (/proc/6401/stat): 6401 (vallst) T 6396 6396 30740 0 -1 0 1539 0 0 0 77790 6436 0 0 25 0 1 0 1784944159 11472896 1490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6401/statm): 2801 1490 413 48 0 2753 0
[pid=6401] vsize: 11204
Current children cumulated CPU time (s) 1207.08
Current children cumulated vsize (Kb) 13332

Sending SIGTERM to -6396
Sleeping 2 seconds
New process pid=6403
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6404
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1666/stat
open syscall for file /proc/1666/status
open syscall for file /proc/1666/cmdline
open syscall for file /proc/1666/environ
open syscall for file /proc/1667/stat
open syscall for file /proc/1667/status
open syscall for file /proc/1667/cmdline
open syscall for file /proc/1667/environ
open syscall for file /proc/19602/stat
open syscall for file /proc/19602/status
open syscall for file /proc/19602/cmdline
open syscall for file /proc/19602/environ
open syscall for file /proc/32385/stat
open syscall for file /proc/32385/status
open syscall for file /proc/32385/cmdline
open syscall for file /proc/32385/environ
open syscall for file /proc/32412/stat
open syscall for file /proc/32412/status
open syscall for file /proc/32412/cmdline
open syscall for file /proc/32412/environ
open syscall for file /proc/32436/stat
open syscall for file /proc/32436/status
open syscall for file /proc/32436/cmdline
open syscall for file /proc/32436/environ
open syscall for file /proc/15057/stat
open syscall for file /proc/15057/status
open syscall for file /proc/15057/cmdline
open syscall for file /proc/15057/environ
open syscall for file /proc/11130/stat
open syscall for file /proc/11130/status
open syscall for file /proc/11130/cmdline
open syscall for file /proc/11130/environ
open syscall for file /proc/12800/stat
open syscall for file /proc/12800/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/12800/cmdline
open syscall for file /proc/12800/environ
open syscall for file /proc/12836/stat
open syscall for file /proc/12836/status
open syscall for file /proc/12836/cmdline
open syscall for file /proc/12836/environ
open syscall for file /proc/30740/stat
open syscall for file /proc/30740/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/30740/cmdline
open syscall for file /proc/30740/environ
open syscall for file /proc/30741/stat
open syscall for file /proc/30741/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/30741/cmdline
open syscall for file /proc/30741/environ
open syscall for file /proc/30750/stat
open syscall for file /proc/30750/status
open syscall for file /proc/30750/cmdline
open syscall for file /proc/30750/environ
open syscall for file /proc/6359/stat
open syscall for file /proc/6359/status
open syscall for file /proc/6359/cmdline
open syscall for file /proc/6359/environ
open syscall for file /proc/6395/stat
open syscall for file /proc/6395/status
open syscall for file /proc/6395/cmdline
open syscall for file /proc/6395/environ
open syscall for file /proc/6396/stat
open syscall for file /proc/6396/status
open syscall for file /proc/6396/cmdline
open syscall for file /proc/6396/environ
open syscall for file /proc/6401/stat
open syscall for file /proc/6401/status
open syscall for file /proc/6401/cmdline
open syscall for file /proc/6401/environ
open syscall for file /proc/6403/stat
open syscall for file /proc/6403/status
open syscall for file /proc/6403/cmdline
open syscall for file /proc/6403/environ
open syscall for file /proc/6404/stat
open syscall for file /proc/6404/status
open syscall for file /proc/6404/cmdline
open syscall for file /proc/6404/environ
One traced child (pid=6403) exited with status: 0
One traced child (pid=6404) exited with status: 0
New process pid=6405
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=6405) exited with status: 0
New process pid=6406
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=6406) exited with status: 0
One traced child (pid=6396) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6401) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1390.68
CPU time (s): 842.785
CPU user time (s): 778.36
CPU system time (s): 64.4252
CPU usage (%): 60.6024
Max. virtual memory (cumulated for all children) (Kb): 13836

Verifier Data

ERROR: no interpretation found !