Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUM827023c27ed4657a4077da2b27355df8
Bench Categoryoptimization, big integers (OPTBIGINT)
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 508832629179091
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables11503
Total number of constraints10724
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10588
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint9784

Trace number 9104

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        940432 kB
Buffers:          9232 kB
Cached:          67744 kB
SwapCached:          0 kB
Active:          51764 kB
Inactive:        28164 kB
HighTotal:      131008 kB
HighFree:        58828 kB
LowTotal:       903652 kB
LowFree:        881604 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8768 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:14:36 (client local time) WITH STATUS 3 IN 612.893 SECONDS
stats: 7784 7 612.893 3

Solver Data

1:
seed: 0
Nr of vars set: 1677  (#equs: 0)
Nr of vars set: 1677  (#equs: 0)
#decisions: 1495393;  #end-nodes: 20609;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 930, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1677  (#equs: 0)
Time taken: 9 min, 55 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: 1677  (#equs: 0)
Nr of vars set: 1677  (#equs: 0)
Interupt request received.
#decisions: 1426409;  #end-nodes: 26168;
#proof improvement attempts: 0;  #restarts: 179
Current batch, end-nodes: 0 / 164 (164)
#axs: 930, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 7852  (#equs: 0)
Time taken: 10 min, 12 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/4649/stat): 4649 (vallstSAT2005PB) R 4648 4649 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19578550 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4649/statm): 174 3 169 147 0 27 0
[pid=4649] 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=4650
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=4650) exited with status: 0
New process pid=4651
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=4651) exited with status: 0
New process pid=4652
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/wulflinc27/normalized-mps-v2-20-10-blp-ic97.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.96 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 1580 0 0 0 940 24 0 0 25 0 1 0 19578559 8413184 1370 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 2054 1370 413 48 0 2006 0
[pid=4652] vsize: 8216
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (Kb) 10344

[startup+20.0045 s]
Raw data (loadavg): 0.96 0.97 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 1580 0 0 0 1714 98 0 0 25 0 1 0 19578559 8413184 1370 4294967295 134512640 134702520 3221223952 3221223088 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 2054 1370 413 48 0 2006 0
[pid=4652] vsize: 8216
Current children cumulated CPU time (s) 18.13
Current children cumulated vsize (Kb) 10344

[startup+30.0053 s]
Raw data (loadavg): 0.97 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 1895 0 0 0 2627 129 0 0 25 0 1 0 19578559 16728064 1685 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 1685 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 27.57
Current children cumulated vsize (Kb) 18464

[startup+40.0061 s]
Raw data (loadavg): 0.97 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2166 0 0 0 3502 169 0 0 18 0 1 0 19578559 16728064 1956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 1956 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 36.72
Current children cumulated vsize (Kb) 18464

[startup+50.0069 s]
Raw data (loadavg): 0.98 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2208 0 0 0 4382 212 0 0 25 0 1 0 19578559 16728064 1998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 1998 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 45.95
Current children cumulated vsize (Kb) 18464

[startup+60.0078 s]
Raw data (loadavg): 0.98 0.97 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2208 0 0 0 5265 250 0 0 25 0 1 0 19578559 16728064 1998 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 1998 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 55.16
Current children cumulated vsize (Kb) 18464

[startup+70.0086 s]
Raw data (loadavg): 0.98 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2208 0 0 0 6163 283 0 0 25 0 1 0 19578559 16728064 1998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 1998 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 64.47
Current children cumulated vsize (Kb) 18464

[startup+80.0094 s]
Raw data (loadavg): 0.98 0.97 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2208 0 0 0 7044 325 0 0 25 0 1 0 19578559 16728064 1998 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 1998 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 73.7
Current children cumulated vsize (Kb) 18464

