Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM4f0cac14ed3568050c2c57bb69fdb664
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 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 4286

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        909940 kB
Buffers:         22412 kB
Cached:          74704 kB
SwapCached:        804 kB
Active:          38212 kB
Inactive:        61468 kB
HighTotal:      131008 kB
HighFree:        53144 kB
LowTotal:       903652 kB
LowFree:        856796 kB
SwapTotal:     2097892 kB
SwapFree:      2096456 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            19228 kB
Committed_AS:    64368 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:29:34 (client local time) WITH STATUS 0 IN 1205.8 SECONDS
stats: 7557 7 1205.8 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
#decisions: 533500;  #end-nodes: 112709;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 292, #non-axs: 365
tight: meta-meta: start: 5, end: 7;  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: 192  (#equs: 0)
Time taken: 5 min, 38 sec

2:
seed: 0
Nr of vars set: 192  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192  (#equs: 0)
Time taken: 14 min, 27 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/3231/stat): 3231 (vallstSAT2005PB) R 3230 3231 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1724878544 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3231/statm): 174 3 169 147 0 27 0
[pid=3231] 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=3232
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=3232) exited with status: 0
New process pid=3233
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=3233) exited with status: 0
New process pid=3234
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/wulflinc21/normalized-mps-v2-20-10-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0044 s]
Raw data (loadavg): 0.93 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 391 0 0 0 787 71 0 0 18 0 1 0 1724878554 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 715 361 413 48 0 667 0
[pid=3234] vsize: 2860
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (Kb) 4988

[startup+20.0051 s]
Raw data (loadavg): 0.94 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 474 0 0 0 1588 134 0 0 21 0 1 0 1724878554 4321280 444 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1055 444 413 48 0 1007 0
[pid=3234] vsize: 4220
Current children cumulated CPU time (s) 17.23
Current children cumulated vsize (Kb) 6348

[startup+30.0058 s]
Raw data (loadavg): 0.95 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 536 0 0 0 2416 191 0 0 22 0 1 0 1724878554 4345856 506 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1061 506 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 26.08
Current children cumulated vsize (Kb) 6372

[startup+40.0064 s]
Raw data (loadavg): 0.96 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 536 0 0 0 3241 249 0 0 20 0 1 0 1724878554 4345856 506 4294967295 134512640 134702520 3221223952 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1061 506 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 34.91
Current children cumulated vsize (Kb) 6372

[startup+50.0071 s]
Raw data (loadavg): 0.96 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 539 0 0 0 4067 305 0 0 19 0 1 0 1724878554 4345856 509 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1061 509 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 43.73
Current children cumulated vsize (Kb) 6372

[startup+60.0078 s]
Raw data (loadavg): 0.97 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 539 0 0 0 4856 377 0 0 22 0 1 0 1724878554 4345856 509 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1061 509 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 52.34
Current children cumulated vsize (Kb) 6372

[startup+70.0085 s]
Raw data (loadavg): 0.97 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 539 0 0 0 5652 445 0 0 16 0 1 0 1724878554 4345856 509 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1061 509 413 48 0 1013 0
[pid=3234] vsize: 4244
Current children cumulated CPU time (s) 60.98
Current children cumulated vsize (Kb) 6372

[startup+80.0092 s]
Raw data (loadavg): 0.98 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 542 0 0 0 6478 503 0 0 16 0 1 0 1724878554 4476928 512 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 512 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 6500

[startup+90.0099 s]
Raw data (loadavg): 0.98 0.98 0.99 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 553 0 0 0 7303 561 0 0 16 0 1 0 1724878554 4476928 523 4294967295 134512640 134702520 3221223952 3221223352 134607252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1093 523 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 78.65
Current children cumulated vsize (Kb) 6500

