Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM3d08363a486acbc90a149ca8c58297b8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13473
Number of constraints which are clauses13473
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 2024

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-18 17:38:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7226 boxname=wulflinc20 idbench=194 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d08363a486acbc90a149ca8c58297b8  /oldhome/oroussel/tmp/wulflinc20/normalized-par32-3.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc20/normalized-par32-3.opb 0
IDLAUNCH: 7226
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        915684 kB
Buffers:         35188 kB
Cached:          54828 kB
SwapCached:        832 kB
Active:          67012 kB
Inactive:        25688 kB
HighTotal:      131008 kB
HighFree:        72800 kB
LowTotal:       903652 kB
LowFree:        842884 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20696 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 18:01:54 (client local time) WITH STATUS 3 IN 879.911 SECONDS
stats: 7226 7 879.911 3

Solver Data

1:
seed: 0
Nr of vars set: 282  (#equs: 0)
Nr of vars set: 1566  (#equs: 3069)
#decisions: 149778;  #end-nodes: 91767;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 226 (223)
#axs: 16514, #non-axs: 10343
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: 1566  (#equs: 3450)
Time taken: 5 min, 28 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: 1566  (#equs: 0)
Nr of vars set: 1566  (#equs: 0)
Interupt request received.
#decisions: 681943;  #end-nodes: 496426;
#proof improvement attempts: 0;  #restarts: 1531
Current batch, end-nodes: 436 / 520 (502)
#axs: 5397, #non-axs: 23093
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 15
loose: meta-meta: start: 6, end: 9;  meta: start: 20, end (keep): 32
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2016  (#equs: 2)
Time taken: 14 min, 39 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/11835/stat): 11835 (vallstSAT2005PB) R 11834 11835 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843117950 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11835/statm): 174 3 169 147 0 27 0
[pid=11835] 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=11836
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=11836) exited with status: 0
New process pid=11837
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=11837) exited with status: 0
New process pid=11838
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/wulflinc20/normalized-par32-3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.93 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 800 0 0 0 619 125 0 0 17 0 1 0 1843117959 4718592 770 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1152 770 413 48 0 1104 0
[pid=11838] vsize: 4608
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (Kb) 6736

[startup+20.0049 s]
Raw data (loadavg): 0.94 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 800 0 0 0 1263 249 0 0 22 0 1 0 1843117959 4718592 770 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1152 770 413 48 0 1104 0
[pid=11838] vsize: 4608
Current children cumulated CPU time (s) 15.14
Current children cumulated vsize (Kb) 6736

[startup+30.0056 s]
Raw data (loadavg): 0.95 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 842 0 0 0 2093 307 0 0 21 0 1 0 1843117959 7430144 812 4294967295 134512640 134702520 3221223968 3221223248 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1814 812 413 48 0 1766 0
[pid=11838] vsize: 7256
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (Kb) 9384

[startup+40.0064 s]
Raw data (loadavg): 0.96 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 886 0 0 0 2954 355 0 0 25 0 1 0 1843117959 7565312 856 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1847 856 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 33.11
Current children cumulated vsize (Kb) 9516

[startup+50.0081 s]
Raw data (loadavg): 0.96 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 912 0 0 0 3727 429 0 0 17 0 1 0 1843117959 7565312 882 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1847 882 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 41.58
Current children cumulated vsize (Kb) 9516

[startup+60.0088 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 913 0 0 0 4343 562 0 0 23 0 1 0 1843117959 7565312 883 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1847 883 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (Kb) 9516

[startup+70.0105 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 914 0 0 0 5178 620 0 0 20 0 1 0 1843117959 7565312 884 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1847 884 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 58
Current children cumulated vsize (Kb) 9516

[startup+80.0112 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 921 0 0 0 6063 658 0 0 20 0 1 0 1843117959 7565312 891 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1847 891 413 48 0 1799 0
[pid=11838] vsize: 7388
Current children cumulated CPU time (s) 67.23
Current children cumulated vsize (Kb) 9516

[startup+90.012 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 941 0 0 0 6952 695 0 0 20 0 1 0 1843117959 7667712 911 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 911 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 76.49
Current children cumulated vsize (Kb) 9616

[startup+100.014 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 958 0 0 0 7690 782 0 0 18 0 1 0 1843117959 7667712 928 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 928 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 84.74
Current children cumulated vsize (Kb) 9616

[startup+110.014 s]
Raw data (loadavg): 0.98 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 960 0 0 0 8335 902 0 0 23 0 1 0 1843117959 7667712 930 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1872 930 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 92.39
Current children cumulated vsize (Kb) 9616

[startup+120.015 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 960 0 0 0 9190 954 0 0 20 0 1 0 1843117959 7667712 930 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 930 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (Kb) 9616

[startup+130.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 963 0 0 0 10117 981 0 0 25 0 1 0 1843117959 7667712 933 4294967295 134512640 134702520 3221223968 3221178624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 933 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 111
Current children cumulated vsize (Kb) 9616

[startup+140.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 969 0 0 0 11000 1019 0 0 25 0 1 0 1843117959 7667712 939 4294967295 134512640 134702520 3221223968 3221223248 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1872 939 413 48 0 1824 0
[pid=11838] vsize: 7488
Current children cumulated CPU time (s) 120.21
Current children cumulated vsize (Kb) 9616

[startup+150.018 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 995 0 0 0 11902 1056 0 0 19 0 1 0 1843117959 7827456 965 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 965 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 129.6
Current children cumulated vsize (Kb) 9772

[startup+160.019 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 995 0 0 0 12460 1204 0 0 17 0 1 0 1843117959 7827456 965 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 965 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 136.66
Current children cumulated vsize (Kb) 9772

[startup+170.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 996 0 0 0 13276 1266 0 0 25 0 1 0 1843117959 7827456 966 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 966 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 145.44
Current children cumulated vsize (Kb) 9772

[startup+180.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 999 0 0 0 14194 1292 0 0 25 0 1 0 1843117959 7827456 969 4294967295 134512640 134702520 3221223968 3221023104 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 969 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 154.88
Current children cumulated vsize (Kb) 9772

[startup+190.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1003 0 0 0 15078 1332 0 0 25 0 1 0 1843117959 7827456 973 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1911 973 413 48 0 1863 0
[pid=11838] vsize: 7644
Current children cumulated CPU time (s) 164.12
Current children cumulated vsize (Kb) 9772

[startup+200.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1015 0 0 0 16004 1358 0 0 25 0 1 0 1843117959 7974912 985 4294967295 134512640 134702520 3221223968 3221223188 134549061 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1947 985 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 173.64
Current children cumulated vsize (Kb) 9916

[startup+210.022 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1036 0 0 0 16890 1395 0 0 17 0 1 0 1843117959 7974912 1006 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1006 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 182.87
Current children cumulated vsize (Kb) 9916

[startup+220.022 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1036 0 0 0 17454 1540 0 0 18 0 1 0 1843117959 7974912 1006 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1947 1006 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 9916

[startup+230.023 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1037 0 0 0 18283 1599 0 0 25 0 1 0 1843117959 7974912 1007 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1007 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 198.84
Current children cumulated vsize (Kb) 9916

[startup+240.023 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1038 0 0 0 19200 1627 0 0 25 0 1 0 1843117959 7974912 1008 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1947 1008 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 208.29
Current children cumulated vsize (Kb) 9916

[startup+250.025 s]
Raw data (loadavg): 0.99 0.99 0.99 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1043 0 0 0 20087 1665 0 0 25 0 1 0 1843117959 7974912 1013 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1013 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 217.54
Current children cumulated vsize (Kb) 9916

[startup+260.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1049 0 0 0 21021 1687 0 0 25 0 1 0 1843117959 7974912 1019 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 1947 1019 413 48 0 1899 0
[pid=11838] vsize: 7788
Current children cumulated CPU time (s) 227.1
Current children cumulated vsize (Kb) 9916

[startup+270.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1083 0 0 0 21951 1710 0 0 25 0 1 0 1843117959 8118272 1053 4294967295 134512640 134702520 3221223968 3221223088 134572629 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 1982 1053 413 48 0 1934 0
[pid=11838] vsize: 7928
Current children cumulated CPU time (s) 236.63
Current children cumulated vsize (Kb) 10056

[startup+280.028 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1112 0 0 0 22693 1795 0 0 18 0 1 0 1843117959 8306688 1082 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2028 1082 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 244.9
Current children cumulated vsize (Kb) 10240

[startup+290.028 s]
Raw data (loadavg): 1.13 1.02 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1114 0 0 0 23356 1911 0 0 23 0 1 0 1843117959 8306688 1084 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2028 1084 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 252.69
Current children cumulated vsize (Kb) 10240

[startup+300.029 s]
Raw data (loadavg): 1.11 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1114 0 0 0 24267 1940 0 0 25 0 1 0 1843117959 8306688 1084 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11838/statm): 2028 1084 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 262.09
Current children cumulated vsize (Kb) 10240

[startup+310.03 s]
Raw data (loadavg): 1.09 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1135 0 0 0 25205 1962 0 0 25 0 1 0 1843117959 8306688 1105 4294967295 134512640 134702520 3221223968 3221142624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2028 1105 413 48 0 1980 0
[pid=11838] vsize: 8112
Current children cumulated CPU time (s) 271.69
Current children cumulated vsize (Kb) 10240

[startup+320.032 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1198 0 0 0 26123 1989 0 0 17 0 1 0 1843117959 8642560 1168 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11838/statm): 2110 1168 413 48 0 2062 0
[pid=11838] vsize: 8440
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (Kb) 10568

[startup+330.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1255 0 0 0 27075 2005 0 0 25 0 1 0 1843117959 8847360 1225 4294967295 134512640 134702520 3221223968 3221014944 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2160 1225 413 48 0 2112 0
[pid=11838] vsize: 8640
Current children cumulated CPU time (s) 290.82
Current children cumulated vsize (Kb) 10768

[startup+340.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1316 0 0 0 28009 2026 0 0 25 0 1 0 1843117959 8982528 1286 4294967295 134512640 134702520 3221223968 3221223248 134557293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2193 1286 413 48 0 2145 0
[pid=11838] vsize: 8772
Current children cumulated CPU time (s) 300.37
Current children cumulated vsize (Kb) 10900

[startup+350.034 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) R 11835 11835 2660 0 -1 0 1368 0 0 0 28952 2048 0 0 25 0 1 0 1843117959 9289728 1338 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2268 1338 413 48 0 2220 0
[pid=11838] vsize: 9072
Current children cumulated CPU time (s) 310.02
Current children cumulated vsize (Kb) 11200

[startup+360.034 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1382 0 0 0 29661 2150 0 0 17 0 1 0 1843117959 9289728 1352 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2268 1352 413 48 0 2220 0
[pid=11838] vsize: 9072
Current children cumulated CPU time (s) 318.13
Current children cumulated vsize (Kb) 11200

[startup+370.036 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 11838
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 330 232 0 0 0 1 0 1 22 0 1 0 1843117950 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 242 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11838/stat): 11838 (vallst) T 11835 11835 2660 0 -1 0 1382 0 0 0 30348 2261 0 0 23 0 1 0 1843117959 9289728 1352 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11838/statm): 2268 1352 413 48 0 2220 0
[pid=11838] vsize: 9072
Current children cumulated CPU time (s) 326.11
Current children cumulated vsize (Kb) 11200
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=11838) exited with status: 2
New process pid=11839
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=11839) exited with status: 0
New process pid=11840
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+380.037 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 744 0 0 0 418 104 0 0 17 0 1 0 1843155221 5050368 715 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 1233 715 413 48 0 1185 0
[pid=11840] vsize: 4932
Current children cumulated CPU time (s) 333.65
Current children cumulated vsize (Kb) 7060

[startup+390.037 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 830 0 0 0 939 263 0 0 25 0 1 0 1843155221 8986624 801 4294967295 134512640 134702520 3221223712 3221134368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2194 801 413 48 0 2146 0
[pid=11840] vsize: 8776
Current children cumulated CPU time (s) 340.45
Current children cumulated vsize (Kb) 10904

[startup+400.038 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 873 0 0 0 1778 317 0 0 22 0 1 0 1843155221 9486336 844 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2316 844 413 48 0 2268 0
[pid=11840] vsize: 9264
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 11392

[startup+410.039 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 910 0 0 0 2617 372 0 0 21 0 1 0 1843155221 9564160 881 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2335 881 413 48 0 2287 0
[pid=11840] vsize: 9340
Current children cumulated CPU time (s) 358.32
Current children cumulated vsize (Kb) 11468

[startup+420.041 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 929 0 0 0 3253 493 0 0 16 0 1 0 1843155221 9564160 900 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2335 900 413 48 0 2287 0
[pid=11840] vsize: 9340
Current children cumulated CPU time (s) 365.89
Current children cumulated vsize (Kb) 11468

[startup+430.043 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 933 0 0 0 3753 660 0 0 25 0 1 0 1843155221 9625600 904 4294967295 134512640 134702520 3221223712 3221172108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 904 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 372.56
Current children cumulated vsize (Kb) 11528

[startup+440.043 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 936 0 0 0 4579 716 0 0 25 0 1 0 1843155221 9625600 907 4294967295 134512640 134702520 3221223712 3221101248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 907 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 381.38
Current children cumulated vsize (Kb) 11528

[startup+450.044 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 946 0 0 0 5403 774 0 0 25 0 1 0 1843155221 9625600 917 4294967295 134512640 134702520 3221223712 3221218368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 917 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 390.2
Current children cumulated vsize (Kb) 11528

[startup+460.045 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 948 0 0 0 6077 877 0 0 16 0 1 0 1843155221 9625600 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 919 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 397.97
Current children cumulated vsize (Kb) 11528

[startup+470.046 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 949 0 0 0 6529 1053 0 0 25 0 1 0 1843155221 9625600 920 4294967295 134512640 134702520 3221223712 3221200448 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 920 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 404.25
Current children cumulated vsize (Kb) 11528

[startup+480.047 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 949 0 0 0 7352 1111 0 0 25 0 1 0 1843155221 9625600 920 4294967295 134512640 134702520 3221223712 3221134988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 920 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 413.06
Current children cumulated vsize (Kb) 11528

[startup+490.048 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 956 0 0 0 8175 1168 0 0 25 0 1 0 1843155221 9625600 927 4294967295 134512640 134702520 3221223712 3221045388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 927 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 421.86
Current children cumulated vsize (Kb) 11528

[startup+500.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 956 0 0 0 8861 1274 0 0 16 0 1 0 1843155221 9625600 927 4294967295 134512640 134702520 3221223712 3221222608 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 927 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 429.78
Current children cumulated vsize (Kb) 11528

[startup+510.049 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 957 0 0 0 9279 1467 0 0 25 0 1 0 1843155221 9625600 928 4294967295 134512640 134702520 3221223712 3221209072 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 928 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 435.89
Current children cumulated vsize (Kb) 11528

[startup+520.051 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 959 0 0 0 10106 1523 0 0 25 0 1 0 1843155221 9625600 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 930 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 444.72
Current children cumulated vsize (Kb) 11528

[startup+530.052 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 959 0 0 0 10937 1582 0 0 25 0 1 0 1843155221 9625600 930 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 930 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 453.62
Current children cumulated vsize (Kb) 11528

[startup+540.051 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 964 0 0 0 11793 1632 0 0 18 0 1 0 1843155221 9625600 935 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 935 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 462.68
Current children cumulated vsize (Kb) 11528

[startup+550.053 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 965 0 0 0 12097 1861 0 0 16 0 1 0 1843155221 9625600 936 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 936 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 468.01
Current children cumulated vsize (Kb) 11528

[startup+560.054 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 967 0 0 0 12946 1910 0 0 25 0 1 0 1843155221 9625600 938 4294967295 134512640 134702520 3221223712 3221163168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2350 938 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 476.99
Current children cumulated vsize (Kb) 11528

[startup+570.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 970 0 0 0 13772 1966 0 0 25 0 1 0 1843155221 9625600 941 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 941 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 485.81
Current children cumulated vsize (Kb) 11528

[startup+580.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 977 0 0 0 14601 2020 0 0 19 0 1 0 1843155221 9625600 948 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 948 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 494.64
Current children cumulated vsize (Kb) 11528

[startup+590.056 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 979 0 0 0 15279 2124 0 0 16 0 1 0 1843155221 9625600 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2350 950 413 48 0 2302 0
[pid=11840] vsize: 9400
Current children cumulated CPU time (s) 502.46
Current children cumulated vsize (Kb) 11528

[startup+600.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 981 0 0 0 15782 2285 0 0 25 0 1 0 1843155221 9691136 952 4294967295 134512640 134702520 3221223712 3221214348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2366 952 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 509.1
Current children cumulated vsize (Kb) 11592

[startup+610.058 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 981 0 0 0 16610 2345 0 0 25 0 1 0 1843155221 9691136 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 952 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 517.98
Current children cumulated vsize (Kb) 11592

[startup+620.059 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 983 0 0 0 17499 2382 0 0 25 0 1 0 1843155221 9691136 954 4294967295 134512640 134702520 3221223712 3221060908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 954 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 527.24
Current children cumulated vsize (Kb) 11592

[startup+630.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 988 0 0 0 18324 2439 0 0 25 0 1 0 1843155221 9691136 959 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 959 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 536.06
Current children cumulated vsize (Kb) 11592

[startup+640.061 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 988 0 0 0 18996 2547 0 0 17 0 1 0 1843155221 9691136 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 959 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 543.86
Current children cumulated vsize (Kb) 11592

[startup+650.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 990 0 0 0 19506 2709 0 0 25 0 1 0 1843155221 9691136 961 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 961 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 550.58
Current children cumulated vsize (Kb) 11592

[startup+660.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 995 0 0 0 20338 2767 0 0 21 0 1 0 1843155221 9691136 966 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 966 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 559.48
Current children cumulated vsize (Kb) 11592

[startup+670.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1067 0 0 0 21225 2805 0 0 25 0 1 0 1843155221 9691136 1038 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2366 1038 413 48 0 2318 0
[pid=11840] vsize: 9464
Current children cumulated CPU time (s) 568.73
Current children cumulated vsize (Kb) 11592

[startup+680.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1162 0 0 0 22122 2841 0 0 25 0 1 0 1843155221 10190848 1133 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2488 1133 413 48 0 2440 0
[pid=11840] vsize: 9952
Current children cumulated CPU time (s) 578.06
Current children cumulated vsize (Kb) 12080

[startup+690.064 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1254 0 0 0 23037 2871 0 0 25 0 1 0 1843155221 10821632 1225 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2642 1225 413 48 0 2594 0
[pid=11840] vsize: 10568
Current children cumulated CPU time (s) 587.51
Current children cumulated vsize (Kb) 12696

[startup+700.065 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1279 0 0 0 23635 3004 0 0 16 0 1 0 1843155221 10821632 1250 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2642 1250 413 48 0 2594 0
[pid=11840] vsize: 10568
Current children cumulated CPU time (s) 594.82
Current children cumulated vsize (Kb) 12696

[startup+710.066 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1281 0 0 0 24223 3137 0 0 25 0 1 0 1843155221 10915840 1252 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1252 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 602.03
Current children cumulated vsize (Kb) 12788

[startup+720.066 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1285 0 0 0 25124 3168 0 0 25 0 1 0 1843155221 10915840 1256 4294967295 134512640 134702520 3221223712 3221168928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1256 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 611.35
Current children cumulated vsize (Kb) 12788

[startup+730.067 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1297 0 0 0 26030 3201 0 0 25 0 1 0 1843155221 10915840 1268 4294967295 134512640 134702520 3221223712 3221200448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1268 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 620.74
Current children cumulated vsize (Kb) 12788

[startup+740.068 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1305 0 0 0 26933 3234 0 0 19 0 1 0 1843155221 10915840 1276 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2665 1276 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 630.1
Current children cumulated vsize (Kb) 12788

[startup+750.069 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1347 0 0 0 27851 3264 0 0 25 0 1 0 1843155221 10915840 1318 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2665 1318 413 48 0 2617 0
[pid=11840] vsize: 10660
Current children cumulated CPU time (s) 639.58
Current children cumulated vsize (Kb) 12788

[startup+760.069 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1399 0 0 0 28781 3287 0 0 25 0 1 0 1843155221 11055104 1370 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2699 1370 413 48 0 2651 0
[pid=11840] vsize: 10796
Current children cumulated CPU time (s) 649.11
Current children cumulated vsize (Kb) 12924

[startup+770.071 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1445 0 0 0 29554 3361 0 0 16 0 1 0 1843155221 11554816 1416 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2821 1416 413 48 0 2773 0
[pid=11840] vsize: 11284
Current children cumulated CPU time (s) 657.58
Current children cumulated vsize (Kb) 13412

[startup+780.072 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1447 0 0 0 29968 3558 0 0 25 0 1 0 1843155221 11636736 1418 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2841 1418 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 663.69
Current children cumulated vsize (Kb) 13492

[startup+790.072 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1448 0 0 0 30868 3592 0 0 25 0 1 0 1843155221 11636736 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1419 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 673.03
Current children cumulated vsize (Kb) 13492

[startup+800.074 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1449 0 0 0 31770 3624 0 0 25 0 1 0 1843155221 11636736 1420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1420 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 682.37
Current children cumulated vsize (Kb) 13492

[startup+810.075 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1465 0 0 0 32691 3651 0 0 25 0 1 0 1843155221 11636736 1436 4294967295 134512640 134702520 3221223712 3221222992 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1436 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 691.85
Current children cumulated vsize (Kb) 13492

[startup+820.077 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1470 0 0 0 33632 3670 0 0 19 0 1 0 1843155221 11636736 1441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2841 1441 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 701.45
Current children cumulated vsize (Kb) 13492

[startup+830.077 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1476 0 0 0 34576 3692 0 0 25 0 1 0 1843155221 11636736 1447 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2841 1447 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 711.11
Current children cumulated vsize (Kb) 13492

[startup+840.078 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1484 0 0 0 35498 3717 0 0 25 0 1 0 1843155221 11636736 1455 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2841 1455 413 48 0 2793 0
[pid=11840] vsize: 11364
Current children cumulated CPU time (s) 720.58
Current children cumulated vsize (Kb) 13492

[startup+850.079 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1502 0 0 0 36298 3784 0 0 17 0 1 0 1843155221 11771904 1473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1473 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 729.25
Current children cumulated vsize (Kb) 13624

[startup+860.08 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 36693 3987 0 0 21 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 735.23
Current children cumulated vsize (Kb) 13624

[startup+870.081 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 37606 4016 0 0 17 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 744.65
Current children cumulated vsize (Kb) 13624

[startup+880.082 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 38555 4033 0 0 22 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 754.31
Current children cumulated vsize (Kb) 13624

[startup+890.082 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1504 0 0 0 39483 4060 0 0 25 0 1 0 1843155221 11771904 1475 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1475 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 763.86
Current children cumulated vsize (Kb) 13624

[startup+900.082 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1505 0 0 0 40405 4087 0 0 25 0 1 0 1843155221 11771904 1476 4294967295 134512640 134702520 3221223712 3221222968 134564337 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1476 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 773.35
Current children cumulated vsize (Kb) 13624

[startup+910.083 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1510 0 0 0 41333 4111 0 0 25 0 1 0 1843155221 11771904 1481 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1481 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 782.87
Current children cumulated vsize (Kb) 13624

[startup+920.084 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1513 0 0 0 42302 4124 0 0 25 0 1 0 1843155221 11771904 1484 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1484 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 792.69
Current children cumulated vsize (Kb) 13624

[startup+930.085 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1520 0 0 0 43233 4147 0 0 25 0 1 0 1843155221 11771904 1491 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2874 1491 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 802.23
Current children cumulated vsize (Kb) 13624

[startup+940.085 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1533 0 0 0 44049 4208 0 0 17 0 1 0 1843155221 11771904 1504 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2874 1504 413 48 0 2826 0
[pid=11840] vsize: 11496
Current children cumulated CPU time (s) 811
Current children cumulated vsize (Kb) 13624

[startup+950.086 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1535 0 0 0 44428 4415 0 0 20 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 816.86
Current children cumulated vsize (Kb) 13696

[startup+960.087 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1535 0 0 0 45366 4438 0 0 19 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 826.47
Current children cumulated vsize (Kb) 13696

[startup+970.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1535 0 0 0 46290 4465 0 0 25 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221185868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 835.98
Current children cumulated vsize (Kb) 13696

[startup+980.089 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1535 0 0 0 47205 4494 0 0 25 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 845.42
Current children cumulated vsize (Kb) 13696

[startup+990.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1535 0 0 0 48120 4522 0 0 25 0 1 0 1843155221 11845632 1506 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1506 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 854.85
Current children cumulated vsize (Kb) 13696

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1540 0 0 0 49041 4547 0 0 25 0 1 0 1843155221 11845632 1511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1511 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 864.31
Current children cumulated vsize (Kb) 13696

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1542 0 0 0 50008 4559 0 0 25 0 1 0 1843155221 11845632 1513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2892 1513 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 874.1
Current children cumulated vsize (Kb) 13696

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1542 0 0 0 50939 4583 0 0 25 0 1 0 1843155221 11845632 1513 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2892 1513 413 48 0 2844 0
[pid=11840] vsize: 11568
Current children cumulated CPU time (s) 883.65
Current children cumulated vsize (Kb) 13696

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1545 0 0 0 51852 4613 0 0 17 0 1 0 1843155221 11345920 1477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1477 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 893.08
Current children cumulated vsize (Kb) 13208

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1546 0 0 0 52228 4815 0 0 16 0 1 0 1843155221 11345920 1478 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1478 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 898.86
Current children cumulated vsize (Kb) 13208

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1547 0 0 0 53083 4862 0 0 25 0 1 0 1843155221 11345920 1479 4294967295 134512640 134702520 3221223712 3221202508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1479 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 907.88
Current children cumulated vsize (Kb) 13208

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1547 0 0 0 53976 4894 0 0 25 0 1 0 1843155221 11345920 1479 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1479 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 917.13
Current children cumulated vsize (Kb) 13208

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1549 0 0 0 54874 4927 0 0 25 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 926.44
Current children cumulated vsize (Kb) 13208

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1549 0 0 0 55838 4941 0 0 25 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 936.22
Current children cumulated vsize (Kb) 13208

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1549 0 0 0 56744 4970 0 0 24 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 945.57
Current children cumulated vsize (Kb) 13208

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1549 0 0 0 57704 4983 0 0 25 0 1 0 1843155221 11345920 1481 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1481 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 955.3
Current children cumulated vsize (Kb) 13208

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1551 0 0 0 58606 5018 0 0 25 0 1 0 1843155221 11345920 1483 4294967295 134512640 134702520 3221223712 3221222992 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1483 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 964.67
Current children cumulated vsize (Kb) 13208

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1551 0 0 0 59252 5133 0 0 16 0 1 0 1843155221 11345920 1483 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1483 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 972.28
Current children cumulated vsize (Kb) 13208

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1552 0 0 0 59788 5287 0 0 25 0 1 0 1843155221 11345920 1484 4294967295 134512640 134702520 3221223712 3221222980 134557393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1484 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 979.18
Current children cumulated vsize (Kb) 13208

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1552 0 0 0 60673 5325 0 0 25 0 1 0 1843155221 11345920 1484 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1484 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 988.41
Current children cumulated vsize (Kb) 13208

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1553 0 0 0 61563 5363 0 0 25 0 1 0 1843155221 11345920 1485 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1485 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 997.69
Current children cumulated vsize (Kb) 13208

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1553 0 0 0 62457 5403 0 0 25 0 1 0 1843155221 11345920 1485 4294967295 134512640 134702520 3221223712 3221222992 134553931 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1485 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1007.03
Current children cumulated vsize (Kb) 13208

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1553 0 0 0 63346 5440 0 0 25 0 1 0 1843155221 11345920 1485 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1485 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1016.29
Current children cumulated vsize (Kb) 13208

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1554 0 0 0 64237 5478 0 0 25 0 1 0 1843155221 11345920 1486 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1486 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1025.58
Current children cumulated vsize (Kb) 13208

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1555 0 0 0 65044 5544 0 0 16 0 1 0 1843155221 11345920 1487 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1487 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1034.31
Current children cumulated vsize (Kb) 13208

[startup+1200.11 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1557 0 0 0 65420 5745 0 0 25 0 1 0 1843155221 11345920 1489 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1489 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 13208

[startup+1210.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1560 0 0 0 66291 5787 0 0 25 0 1 0 1843155221 11345920 1492 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1492 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1049.21
Current children cumulated vsize (Kb) 13208

[startup+1220.11 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1560 0 0 0 67235 5806 0 0 25 0 1 0 1843155221 11345920 1492 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11840/statm): 2770 1492 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1058.84
Current children cumulated vsize (Kb) 13208

[startup+1230.11 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 68114 5847 0 0 25 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1068.04
Current children cumulated vsize (Kb) 13208

[startup+1240.12 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 68995 5889 0 0 25 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1077.27
Current children cumulated vsize (Kb) 13208

[startup+1250.12 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 69881 5932 0 0 25 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1086.56
Current children cumulated vsize (Kb) 13208

[startup+1260.12 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1563 0 0 0 70309 6108 0 0 16 0 1 0 1843155221 11345920 1495 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1495 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1092.6
Current children cumulated vsize (Kb) 13208

[startup+1270.12 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1564 0 0 0 71024 6205 0 0 16 0 1 0 1843155221 11345920 1496 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1496 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1100.72
Current children cumulated vsize (Kb) 13208

[startup+1280.12 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1564 0 0 0 71866 6256 0 0 17 0 1 0 1843155221 11345920 1496 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1496 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1109.65
Current children cumulated vsize (Kb) 13208

[startup+1290.12 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1564 0 0 0 72742 6301 0 0 17 0 1 0 1843155221 11345920 1496 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1496 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1118.86
Current children cumulated vsize (Kb) 13208

[startup+1300.12 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1572 0 0 0 73626 6342 0 0 17 0 1 0 1843155221 11345920 1504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1504 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1128.11
Current children cumulated vsize (Kb) 13208

[startup+1310.12 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1573 0 0 0 74510 6382 0 0 18 0 1 0 1843155221 11345920 1505 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1505 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1137.35
Current children cumulated vsize (Kb) 13208

[startup+1320.12 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1573 0 0 0 75264 6462 0 0 15 0 1 0 1843155221 11345920 1505 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2770 1505 413 48 0 2722 0
[pid=11840] vsize: 11080
Current children cumulated CPU time (s) 1145.69
Current children cumulated vsize (Kb) 13208

[startup+1330.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1574 0 0 0 75693 6643 0 0 17 0 1 0 1843155221 11419648 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1506 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1151.79
Current children cumulated vsize (Kb) 13280

[startup+1340.13 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1574 0 0 0 76559 6688 0 0 18 0 1 0 1843155221 11419648 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1506 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1160.9
Current children cumulated vsize (Kb) 13280

[startup+1350.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1575 0 0 0 77445 6727 0 0 18 0 1 0 1843155221 11419648 1507 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1507 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1170.15
Current children cumulated vsize (Kb) 13280

[startup+1360.13 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1576 0 0 0 78335 6765 0 0 18 0 1 0 1843155221 11419648 1508 4294967295 134512640 134702520 3221223712 3221222992 134557245 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1508 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1179.43
Current children cumulated vsize (Kb) 13280

[startup+1370.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1578 0 0 0 79231 6799 0 0 18 0 1 0 1843155221 11419648 1510 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1510 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1188.73
Current children cumulated vsize (Kb) 13280

[startup+1380.13 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1581 0 0 0 80187 6814 0 0 25 0 1 0 1843155221 11419648 1513 4294967295 134512640 134702520 3221223712 3221182828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1513 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1198.44
Current children cumulated vsize (Kb) 13280

[startup+1390.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) R 11835 11835 2660 0 -1 0 1584 0 0 0 81085 6849 0 0 21 0 1 0 1843155221 11419648 1516 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1516 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1207.77
Current children cumulated vsize (Kb) 13280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 11840
Raw data (/proc/11835/stat): 11835 (vallstSAT2005PB) S 11834 11835 2660 0 -1 0 378 1757 0 0 1 1 30561 2280 18 0 1 0 1843117950 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/11835/statm): 532 248 485 147 0 385 0
[pid=11835] vsize: 2128
Raw data (/proc/11840/stat): 11840 (vallst) T 11835 11835 2660 0 -1 0 1584 0 0 0 81085 6849 0 0 21 0 1 0 1843155221 11419648 1516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11840/statm): 2788 1516 413 48 0 2740 0
[pid=11840] vsize: 11152
Current children cumulated CPU time (s) 1207.77
Current children cumulated vsize (Kb) 13280

Sending SIGTERM to -11835
Sleeping 2 seconds
New process pid=11842
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=11843
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/11798/stat
open syscall for file /proc/11798/status
open syscall for file /proc/11798/cmdline
open syscall for file /proc/11798/environ
open syscall for file /proc/11834/stat
open syscall for file /proc/11834/status
open syscall for file /proc/11834/cmdline
open syscall for file /proc/11834/environ
open syscall for file /proc/11835/stat
open syscall for file /proc/11835/status
open syscall for file /proc/11835/cmdline
open syscall for file /proc/11835/environ
open syscall for file /proc/11840/stat
open syscall for file /proc/11840/status
open syscall for file /proc/11840/cmdline
open syscall for file /proc/11840/environ
open syscall for file /proc/11842/stat
open syscall for file /proc/11842/status
open syscall for file /proc/11842/cmdline
open syscall for file /proc/11842/environ
open syscall for file /proc/11843/stat
open syscall for file /proc/11843/status
open syscall for file /proc/11843/cmdline
open syscall for file /proc/11843/environ
One traced child (pid=11842) exited with status: 0
One traced child (pid=11843) exited with status: 0
New process pid=11844
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=11844) exited with status: 0
New process pid=11845
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=11845) exited with status: 0
One traced child (pid=11835) 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=11840) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1390.72
CPU time (s): 879.911
CPU user time (s): 811.353
CPU system time (s): 68.5586
CPU usage (%): 63.27
Max. virtual memory (cumulated for all children) (Kb): 13696

Verifier Data

ERROR: no interpretation found !