[startup+90.0102 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2208 0 0 0 7924 365 0 0 25 0 1 0 19578559 16728064 1998 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 1998 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 82.9
Current children cumulated vsize (Kb) 18464

[startup+100.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2218 0 0 0 8816 400 0 0 25 0 1 0 19578559 16728064 2008 4294967295 134512640 134702520 3221223952 3221223232 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2008 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 92.17
Current children cumulated vsize (Kb) 18464

[startup+110.011 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2223 0 0 0 9696 441 0 0 25 0 1 0 19578559 16728064 2013 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2013 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (Kb) 18464

[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2230 0 0 0 10590 475 0 0 25 0 1 0 19578559 16728064 2020 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2020 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 110.66
Current children cumulated vsize (Kb) 18464

[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2230 0 0 0 11462 517 0 0 25 0 1 0 19578559 16728064 2020 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2020 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 119.8
Current children cumulated vsize (Kb) 18464

[startup+140.013 s]
Raw data (loadavg): 1.07 0.99 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2240 0 0 0 12350 555 0 0 25 0 1 0 19578559 16728064 2030 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2030 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 129.06
Current children cumulated vsize (Kb) 18464

[startup+150.014 s]
Raw data (loadavg): 1.06 0.99 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2259 0 0 0 13235 594 0 0 25 0 1 0 19578559 16728064 2049 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2049 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (Kb) 18464

[startup+160.015 s]
Raw data (loadavg): 1.05 0.99 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2259 0 0 0 14116 635 0 0 25 0 1 0 19578559 16728064 2049 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2049 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 147.52
Current children cumulated vsize (Kb) 18464

[startup+170.016 s]
Raw data (loadavg): 1.04 0.99 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2259 0 0 0 15014 671 0 0 25 0 1 0 19578559 16728064 2049 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2049 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 156.86
Current children cumulated vsize (Kb) 18464

[startup+180.017 s]
Raw data (loadavg): 1.04 0.99 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2259 0 0 0 15898 708 0 0 25 0 1 0 19578559 16728064 2049 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2049 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 166.07
Current children cumulated vsize (Kb) 18464

[startup+190.017 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2295 0 0 0 16783 749 0 0 25 0 1 0 19578559 16728064 2085 4294967295 134512640 134702520 3221223952 3221223072 134584454 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2085 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 175.33
Current children cumulated vsize (Kb) 18464

[startup+200.017 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2295 0 0 0 17656 792 0 0 25 0 1 0 19578559 16728064 2085 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2085 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 184.49
Current children cumulated vsize (Kb) 18464

[startup+210.018 s]
Raw data (loadavg): 1.02 0.99 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2295 0 0 0 18565 822 0 0 25 0 1 0 19578559 16728064 2085 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2085 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 193.88
Current children cumulated vsize (Kb) 18464

[startup+220.019 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2295 0 0 0 19437 865 0 0 25 0 1 0 19578559 16728064 2085 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2085 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 203.03
Current children cumulated vsize (Kb) 18464

[startup+230.02 s]
Raw data (loadavg): 1.01 0.99 0.93 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2295 0 0 0 20323 904 0 0 25 0 1 0 19578559 16728064 2085 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2085 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 212.28
Current children cumulated vsize (Kb) 18464

[startup+240.02 s]
Raw data (loadavg): 1.09 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2303 0 0 0 21204 943 0 0 25 0 1 0 19578559 16728064 2093 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2093 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (Kb) 18464

[startup+250.02 s]
Raw data (loadavg): 1.08 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2303 0 0 0 22110 975 0 0 25 0 1 0 19578559 16728064 2093 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2093 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 230.86
Current children cumulated vsize (Kb) 18464

[startup+260.021 s]
Raw data (loadavg): 1.06 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2303 0 0 0 23008 1009 0 0 25 0 1 0 19578559 16728064 2093 4294967295 134512640 134702520 3221223952 3221223232 134552719 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2093 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 240.18
Current children cumulated vsize (Kb) 18464

[startup+270.022 s]
Raw data (loadavg): 1.05 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2316 0 0 0 23884 1052 0 0 25 0 1 0 19578559 16728064 2106 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2106 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 249.37
Current children cumulated vsize (Kb) 18464

[startup+280.023 s]
Raw data (loadavg): 1.05 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2316 0 0 0 24761 1092 0 0 25 0 1 0 19578559 16728064 2106 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2106 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 258.54
Current children cumulated vsize (Kb) 18464

[startup+290.024 s]
Raw data (loadavg): 1.04 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2322 0 0 0 25655 1128 0 0 25 0 1 0 19578559 16728064 2112 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2112 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 267.84
Current children cumulated vsize (Kb) 18464

[startup+300.024 s]
Raw data (loadavg): 1.03 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2340 0 0 0 26536 1171 0 0 25 0 1 0 19578559 16728064 2130 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2130 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 277.08
Current children cumulated vsize (Kb) 18464

[startup+310.025 s]
Raw data (loadavg): 1.03 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2340 0 0 0 27483 1191 0 0 25 0 1 0 19578559 16728064 2130 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2130 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 286.75
Current children cumulated vsize (Kb) 18464

[startup+320.026 s]
Raw data (loadavg): 1.02 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2340 0 0 0 28268 1261 0 0 23 0 1 0 19578559 16728064 2130 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2130 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 295.3
Current children cumulated vsize (Kb) 18464

[startup+330.028 s]
Raw data (loadavg): 1.02 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2340 0 0 0 29177 1290 0 0 25 0 1 0 19578559 16728064 2130 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2130 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 304.68
Current children cumulated vsize (Kb) 18464

[startup+340.029 s]
Raw data (loadavg): 1.02 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2362 0 0 0 30083 1322 0 0 25 0 1 0 19578559 16728064 2152 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2152 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 314.06
Current children cumulated vsize (Kb) 18464

[startup+350.029 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2362 0 0 0 30967 1363 0 0 25 0 1 0 19578559 16728064 2152 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2152 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 323.31
Current children cumulated vsize (Kb) 18464

[startup+360.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2380 0 0 0 31849 1400 0 0 25 0 1 0 19578559 16728064 2170 4294967295 134512640 134702520 3221223952 3221223232 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2170 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 332.5
Current children cumulated vsize (Kb) 18464

[startup+370.032 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2380 0 0 0 32735 1438 0 0 24 0 1 0 19578559 16728064 2170 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2170 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 341.74
Current children cumulated vsize (Kb) 18464

[startup+380.033 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2380 0 0 0 33626 1475 0 0 25 0 1 0 19578559 16728064 2170 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2170 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 351.02
Current children cumulated vsize (Kb) 18464

[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2380 0 0 0 34513 1514 0 0 25 0 1 0 19578559 16728064 2170 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2170 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 360.28
Current children cumulated vsize (Kb) 18464

[startup+400.034 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2380 0 0 0 35396 1554 0 0 25 0 1 0 19578559 16728064 2170 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2170 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 369.51
Current children cumulated vsize (Kb) 18464

[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2387 0 0 0 36279 1597 0 0 25 0 1 0 19578559 16728064 2177 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2177 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 378.77
Current children cumulated vsize (Kb) 18464

[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4652
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2406 0 0 0 37184 1632 0 0 25 0 1 0 19578559 16728064 2196 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2196 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 388.17
Current children cumulated vsize (Kb) 18464

[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 4653
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2406 0 0 0 38064 1673 0 0 18 0 1 0 19578559 16728064 2196 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2196 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 397.38
Current children cumulated vsize (Kb) 18464

[startup+440.038 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 4707
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2406 0 0 0 38942 1713 0 0 22 0 1 0 19578559 16728064 2196 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2196 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 406.56
Current children cumulated vsize (Kb) 18464

[startup+450.038 s]
Raw data (loadavg): 1.06 1.02 0.94 1/56 4707
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2427 0 0 0 39836 1752 0 0 25 0 1 0 19578559 16728064 2217 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2217 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 415.89
Current children cumulated vsize (Kb) 18464

[startup+460.038 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 4707
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2427 0 0 0 40726 1789 0 0 17 0 1 0 19578559 16728064 2217 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2217 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 425.16
Current children cumulated vsize (Kb) 18464

[startup+470.039 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 4707
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2430 0 0 0 41626 1822 0 0 25 0 1 0 19578559 16728064 2220 4294967295 134512640 134702520 3221223952 3221223232 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2220 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 434.49
Current children cumulated vsize (Kb) 18464

[startup+480.041 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 4707
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2431 0 0 0 42504 1862 0 0 24 0 1 0 19578559 16728064 2221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2221 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 443.67
Current children cumulated vsize (Kb) 18464

[startup+490.042 s]
Raw data (loadavg): 1.10 1.03 0.95 1/56 4709
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2431 0 0 0 43389 1900 0 0 25 0 1 0 19578559 16728064 2221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2221 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 452.9
Current children cumulated vsize (Kb) 18464

[startup+500.042 s]
Raw data (loadavg): 1.09 1.03 0.95 2/56 4709
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2433 0 0 0 44269 1941 0 0 25 0 1 0 19578559 16728064 2223 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2223 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (Kb) 18464

[startup+510.043 s]
Raw data (loadavg): 1.07 1.03 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2433 0 0 0 45265 1943 0 0 25 0 1 0 19578559 16728064 2223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2223 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 472.09
Current children cumulated vsize (Kb) 18464

[startup+520.043 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2433 0 0 0 46143 1983 0 0 25 0 1 0 19578559 16728064 2223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2223 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 481.27
Current children cumulated vsize (Kb) 18464

[startup+530.045 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2488 0 0 0 47052 2012 0 0 25 0 1 0 19578559 16728064 2278 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2278 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 490.65
Current children cumulated vsize (Kb) 18464

[startup+540.046 s]
Raw data (loadavg): 1.04 1.02 0.95 2/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2488 0 0 0 47976 2036 0 0 25 0 1 0 19578559 16728064 2278 4294967295 134512640 134702520 3221223952 3221223232 134552449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4652/statm): 4084 2278 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 500.13
Current children cumulated vsize (Kb) 18464

[startup+550.046 s]
Raw data (loadavg): 1.04 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2530 0 0 0 48865 2075 0 0 24 0 1 0 19578559 16728064 2320 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2320 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 509.41
Current children cumulated vsize (Kb) 18464

[startup+560.047 s]
Raw data (loadavg): 1.03 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2530 0 0 0 49753 2110 0 0 25 0 1 0 19578559 16728064 2320 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2320 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 518.64
Current children cumulated vsize (Kb) 18464

[startup+570.047 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2530 0 0 0 50638 2147 0 0 23 0 1 0 19578559 16728064 2320 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4084 2320 413 48 0 4036 0
[pid=4652] vsize: 16336
Current children cumulated CPU time (s) 527.86
Current children cumulated vsize (Kb) 18464

[startup+580.048 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2531 0 0 0 51530 2183 0 0 25 0 1 0 19578559 16834560 2321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2321 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 537.14
Current children cumulated vsize (Kb) 18568

[startup+590.049 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2531 0 0 0 52414 2222 0 0 25 0 1 0 19578559 16834560 2321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2321 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 546.37
Current children cumulated vsize (Kb) 18568

[startup+600.05 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2531 0 0 0 53316 2254 0 0 22 0 1 0 19578559 16834560 2321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2321 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 555.71
Current children cumulated vsize (Kb) 18568

[startup+610.051 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2531 0 0 0 54194 2294 0 0 25 0 1 0 19578559 16834560 2321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2321 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 564.89
Current children cumulated vsize (Kb) 18568

[startup+620.051 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2531 0 0 0 55078 2332 0 0 25 0 1 0 19578559 16834560 2321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2321 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 574.11
Current children cumulated vsize (Kb) 18568

[startup+630.053 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) T 4649 4649 4005 0 -1 0 2533 0 0 0 56012 2353 0 0 25 0 1 0 19578559 16834560 2323 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2323 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 583.66
Current children cumulated vsize (Kb) 18568

[startup+640.054 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4713
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19578550 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 242 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4652/stat): 4652 (vallst) R 4649 4649 4005 0 -1 0 2534 0 0 0 56846 2409 0 0 16 0 1 0 19578559 16834560 2324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4652/statm): 4110 2324 413 48 0 4062 0
[pid=4652] vsize: 16440
Current children cumulated CPU time (s) 592.56
Current children cumulated vsize (Kb) 18568
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=4652) exited with status: 2
New process pid=4714
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=4714) exited with status: 0
New process pid=4715
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+650.054 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 1107 0 0 0 615 14 0 0 25 0 1 0 19642914 6586368 1078 4294967295 134512640 134702520 3221223712 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 1608 1078 413 48 0 1560 0
[pid=4715] vsize: 6432
Current children cumulated CPU time (s) 601.88
Current children cumulated vsize (Kb) 8560

[startup+660.056 s]
Raw data (loadavg): 1.08 1.03 0.95 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 1153 0 0 0 1389 86 0 0 25 0 1 0 19642914 6856704 1124 4294967295 134512640 134702520 3221223712 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 1674 1124 413 48 0 1626 0
[pid=4715] vsize: 6696
Current children cumulated CPU time (s) 610.34
Current children cumulated vsize (Kb) 8824

[startup+670.057 s]
Raw data (loadavg): 1.06 1.03 0.95 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 1749 0 0 0 2299 119 0 0 25 0 1 0 19642914 13352960 1695 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3260 1695 413 48 0 3212 0
[pid=4715] vsize: 13040
Current children cumulated CPU time (s) 619.77
Current children cumulated vsize (Kb) 15168

[startup+680.057 s]
Raw data (loadavg): 1.13 1.04 0.96 1/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2299 0 0 0 3190 155 0 0 25 0 1 0 19642914 13352960 2245 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3260 2245 413 48 0 3212 0
[pid=4715] vsize: 13040
Current children cumulated CPU time (s) 629.04
Current children cumulated vsize (Kb) 15168

[startup+690.058 s]
Raw data (loadavg): 1.18 1.06 0.96 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 4080 195 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223256 1074652273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 638.34
Current children cumulated vsize (Kb) 15172

[startup+700.058 s]
Raw data (loadavg): 1.15 1.05 0.96 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 4976 232 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 647.67
Current children cumulated vsize (Kb) 15172

[startup+710.059 s]
Raw data (loadavg): 1.13 1.05 0.96 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 5889 260 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 657.08
Current children cumulated vsize (Kb) 15172

[startup+720.06 s]
Raw data (loadavg): 1.11 1.05 0.96 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 6864 267 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 666.9
Current children cumulated vsize (Kb) 15172

[startup+730.061 s]
Raw data (loadavg): 1.09 1.05 0.96 1/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 7758 305 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 676.22
Current children cumulated vsize (Kb) 15172

[startup+740.062 s]
Raw data (loadavg): 1.08 1.05 0.96 1/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 8646 340 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 685.45
Current children cumulated vsize (Kb) 15172

[startup+750.062 s]
Raw data (loadavg): 1.14 1.06 0.97 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 9527 382 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 694.68
Current children cumulated vsize (Kb) 15172

[startup+760.063 s]
Raw data (loadavg): 1.12 1.06 0.97 1/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 10408 422 0 0 24 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 703.89
Current children cumulated vsize (Kb) 15172

[startup+770.064 s]
Raw data (loadavg): 1.10 1.06 0.97 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 11311 453 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221024448 134611872 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 713.23
Current children cumulated vsize (Kb) 15172

[startup+780.065 s]
Raw data (loadavg): 1.08 1.05 0.97 2/56 4715
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 12203 488 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 722.5
Current children cumulated vsize (Kb) 15172

[startup+790.066 s]
Raw data (loadavg): 1.07 1.05 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 13090 525 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 731.74
Current children cumulated vsize (Kb) 15172

[startup+800.067 s]
Raw data (loadavg): 1.06 1.05 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 13983 561 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 741.03
Current children cumulated vsize (Kb) 15172

[startup+810.068 s]
Raw data (loadavg): 1.05 1.05 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2841 0 0 0 14875 597 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 750.31
Current children cumulated vsize (Kb) 15172

[startup+820.069 s]
Raw data (loadavg): 1.04 1.05 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2841 0 0 0 15772 631 0 0 25 0 1 0 19642914 13357056 2787 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3261 2787 413 48 0 3213 0
[pid=4715] vsize: 13044
Current children cumulated CPU time (s) 759.62
Current children cumulated vsize (Kb) 15172

[startup+830.069 s]
Raw data (loadavg): 1.03 1.04 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2842 0 0 0 16672 663 0 0 25 0 1 0 19642914 13484032 2788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2788 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 768.94
Current children cumulated vsize (Kb) 15296

[startup+840.07 s]
Raw data (loadavg): 1.03 1.04 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2843 0 0 0 17567 695 0 0 25 0 1 0 19642914 13484032 2789 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2789 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 778.21
Current children cumulated vsize (Kb) 15296

[startup+850.07 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2845 0 0 0 18452 734 0 0 25 0 1 0 19642914 13484032 2791 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2791 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 787.45
Current children cumulated vsize (Kb) 15296

[startup+860.071 s]
Raw data (loadavg): 1.02 1.04 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2848 0 0 0 19346 772 0 0 25 0 1 0 19642914 13484032 2794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2794 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 796.77
Current children cumulated vsize (Kb) 15296

[startup+870.072 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2850 0 0 0 20233 809 0 0 25 0 1 0 19642914 13484032 2796 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2796 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 806.01
Current children cumulated vsize (Kb) 15296

[startup+880.073 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2853 0 0 0 21134 842 0 0 25 0 1 0 19642914 13484032 2799 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2799 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 815.35
Current children cumulated vsize (Kb) 15296

[startup+890.073 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2855 0 0 0 22027 876 0 0 25 0 1 0 19642914 13484032 2801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2801 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 824.62
Current children cumulated vsize (Kb) 15296

[startup+900.074 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2858 0 0 0 22915 913 0 0 25 0 1 0 19642914 13484032 2804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2804 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 833.87
Current children cumulated vsize (Kb) 15296

[startup+910.075 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2860 0 0 0 23807 948 0 0 25 0 1 0 19642914 13484032 2806 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2806 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 843.14
Current children cumulated vsize (Kb) 15296

[startup+920.076 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2861 0 0 0 24759 964 0 0 25 0 1 0 19642914 13484032 2807 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2807 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 852.82
Current children cumulated vsize (Kb) 15296

[startup+930.077 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2861 0 0 0 25732 974 0 0 25 0 1 0 19642914 13484032 2807 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2807 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 862.65
Current children cumulated vsize (Kb) 15296

[startup+940.077 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2861 0 0 0 26668 996 0 0 25 0 1 0 19642914 13484032 2807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2807 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 872.23
Current children cumulated vsize (Kb) 15296

[startup+950.077 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2863 0 0 0 27562 1032 0 0 25 0 1 0 19642914 13484032 2809 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3292 2809 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 881.53
Current children cumulated vsize (Kb) 15296

[startup+960.078 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2868 0 0 0 28453 1067 0 0 22 0 1 0 19642914 13484032 2814 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3292 2814 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 890.79
Current children cumulated vsize (Kb) 15296

[startup+970.079 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2869 0 0 0 29352 1103 0 0 25 0 1 0 19642914 13484032 2815 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2815 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 900.14
Current children cumulated vsize (Kb) 15296

[startup+980.08 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2872 0 0 0 30247 1140 0 0 25 0 1 0 19642914 13484032 2818 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3292 2818 413 48 0 3244 0
[pid=4715] vsize: 13168
Current children cumulated CPU time (s) 909.46
Current children cumulated vsize (Kb) 15296

[startup+990.081 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2874 0 0 0 31143 1174 0 0 25 0 1 0 19642914 13619200 2820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2820 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 918.76
Current children cumulated vsize (Kb) 15428

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2879 0 0 0 32069 1199 0 0 25 0 1 0 19642914 13619200 2825 4294967295 134512640 134702520 3221223712 3221222736 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2825 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 928.27
Current children cumulated vsize (Kb) 15428

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2880 0 0 0 32903 1250 0 0 16 0 1 0 19642914 13619200 2826 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3325 2826 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 937.12
Current children cumulated vsize (Kb) 15428

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2880 0 0 0 33760 1297 0 0 24 0 1 0 19642914 13619200 2826 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2826 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 946.16
Current children cumulated vsize (Kb) 15428

[startup+1030.08 s]
Raw data (loadavg): 1.07 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2883 0 0 0 34660 1332 0 0 25 0 1 0 19642914 13619200 2829 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2829 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 955.51
Current children cumulated vsize (Kb) 15428

[startup+1040.09 s]
Raw data (loadavg): 1.06 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2884 0 0 0 35596 1355 0 0 25 0 1 0 19642914 13619200 2830 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2830 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 965.1
Current children cumulated vsize (Kb) 15428

[startup+1050.09 s]
Raw data (loadavg): 1.05 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2885 0 0 0 36533 1373 0 0 25 0 1 0 19642914 13619200 2831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2831 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 974.65
Current children cumulated vsize (Kb) 15428

[startup+1060.09 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2886 0 0 0 37436 1410 0 0 25 0 1 0 19642914 13619200 2832 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2832 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 984.05
Current children cumulated vsize (Kb) 15428

[startup+1070.09 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2887 0 0 0 38322 1448 0 0 25 0 1 0 19642914 13619200 2833 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2833 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 993.29
Current children cumulated vsize (Kb) 15428

[startup+1080.09 s]
Raw data (loadavg): 1.03 1.03 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2889 0 0 0 39222 1481 0 0 24 0 1 0 19642914 13619200 2835 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2835 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1002.62
Current children cumulated vsize (Kb) 15428

[startup+1090.09 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2890 0 0 0 40103 1519 0 0 25 0 1 0 19642914 13619200 2836 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3325 2836 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1011.81
Current children cumulated vsize (Kb) 15428

[startup+1100.09 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2891 0 0 0 41060 1532 0 0 25 0 1 0 19642914 13619200 2837 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2837 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1021.51
Current children cumulated vsize (Kb) 15428

[startup+1110.09 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2892 0 0 0 41983 1557 0 0 25 0 1 0 19642914 13619200 2838 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2838 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1030.99
Current children cumulated vsize (Kb) 15428

[startup+1120.09 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2894 0 0 0 42881 1590 0 0 25 0 1 0 19642914 13619200 2840 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2840 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1040.3
Current children cumulated vsize (Kb) 15428

[startup+1130.09 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2896 0 0 0 43773 1626 0 0 25 0 1 0 19642914 13619200 2842 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2842 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1049.58
Current children cumulated vsize (Kb) 15428

[startup+1140.09 s]
Raw data (loadavg): 1.08 1.04 0.98 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2897 0 0 0 44678 1663 0 0 25 0 1 0 19642914 13619200 2843 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3325 2843 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1059
Current children cumulated vsize (Kb) 15428

[startup+1150.09 s]
Raw data (loadavg): 1.07 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2899 0 0 0 45578 1694 0 0 25 0 1 0 19642914 13619200 2845 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2845 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1068.31
Current children cumulated vsize (Kb) 15428

[startup+1160.1 s]
Raw data (loadavg): 1.06 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2900 0 0 0 46466 1733 0 0 25 0 1 0 19642914 13619200 2846 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2846 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1077.58
Current children cumulated vsize (Kb) 15428

[startup+1170.1 s]
Raw data (loadavg): 1.05 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2903 0 0 0 47355 1769 0 0 25 0 1 0 19642914 13619200 2849 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2849 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1086.83
Current children cumulated vsize (Kb) 15428

[startup+1180.1 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2904 0 0 0 48249 1805 0 0 25 0 1 0 19642914 13619200 2850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3325 2850 413 48 0 3277 0
[pid=4715] vsize: 13300
Current children cumulated CPU time (s) 1096.13
Current children cumulated vsize (Kb) 15428

[startup+1190.1 s]
Raw data (loadavg): 1.11 1.04 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2907 0 0 0 49157 1838 0 0 25 0 1 0 19642914 13754368 2853 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3358 2853 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1105.54
Current children cumulated vsize (Kb) 15560

[startup+1200.1 s]
Raw data (loadavg): 1.10 1.04 0.98 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2911 0 0 0 50042 1876 0 0 25 0 1 0 19642914 13754368 2857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2857 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1114.77
Current children cumulated vsize (Kb) 15560

[startup+1210.1 s]
Raw data (loadavg): 1.08 1.04 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2913 0 0 0 50944 1910 0 0 24 0 1 0 19642914 13754368 2859 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3358 2859 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1124.13
Current children cumulated vsize (Kb) 15560

[startup+1220.1 s]
Raw data (loadavg): 1.07 1.04 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2914 0 0 0 51834 1949 0 0 25 0 1 0 19642914 13754368 2860 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2860 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1133.42
Current children cumulated vsize (Kb) 15560

[startup+1230.1 s]
Raw data (loadavg): 1.06 1.04 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2915 0 0 0 52723 1986 0 0 25 0 1 0 19642914 13754368 2861 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2861 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1142.68
Current children cumulated vsize (Kb) 15560

[startup+1240.1 s]
Raw data (loadavg): 1.05 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2917 0 0 0 53639 2015 0 0 25 0 1 0 19642914 13754368 2863 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2863 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1152.13
Current children cumulated vsize (Kb) 15560

[startup+1250.1 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2919 0 0 0 54529 2051 0 0 25 0 1 0 19642914 13754368 2865 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4715/statm): 3358 2865 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1161.39
Current children cumulated vsize (Kb) 15560

[startup+1260.1 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2920 0 0 0 55419 2088 0 0 25 0 1 0 19642914 13754368 2866 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2866 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1170.66
Current children cumulated vsize (Kb) 15560

[startup+1270.11 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) R 4649 4649 4005 0 -1 0 2923 0 0 0 56315 2124 0 0 25 0 1 0 19642914 13754368 2869 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2869 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1179.98
Current children cumulated vsize (Kb) 15560

[startup+1280.11 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2924 0 0 0 57209 2161 0 0 25 0 1 0 19642914 13754368 2870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2870 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1189.29
Current children cumulated vsize (Kb) 15560

[startup+1290.11 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2926 0 0 0 58118 2189 0 0 25 0 1 0 19642914 13754368 2872 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2872 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1198.66
Current children cumulated vsize (Kb) 15560

[startup+1300.11 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2927 0 0 0 59014 2221 0 0 25 0 1 0 19642914 13754368 2873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2873 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1207.94
Current children cumulated vsize (Kb) 15560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.11 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 4717
Raw data (/proc/4649/stat): 4649 (vallstSAT2005PB) S 4648 4649 4005 0 -1 0 378 2909 0 0 1 1 57121 2436 19 0 1 0 19578550 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4649/statm): 532 248 485 147 0 385 0
[pid=4649] vsize: 2128
Raw data (/proc/4715/stat): 4715 (vallst) T 4649 4649 4005 0 -1 0 2927 0 0 0 59014 2221 0 0 25 0 1 0 19642914 13754368 2873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4715/statm): 3358 2873 413 48 0 3310 0
[pid=4715] vsize: 13432
Current children cumulated CPU time (s) 1207.94
Current children cumulated vsize (Kb) 15560

Sending SIGTERM to -4649
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4719
New process pid=4720
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/4610/stat
open syscall for file /proc/4610/status
open syscall for file /proc/4610/cmdline
open syscall for file /proc/4610/environ
open syscall for file /proc/4648/stat
open syscall for file /proc/4648/status
open syscall for file /proc/4648/cmdline
open syscall for file /proc/4648/environ
open syscall for file /proc/4649/stat
open syscall for file /proc/4649/status
open syscall for file /proc/4649/cmdline
open syscall for file /proc/4649/environ
open syscall for file /proc/4715/stat
open syscall for file /proc/4715/status
open syscall for file /proc/4715/cmdline
open syscall for file /proc/4715/environ
open syscall for file /proc/4719/stat
open syscall for file /proc/4719/status
open syscall for file /proc/4719/cmdline
open syscall for file /proc/4719/environ
open syscall for file /proc/4720/stat
open syscall for file /proc/4720/status
open syscall for file /proc/4720/cmdline
open syscall for file /proc/4720/environ
One traced child (pid=4719) exited with status: 0
One traced child (pid=4720) exited with status: 0
New process pid=4721
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=4721) exited with status: 0
New process pid=4722
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=4722) exited with status: 0
One traced child (pid=4649) 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=4715) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1300.67
CPU time (s): 612.893
CPU user time (s): 590.61
CPU system time (s): 22.2826
CPU usage (%): 47.1212
Max. virtual memory (cumulated for all children) (Kb): 18568

Verifier Data

ERROR: no interpretation found !