[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 557 0 0 0 8127 619 0 0 16 0 1 0 1724878554 4476928 527 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 527 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 87.47
Current children cumulated vsize (Kb) 6500

[startup+110.013 s]
Raw data (loadavg): 0.98 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 557 0 0 0 8921 691 0 0 16 0 1 0 1724878554 4476928 527 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 527 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 96.13
Current children cumulated vsize (Kb) 6500

[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 557 0 0 0 9726 757 0 0 17 0 1 0 1724878554 4476928 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 527 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 104.84
Current children cumulated vsize (Kb) 6500

[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 612 0 0 0 10547 820 0 0 16 0 1 0 1724878554 4476928 582 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 582 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 113.68
Current children cumulated vsize (Kb) 6500

[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 615 0 0 0 11379 877 0 0 17 0 1 0 1724878554 4476928 585 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1093 585 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 122.57
Current children cumulated vsize (Kb) 6500

[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 621 0 0 0 12213 933 0 0 16 0 1 0 1724878554 4476928 591 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 591 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 131.47
Current children cumulated vsize (Kb) 6500

[startup+160.016 s]
Raw data (loadavg): 1.07 1.00 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 621 0 0 0 13005 1004 0 0 16 0 1 0 1724878554 4476928 591 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 591 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 140.1
Current children cumulated vsize (Kb) 6500

[startup+170.016 s]
Raw data (loadavg): 1.06 1.00 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 621 0 0 0 13818 1068 0 0 17 0 1 0 1724878554 4476928 591 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 591 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 148.87
Current children cumulated vsize (Kb) 6500

[startup+180.017 s]
Raw data (loadavg): 1.13 1.02 1.01 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 624 0 0 0 14652 1125 0 0 16 0 1 0 1724878554 4476928 594 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1093 594 413 48 0 1045 0
[pid=3234] vsize: 4372
Current children cumulated CPU time (s) 157.78
Current children cumulated vsize (Kb) 6500

[startup+190.018 s]
Raw data (loadavg): 1.11 1.02 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 630 0 0 0 15491 1180 0 0 16 0 1 0 1724878554 4612096 600 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1126 600 413 48 0 1078 0
[pid=3234] vsize: 4504
Current children cumulated CPU time (s) 166.72
Current children cumulated vsize (Kb) 6632

[startup+200.018 s]
Raw data (loadavg): 1.09 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 810 0 0 0 16336 1234 0 0 16 0 1 0 1724878554 4591616 780 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 780 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 175.71
Current children cumulated vsize (Kb) 6612

[startup+210.018 s]
Raw data (loadavg): 1.08 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 812 0 0 0 17140 1305 0 0 16 0 1 0 1724878554 4591616 782 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 782 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 184.46
Current children cumulated vsize (Kb) 6612

[startup+220.019 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 812 0 0 0 17945 1372 0 0 16 0 1 0 1724878554 4591616 782 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1121 782 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 193.18
Current children cumulated vsize (Kb) 6612

[startup+230.019 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 816 0 0 0 18789 1426 0 0 16 0 1 0 1724878554 4591616 786 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 786 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 202.16
Current children cumulated vsize (Kb) 6612

[startup+240.021 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 821 0 0 0 19625 1485 0 0 17 0 1 0 1724878554 4591616 791 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1121 791 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 211.11
Current children cumulated vsize (Kb) 6612

[startup+250.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 825 0 0 0 20463 1540 0 0 16 0 1 0 1724878554 4591616 795 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 795 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (Kb) 6612

[startup+260.022 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 827 0 0 0 21286 1602 0 0 16 0 1 0 1724878554 4591616 797 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 797 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 228.89
Current children cumulated vsize (Kb) 6612

[startup+270.022 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 827 0 0 0 22071 1682 0 0 16 0 1 0 1724878554 4591616 797 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 797 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 237.54
Current children cumulated vsize (Kb) 6612

[startup+280.023 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 828 0 0 0 22898 1740 0 0 16 0 1 0 1724878554 4591616 798 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1121 798 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 246.39
Current children cumulated vsize (Kb) 6612

[startup+290.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 831 0 0 0 23747 1793 0 0 17 0 1 0 1724878554 4591616 801 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1121 801 413 48 0 1073 0
[pid=3234] vsize: 4484
Current children cumulated CPU time (s) 255.41
Current children cumulated vsize (Kb) 6612

[startup+300.025 s]
Raw data (loadavg): 1.09 1.02 1.01 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 836 0 0 0 24586 1845 0 0 16 0 1 0 1724878554 4714496 806 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 806 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 264.32
Current children cumulated vsize (Kb) 6732

[startup+310.025 s]
Raw data (loadavg): 1.08 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 841 0 0 0 25433 1895 0 0 16 0 1 0 1724878554 4714496 811 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 811 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 273.29
Current children cumulated vsize (Kb) 6732

[startup+320.027 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 841 0 0 0 26229 1968 0 0 16 0 1 0 1724878554 4714496 811 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1151 811 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (Kb) 6732

[startup+330.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 841 0 0 0 27040 2033 0 0 16 0 1 0 1724878554 4714496 811 4294967295 134512640 134702520 3221223952 3221223352 134607341 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1151 811 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 290.74
Current children cumulated vsize (Kb) 6732

[startup+340.028 s]
Raw data (loadavg): 1.05 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 845 0 0 0 27888 2089 0 0 16 0 1 0 1724878554 4714496 815 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 815 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 299.78
Current children cumulated vsize (Kb) 6732

[startup+350.029 s]
Raw data (loadavg): 1.04 1.02 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 848 0 0 0 28746 2137 0 0 16 0 1 0 1724878554 4714496 818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3234/statm): 1151 818 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 308.84
Current children cumulated vsize (Kb) 6732

[startup+360.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 852 0 0 0 29597 2187 0 0 16 0 1 0 1724878554 4714496 822 4294967295 134512640 134702520 3221223952 3221222848 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 822 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 317.85
Current children cumulated vsize (Kb) 6732

[startup+370.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) R 3231 3231 20602 0 -1 0 854 0 0 0 30427 2244 0 0 16 0 1 0 1724878554 4714496 824 4294967295 134512640 134702520 3221223952 3221222848 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 824 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 326.72
Current children cumulated vsize (Kb) 6732

[startup+380.031 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3234
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1724878544 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 242 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3234/stat): 3234 (vallst) T 3231 3231 20602 0 -1 0 854 0 0 0 31224 2311 0 0 16 0 1 0 1724878554 4714496 824 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3234/statm): 1151 824 413 48 0 1103 0
[pid=3234] vsize: 4604
Current children cumulated CPU time (s) 335.36
Current children cumulated vsize (Kb) 6732
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=3234) exited with status: 2
New process pid=3235
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=3235) exited with status: 0
New process pid=3236
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+390.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 352 0 0 0 513 40 0 0 18 0 1 0 1724916924 2711552 322 4294967295 134512640 134702520 3221223712 3221222848 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 662 322 413 48 0 614 0
[pid=3236] vsize: 2648
Current children cumulated CPU time (s) 344.16
Current children cumulated vsize (Kb) 4776

[startup+400.032 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 352 0 0 0 1326 103 0 0 22 0 1 0 1724916924 2711552 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 662 322 413 48 0 614 0
[pid=3236] vsize: 2648
Current children cumulated CPU time (s) 352.92
Current children cumulated vsize (Kb) 4776

[startup+410.033 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 651 0 0 0 2161 159 0 0 22 0 1 0 1724916924 3993600 621 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 975 621 413 48 0 927 0
[pid=3236] vsize: 3900
Current children cumulated CPU time (s) 361.83
Current children cumulated vsize (Kb) 6028

[startup+420.033 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 662 0 0 0 2998 214 0 0 24 0 1 0 1724916924 3993600 632 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 975 632 413 48 0 927 0
[pid=3236] vsize: 3900
Current children cumulated CPU time (s) 370.75
Current children cumulated vsize (Kb) 6028

[startup+430.034 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 697 0 0 0 3833 270 0 0 19 0 1 0 1724916924 4128768 667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 667 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 379.66
Current children cumulated vsize (Kb) 6160

[startup+440.035 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 700 0 0 0 4653 333 0 0 23 0 1 0 1724916924 4128768 670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 670 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 388.49
Current children cumulated vsize (Kb) 6160

[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 700 0 0 0 5465 397 0 0 17 0 1 0 1724916924 4128768 670 4294967295 134512640 134702520 3221223712 3221223112 134607352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1008 670 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 397.25
Current children cumulated vsize (Kb) 6160

[startup+460.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 706 0 0 0 6306 451 0 0 19 0 1 0 1724916924 4128768 676 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1008 676 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 406.2
Current children cumulated vsize (Kb) 6160

[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 710 0 0 0 7148 504 0 0 25 0 1 0 1724916924 4128768 680 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 680 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 415.15
Current children cumulated vsize (Kb) 6160

[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 717 0 0 0 7988 556 0 0 24 0 1 0 1724916924 4128768 687 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 687 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 424.07
Current children cumulated vsize (Kb) 6160

[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 720 0 0 0 8812 620 0 0 23 0 1 0 1724916924 4128768 690 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 690 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 432.95
Current children cumulated vsize (Kb) 6160

[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 720 0 0 0 9628 683 0 0 24 0 1 0 1724916924 4128768 690 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1008 690 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 441.74
Current children cumulated vsize (Kb) 6160

[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 725 0 0 0 10477 734 0 0 23 0 1 0 1724916924 4128768 695 4294967295 134512640 134702520 3221223712 3221222992 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1008 695 413 48 0 960 0
[pid=3236] vsize: 4032
Current children cumulated CPU time (s) 450.74
Current children cumulated vsize (Kb) 6160

[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 730 0 0 0 11314 787 0 0 25 0 1 0 1724916924 4251648 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 700 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 459.64
Current children cumulated vsize (Kb) 6280

[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 737 0 0 0 12152 840 0 0 21 0 1 0 1724916924 4251648 707 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 707 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 468.55
Current children cumulated vsize (Kb) 6280

[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 739 0 0 0 12971 903 0 0 22 0 1 0 1724916924 4251648 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 709 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 477.37
Current children cumulated vsize (Kb) 6280

[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 739 0 0 0 13773 971 0 0 22 0 1 0 1724916924 4251648 709 4294967295 134512640 134702520 3221223712 3221222608 134553952 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1038 709 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 486.07
Current children cumulated vsize (Kb) 6280

[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 743 0 0 0 14619 1023 0 0 24 0 1 0 1724916924 4251648 713 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1038 713 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 495.05
Current children cumulated vsize (Kb) 6280

[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 750 0 0 0 15457 1079 0 0 22 0 1 0 1724916924 4251648 720 4294967295 134512640 134702520 3221223712 3221223196 134608148 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1038 720 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 503.99
Current children cumulated vsize (Kb) 6280

[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 754 0 0 0 16310 1128 0 0 17 0 1 0 1724916924 4251648 724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 724 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 513.01
Current children cumulated vsize (Kb) 6280

[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 757 0 0 0 17134 1188 0 0 19 0 1 0 1724916924 4251648 727 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 727 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (Kb) 6280

[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 757 0 0 0 17949 1250 0 0 19 0 1 0 1724916924 4251648 727 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1038 727 413 48 0 990 0
[pid=3236] vsize: 4152
Current children cumulated CPU time (s) 530.62
Current children cumulated vsize (Kb) 6280

[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 759 0 0 0 18778 1308 0 0 23 0 1 0 1724916924 4370432 729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 729 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 539.49
Current children cumulated vsize (Kb) 6396

[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 764 0 0 0 19635 1359 0 0 24 0 1 0 1724916924 4370432 734 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 734 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 548.57
Current children cumulated vsize (Kb) 6396

[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 769 0 0 0 20478 1411 0 0 23 0 1 0 1724916924 4370432 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 739 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 557.52
Current children cumulated vsize (Kb) 6396

[startup+640.049 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 774 0 0 0 21325 1462 0 0 23 0 1 0 1724916924 4370432 744 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 744 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 566.5
Current children cumulated vsize (Kb) 6396

[startup+650.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 774 0 0 0 22142 1527 0 0 19 0 1 0 1724916924 4370432 744 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 744 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 575.32
Current children cumulated vsize (Kb) 6396

[startup+660.051 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 774 0 0 0 22967 1591 0 0 25 0 1 0 1724916924 4370432 744 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 744 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 584.21
Current children cumulated vsize (Kb) 6396

[startup+670.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 777 0 0 0 23818 1640 0 0 17 0 1 0 1724916924 4370432 747 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 747 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 593.21
Current children cumulated vsize (Kb) 6396

[startup+680.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 781 0 0 0 24674 1685 0 0 25 0 1 0 1724916924 4370432 751 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1067 751 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 602.22
Current children cumulated vsize (Kb) 6396

[startup+690.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 786 0 0 0 25519 1735 0 0 22 0 1 0 1724916924 4370432 756 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1067 756 413 48 0 1019 0
[pid=3236] vsize: 4268
Current children cumulated CPU time (s) 611.17
Current children cumulated vsize (Kb) 6396

[startup+700.054 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 790 0 0 0 26350 1793 0 0 19 0 1 0 1724916924 4509696 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1101 760 413 48 0 1053 0
[pid=3236] vsize: 4404
Current children cumulated CPU time (s) 620.06
Current children cumulated vsize (Kb) 6532

[startup+710.054 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 790 0 0 0 27153 1861 0 0 23 0 1 0 1724916924 4509696 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1101 760 413 48 0 1053 0
[pid=3236] vsize: 4404
Current children cumulated CPU time (s) 628.77
Current children cumulated vsize (Kb) 6532

[startup+720.055 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 794 0 0 0 27990 1915 0 0 22 0 1 0 1724916924 4493312 764 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 764 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 637.68
Current children cumulated vsize (Kb) 6516

[startup+730.056 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 798 0 0 0 28843 1967 0 0 25 0 1 0 1724916924 4493312 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 768 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 646.73
Current children cumulated vsize (Kb) 6516

[startup+740.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 804 0 0 0 29703 2017 0 0 18 0 1 0 1724916924 4493312 774 4294967295 134512640 134702520 3221223712 3221222608 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 774 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 655.83
Current children cumulated vsize (Kb) 6516

[startup+750.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 805 0 0 0 30552 2068 0 0 18 0 1 0 1724916924 4493312 775 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 775 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 664.83
Current children cumulated vsize (Kb) 6516

[startup+760.059 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 808 0 0 0 31384 2127 0 0 19 0 1 0 1724916924 4493312 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1097 778 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 673.74
Current children cumulated vsize (Kb) 6516

[startup+770.06 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 808 0 0 0 32180 2195 0 0 22 0 1 0 1724916924 4493312 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 778 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 682.38
Current children cumulated vsize (Kb) 6516

[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 812 0 0 0 33030 2247 0 0 23 0 1 0 1724916924 4493312 782 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 782 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 691.4
Current children cumulated vsize (Kb) 6516

[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 816 0 0 0 33889 2295 0 0 24 0 1 0 1724916924 4493312 786 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1097 786 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 700.47
Current children cumulated vsize (Kb) 6516

[startup+800.062 s]
Raw data (loadavg): 1.08 1.02 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 819 0 0 0 34739 2345 0 0 23 0 1 0 1724916924 4493312 789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1097 789 413 48 0 1049 0
[pid=3236] vsize: 4388
Current children cumulated CPU time (s) 709.47
Current children cumulated vsize (Kb) 6516

[startup+810.062 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 851 0 0 0 35601 2392 0 0 25 0 1 0 1724916924 4763648 821 4294967295 134512640 134702520 3221223712 3221222736 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1163 821 413 48 0 1115 0
[pid=3236] vsize: 4652
Current children cumulated CPU time (s) 718.56
Current children cumulated vsize (Kb) 6780

[startup+820.063 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 853 0 0 0 36409 2457 0 0 17 0 1 0 1724916924 4763648 823 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1163 823 413 48 0 1115 0
[pid=3236] vsize: 4652
Current children cumulated CPU time (s) 727.29
Current children cumulated vsize (Kb) 6780

[startup+830.063 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 853 0 0 0 37231 2519 0 0 25 0 1 0 1724916924 4751360 823 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1160 823 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 736.13
Current children cumulated vsize (Kb) 6768

[startup+840.065 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 860 0 0 0 38098 2566 0 0 20 0 1 0 1724916924 4751360 830 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1160 830 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 745.27
Current children cumulated vsize (Kb) 6768

[startup+850.066 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 871 0 0 0 38952 2614 0 0 18 0 1 0 1724916924 4751360 841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1160 841 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 754.29
Current children cumulated vsize (Kb) 6768

[startup+860.066 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 882 0 0 0 39821 2659 0 0 24 0 1 0 1724916924 4751360 852 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1160 852 413 48 0 1112 0
[pid=3236] vsize: 4640
Current children cumulated CPU time (s) 763.43
Current children cumulated vsize (Kb) 6768

[startup+870.066 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 888 0 0 0 40677 2706 0 0 21 0 1 0 1724916924 4874240 858 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 858 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 772.46
Current children cumulated vsize (Kb) 6888

[startup+880.067 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 888 0 0 0 41499 2765 0 0 23 0 1 0 1724916924 4874240 858 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 858 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 781.27
Current children cumulated vsize (Kb) 6888

[startup+890.069 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 890 0 0 0 42345 2816 0 0 24 0 1 0 1724916924 4874240 860 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 860 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 790.24
Current children cumulated vsize (Kb) 6888

[startup+900.069 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 894 0 0 0 43206 2865 0 0 24 0 1 0 1724916924 4874240 864 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 864 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 799.34
Current children cumulated vsize (Kb) 6888

[startup+910.069 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 898 0 0 0 44070 2909 0 0 21 0 1 0 1724916924 4874240 868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 868 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 808.42
Current children cumulated vsize (Kb) 6888

[startup+920.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 904 0 0 0 44942 2954 0 0 25 0 1 0 1724916924 4874240 874 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 874 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 817.59
Current children cumulated vsize (Kb) 6888

[startup+930.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 905 0 0 0 45764 3016 0 0 18 0 1 0 1724916924 4874240 875 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1190 875 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 826.43
Current children cumulated vsize (Kb) 6888

[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 905 0 0 0 46595 3077 0 0 17 0 1 0 1724916924 4874240 875 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1190 875 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 835.35
Current children cumulated vsize (Kb) 6888

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 908 0 0 0 47467 3123 0 0 25 0 1 0 1724916924 4874240 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 878 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 844.53
Current children cumulated vsize (Kb) 6888

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 912 0 0 0 48328 3170 0 0 17 0 1 0 1724916924 4874240 882 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1190 882 413 48 0 1142 0
[pid=3236] vsize: 4760
Current children cumulated CPU time (s) 853.61
Current children cumulated vsize (Kb) 6888

[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 917 0 0 0 49210 3211 0 0 25 0 1 0 1724916924 4993024 887 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 887 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 862.84
Current children cumulated vsize (Kb) 7004

[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 924 0 0 0 50071 3257 0 0 24 0 1 0 1724916924 4993024 894 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 894 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 871.91
Current children cumulated vsize (Kb) 7004

[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 924 0 0 0 50890 3317 0 0 17 0 1 0 1724916924 4993024 894 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 894 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 880.7
Current children cumulated vsize (Kb) 7004

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 924 0 0 0 51733 3367 0 0 20 0 1 0 1724916924 4993024 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 894 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 889.63
Current children cumulated vsize (Kb) 7004

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 931 0 0 0 52585 3416 0 0 24 0 1 0 1724916924 4993024 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 901 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 898.64
Current children cumulated vsize (Kb) 7004

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 934 0 0 0 53446 3461 0 0 25 0 1 0 1724916924 4993024 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 904 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 907.7
Current children cumulated vsize (Kb) 7004

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 937 0 0 0 54311 3508 0 0 18 0 1 0 1724916924 4993024 907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 907 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 916.82
Current children cumulated vsize (Kb) 7004

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 943 0 0 0 55165 3560 0 0 17 0 1 0 1724916924 4993024 913 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1219 913 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 925.88
Current children cumulated vsize (Kb) 7004

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 943 0 0 0 55976 3623 0 0 18 0 1 0 1724916924 4993024 913 4294967295 134512640 134702520 3221223712 3221222608 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 913 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 934.62
Current children cumulated vsize (Kb) 7004

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 943 0 0 0 56817 3677 0 0 25 0 1 0 1724916924 4993024 913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 913 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 943.57
Current children cumulated vsize (Kb) 7004

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 945 0 0 0 57676 3726 0 0 24 0 1 0 1724916924 4993024 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1219 915 413 48 0 1171 0
[pid=3236] vsize: 4876
Current children cumulated CPU time (s) 952.65
Current children cumulated vsize (Kb) 7004

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 947 0 0 0 58539 3772 0 0 25 0 1 0 1724916924 5115904 917 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 917 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 961.74
Current children cumulated vsize (Kb) 7124

[startup+1090.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 952 0 0 0 59404 3822 0 0 18 0 1 0 1724916924 5115904 922 4294967295 134512640 134702520 3221223712 3221223112 134607244 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1249 922 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 970.89
Current children cumulated vsize (Kb) 7124

[startup+1100.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 955 0 0 0 60263 3867 0 0 24 0 1 0 1724916924 5115904 925 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 925 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 979.93
Current children cumulated vsize (Kb) 7124

[startup+1110.08 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 960 0 0 0 61128 3910 0 0 25 0 1 0 1724916924 5115904 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 930 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 989.01
Current children cumulated vsize (Kb) 7124

[startup+1120.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 961 0 0 0 61956 3972 0 0 22 0 1 0 1724916924 5115904 931 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 931 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 997.91
Current children cumulated vsize (Kb) 7124

[startup+1130.08 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 961 0 0 0 62763 4038 0 0 18 0 1 0 1724916924 5115904 931 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1249 931 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1006.64
Current children cumulated vsize (Kb) 7124

[startup+1140.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 963 0 0 0 63621 4089 0 0 18 0 1 0 1724916924 5115904 933 4294967295 134512640 134702520 3221223712 3221223112 134606956 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1249 933 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1015.73
Current children cumulated vsize (Kb) 7124

[startup+1150.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 966 0 0 0 64487 4135 0 0 22 0 1 0 1724916924 5115904 936 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 936 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1024.85
Current children cumulated vsize (Kb) 7124

[startup+1160.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 969 0 0 0 65350 4181 0 0 22 0 1 0 1724916924 5115904 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 939 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1033.94
Current children cumulated vsize (Kb) 7124

[startup+1170.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 971 0 0 0 66212 4227 0 0 22 0 1 0 1724916924 5115904 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 941 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1043.02
Current children cumulated vsize (Kb) 7124

[startup+1180.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 973 0 0 0 67081 4271 0 0 24 0 1 0 1724916924 5115904 943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1249 943 413 48 0 1201 0
[pid=3236] vsize: 4996
Current children cumulated CPU time (s) 1052.15
Current children cumulated vsize (Kb) 7124

[startup+1190.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 975 0 0 0 67920 4329 0 0 21 0 1 0 1724916924 5251072 945 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1282 945 413 48 0 1234 0
[pid=3236] vsize: 5128
Current children cumulated CPU time (s) 1061.12
Current children cumulated vsize (Kb) 7256

[startup+1200.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 975 0 0 0 68728 4390 0 0 22 0 1 0 1724916924 5251072 945 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1282 945 413 48 0 1234 0
[pid=3236] vsize: 5128
Current children cumulated CPU time (s) 1069.81
Current children cumulated vsize (Kb) 7256

[startup+1210.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 976 0 0 0 69590 4436 0 0 25 0 1 0 1724916924 5234688 946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 946 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1078.89
Current children cumulated vsize (Kb) 7240

[startup+1220.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 979 0 0 0 70445 4484 0 0 18 0 1 0 1724916924 5234688 949 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 949 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1087.92
Current children cumulated vsize (Kb) 7240

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 983 0 0 0 71307 4530 0 0 23 0 1 0 1724916924 5234688 953 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 953 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1097
Current children cumulated vsize (Kb) 7240

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 984 0 0 0 72183 4571 0 0 25 0 1 0 1724916924 5234688 954 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 954 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1106.17
Current children cumulated vsize (Kb) 7240

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 987 0 0 0 73059 4614 0 0 23 0 1 0 1724916924 5234688 957 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1278 957 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1115.36
Current children cumulated vsize (Kb) 7240

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 989 0 0 0 73935 4655 0 0 25 0 1 0 1724916924 5234688 959 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 959 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1124.53
Current children cumulated vsize (Kb) 7240

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 990 0 0 0 74750 4716 0 0 23 0 1 0 1724916924 5234688 960 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 960 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1133.29
Current children cumulated vsize (Kb) 7240

[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 990 0 0 0 75570 4773 0 0 22 0 1 0 1724916924 5234688 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 960 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1142.06
Current children cumulated vsize (Kb) 7240

[startup+1290.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 993 0 0 0 76433 4819 0 0 25 0 1 0 1724916924 5234688 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 963 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1151.15
Current children cumulated vsize (Kb) 7240

[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 999 0 0 0 77306 4863 0 0 25 0 1 0 1724916924 5234688 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1278 969 413 48 0 1230 0
[pid=3236] vsize: 5112
Current children cumulated CPU time (s) 1160.32
Current children cumulated vsize (Kb) 7240

[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1006 0 0 0 78191 4901 0 0 17 0 1 0 1724916924 5378048 976 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1313 976 413 48 0 1265 0
[pid=3236] vsize: 5252
Current children cumulated CPU time (s) 1169.55
Current children cumulated vsize (Kb) 7380

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1008 0 0 0 79060 4949 0 0 22 0 1 0 1724916924 5357568 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 978 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1178.72
Current children cumulated vsize (Kb) 7360

[startup+1330.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 1010 0 0 0 79920 4997 0 0 17 0 1 0 1724916924 5357568 980 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 980 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1187.8
Current children cumulated vsize (Kb) 7360

[startup+1340.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) R 3231 3231 20602 0 -1 0 1014 0 0 0 80784 5048 0 0 19 0 1 0 1724916924 5357568 984 4294967295 134512640 134702520 3221223712 3221222608 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3236/statm): 1308 984 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1196.95
Current children cumulated vsize (Kb) 7360

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1014 0 0 0 81588 5112 0 0 22 0 1 0 1724916924 5357568 984 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 984 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1205.63
Current children cumulated vsize (Kb) 7360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3236
Raw data (/proc/3231/stat): 3231 (vallstSAT2005PB) S 3230 3231 20602 0 -1 0 378 1229 0 0 1 1 31522 2339 17 0 1 0 1724878544 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3231/statm): 532 248 485 147 0 385 0
[pid=3231] vsize: 2128
Raw data (/proc/3236/stat): 3236 (vallst) T 3231 3231 20602 0 -1 0 1014 0 0 0 81588 5112 0 0 22 0 1 0 1724916924 5357568 984 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3236/statm): 1308 984 413 48 0 1260 0
[pid=3236] vsize: 5232
Current children cumulated CPU time (s) 1205.63
Current children cumulated vsize (Kb) 7360

Sending SIGTERM to -3231
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=3238
New process pid=3239
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=3236) exited with status: 3
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/1592/stat
open syscall for file /proc/1592/status
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/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/9854/stat
open syscall for file /proc/9854/status
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/23373/stat
open syscall for file /proc/23373/status
open syscall for file /proc/23373/cmdline
open syscall for file /proc/23373/environ
open syscall for file /proc/23400/stat
open syscall for file /proc/23400/status
open syscall for file /proc/23400/cmdline
open syscall for file /proc/23400/environ
open syscall for file /proc/23424/stat
open syscall for file /proc/23424/status
open syscall for file /proc/23424/cmdline
open syscall for file /proc/23424/environ
open syscall for file /proc/6632/stat
open syscall for file /proc/6632/status
open syscall for file /proc/6632/cmdline
open syscall for file /proc/6632/environ
open syscall for file /proc/7718/stat
open syscall for file /proc/7718/status
open syscall for file /proc/7718/cmdline
open syscall for file /proc/7718/environ
open syscall for file /proc/20012/stat
open syscall for file /proc/20012/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/20012/cmdline
open syscall for file /proc/20012/environ
open syscall for file /proc/20048/stat
open syscall for file /proc/20048/status
open syscall for file /proc/20048/cmdline
open syscall for file /proc/20048/environ
open syscall for file /proc/20602/stat
open syscall for file /proc/20602/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/20602/cmdline
open syscall for file /proc/20602/environ
open syscall for file /proc/20603/stat
open syscall for file /proc/20603/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/20603/cmdline
open syscall for file /proc/20603/environ
open syscall for file /proc/20612/stat
open syscall for file /proc/20612/status
open syscall for file /proc/20612/cmdline
open syscall for file /proc/20612/environ
open syscall for file /proc/3194/stat
open syscall for file /proc/3194/status
open syscall for file /proc/3194/cmdline
open syscall for file /proc/3194/environ
open syscall for file /proc/3230/stat
open syscall for file /proc/3230/status
open syscall for file /proc/3230/cmdline
open syscall for file /proc/3230/environ
open syscall for file /proc/3231/stat
open syscall for file /proc/3231/status
open syscall for file /proc/3231/cmdline
open syscall for file /proc/3231/environ
open syscall for file /proc/3238/stat
open syscall for file /proc/3238/status
open syscall for file /proc/3238/cmdline
open syscall for file /proc/3238/environ
open syscall for file /proc/3239/stat
open syscall for file /proc/3239/status
open syscall for file /proc/3239/cmdline
open syscall for file /proc/3239/environ
One traced child (pid=3238) exited with status: 0
One traced child (pid=3239) exited with status: 0
New process pid=3240
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=3240) exited with status: 0
New process pid=3241
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=3241) exited with status: 0
One traced child (pid=3231) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1350.59
CPU time (s): 1205.8
CPU user time (s): 1131.21
CPU system time (s): 74.5847
CPU usage (%): 89.2791
Max. virtual memory (cumulated for all children) (Kb): 7380

Verifier Data

ERROR: no interpretation found !