Some explanations

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

General information on the benchmark

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

Trace number 2079

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-18 17:40:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7228 boxname=wulflinc26 idbench=196 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ad922a0ad53056b410be6ab5caa6b5b  /oldhome/oroussel/tmp/wulflinc26/normalized-par32-4.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc26/normalized-par32-4.opb 0
IDLAUNCH: 7228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921392 kB
Buffers:         35472 kB
Cached:          50360 kB
SwapCached:        868 kB
Active:          65568 kB
Inactive:        22936 kB
HighTotal:      131008 kB
HighFree:        77840 kB
LowTotal:       903652 kB
LowFree:        843552 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19072 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 18:03:46 (client local time) WITH STATUS 0 IN 1203.51 SECONDS
stats: 7228 7 1203.51 0

Solver Data

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

2:
seed: 0
Nr of vars set: 1586  (#equs: 0)
Nr of vars set: 1586  (#equs: 1)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1586  (#equs: 2)
Time taken: 13 min, 53 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/23548/stat): 23548 (vallstSAT2005PB) R 23547 23548 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843140083 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23548/statm): 174 3 169 147 0 27 0
[pid=23548] 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=23549
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=23549) exited with status: 0
New process pid=23550
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=23550) exited with status: 0
New process pid=23551
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/wulflinc26/normalized-par32-4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.96 1.01 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 789 0 0 0 612 127 0 0 17 0 1 0 1843140091 4673536 759 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1141 759 413 48 0 1093 0
[pid=23551] vsize: 4564
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (Kb) 6692

[startup+20.0043 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 789 0 0 0 1261 241 0 0 22 0 1 0 1843140091 4673536 759 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1141 759 413 48 0 1093 0
[pid=23551] vsize: 4564
Current children cumulated CPU time (s) 15.04
Current children cumulated vsize (Kb) 6692

[startup+30.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 824 0 0 0 2113 291 0 0 19 0 1 0 1843140091 7385088 794 4294967295 134512640 134702520 3221223968 3221222864 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1803 794 413 48 0 1755 0
[pid=23551] vsize: 7212
Current children cumulated CPU time (s) 24.06
Current children cumulated vsize (Kb) 9340

[startup+40.0067 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 868 0 0 0 2949 343 0 0 25 0 1 0 1843140091 7462912 838 4294967295 134512640 134702520 3221223968 3221223248 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1822 838 413 48 0 1774 0
[pid=23551] vsize: 7288
Current children cumulated CPU time (s) 32.94
Current children cumulated vsize (Kb) 9416

[startup+50.0084 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 897 0 0 0 3689 429 0 0 17 0 1 0 1843140091 7561216 867 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1846 867 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 41.2
Current children cumulated vsize (Kb) 9512

[startup+60.009 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 898 0 0 0 4307 551 0 0 21 0 1 0 1843140091 7561216 868 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1846 868 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 48.6
Current children cumulated vsize (Kb) 9512

[startup+70.0097 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 901 0 0 0 5129 608 0 0 18 0 1 0 1843140091 7561216 871 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1846 871 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 57.39
Current children cumulated vsize (Kb) 9512

[startup+80.0114 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 911 0 0 0 6003 650 0 0 25 0 1 0 1843140091 7561216 881 4294967295 134512640 134702520 3221223968 3221223248 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1846 881 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 66.55
Current children cumulated vsize (Kb) 9512

[startup+90.0121 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 939 0 0 0 6876 691 0 0 25 0 1 0 1843140091 7561216 909 4294967295 134512640 134702520 3221223968 3221223232 134557412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1846 909 413 48 0 1798 0
[pid=23551] vsize: 7384
Current children cumulated CPU time (s) 75.69
Current children cumulated vsize (Kb) 9512

[startup+100.014 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 948 0 0 0 7519 811 0 0 17 0 1 0 1843140091 7712768 918 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1883 918 413 48 0 1835 0
[pid=23551] vsize: 7532
Current children cumulated CPU time (s) 83.32
Current children cumulated vsize (Kb) 9660

[startup+110.014 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 950 0 0 0 8238 904 0 0 22 0 1 0 1843140091 7712768 920 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1883 920 413 48 0 1835 0
[pid=23551] vsize: 7532
Current children cumulated CPU time (s) 91.44
Current children cumulated vsize (Kb) 9660

[startup+120.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 957 0 0 0 9127 945 0 0 25 0 1 0 1843140091 7675904 927 4294967295 134512640 134702520 3221223968 3221127904 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1874 927 413 48 0 1826 0
[pid=23551] vsize: 7496
Current children cumulated CPU time (s) 100.74
Current children cumulated vsize (Kb) 9624

[startup+130.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 963 0 0 0 9995 989 0 0 25 0 1 0 1843140091 7675904 933 4294967295 134512640 134702520 3221223968 3221223088 134572603 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1874 933 413 48 0 1826 0
[pid=23551] vsize: 7496
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 9624

[startup+140.018 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 978 0 0 0 10874 1031 0 0 25 0 1 0 1843140091 7819264 948 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1909 948 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 119.07
Current children cumulated vsize (Kb) 9764

[startup+150.019 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 989 0 0 0 11545 1140 0 0 18 0 1 0 1843140091 7819264 959 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 959 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 126.87
Current children cumulated vsize (Kb) 9764

[startup+160.02 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 990 0 0 0 12243 1238 0 0 18 0 1 0 1843140091 7819264 960 4294967295 134512640 134702520 3221223968 3221222864 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 960 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 134.83
Current children cumulated vsize (Kb) 9764

[startup+170.02 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 990 0 0 0 13111 1282 0 0 25 0 1 0 1843140091 7819264 960 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 960 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 143.95
Current children cumulated vsize (Kb) 9764

[startup+180.021 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 995 0 0 0 13990 1323 0 0 20 0 1 0 1843140091 7819264 965 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1909 965 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 153.15
Current children cumulated vsize (Kb) 9764

[startup+190.022 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1003 0 0 0 14907 1351 0 0 25 0 1 0 1843140091 7819264 973 4294967295 134512640 134702520 3221223968 3221223248 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1909 973 413 48 0 1861 0
[pid=23551] vsize: 7636
Current children cumulated CPU time (s) 162.6
Current children cumulated vsize (Kb) 9764

[startup+200.023 s]
Raw data (loadavg): 1.11 1.05 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1023 0 0 0 15770 1398 0 0 17 0 1 0 1843140091 7966720 993 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1945 993 413 48 0 1897 0
[pid=23551] vsize: 7780
Current children cumulated CPU time (s) 171.7
Current children cumulated vsize (Kb) 9908

[startup+210.023 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1024 0 0 0 16338 1541 0 0 19 0 1 0 1843140091 7966720 994 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1945 994 413 48 0 1897 0
[pid=23551] vsize: 7780
Current children cumulated CPU time (s) 178.81
Current children cumulated vsize (Kb) 9908

[startup+220.024 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1024 0 0 0 17167 1601 0 0 25 0 1 0 1843140091 7950336 994 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1941 994 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 187.7
Current children cumulated vsize (Kb) 9892

[startup+230.025 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1025 0 0 0 18059 1635 0 0 19 0 1 0 1843140091 7950336 995 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1941 995 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 196.96
Current children cumulated vsize (Kb) 9892

[startup+240.025 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1036 0 0 0 18971 1665 0 0 25 0 1 0 1843140091 7950336 1006 4294967295 134512640 134702520 3221223968 3221223248 134557293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1941 1006 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 206.38
Current children cumulated vsize (Kb) 9892

[startup+250.027 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1044 0 0 0 19889 1694 0 0 25 0 1 0 1843140091 7950336 1014 4294967295 134512640 134702520 3221223968 3221223296 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1941 1014 413 48 0 1893 0
[pid=23551] vsize: 7764
Current children cumulated CPU time (s) 215.85
Current children cumulated vsize (Kb) 9892

[startup+260.028 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1059 0 0 0 20708 1756 0 0 18 0 1 0 1843140091 8101888 1029 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 1978 1029 413 48 0 1930 0
[pid=23551] vsize: 7912
Current children cumulated CPU time (s) 224.66
Current children cumulated vsize (Kb) 10040

[startup+270.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1061 0 0 0 21294 1891 0 0 21 0 1 0 1843140091 8101888 1031 4294967295 134512640 134702520 3221223968 3221222724 134553847 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1978 1031 413 48 0 1930 0
[pid=23551] vsize: 7912
Current children cumulated CPU time (s) 231.87
Current children cumulated vsize (Kb) 10040

[startup+280.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1061 0 0 0 22133 1946 0 0 25 0 1 0 1843140091 8081408 1031 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1973 1031 413 48 0 1925 0
[pid=23551] vsize: 7892
Current children cumulated CPU time (s) 240.81
Current children cumulated vsize (Kb) 10020

[startup+290.03 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1063 0 0 0 23054 1970 0 0 24 0 1 0 1843140091 8081408 1033 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 1973 1033 413 48 0 1925 0
[pid=23551] vsize: 7892
Current children cumulated CPU time (s) 250.26
Current children cumulated vsize (Kb) 10020

[startup+300.03 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1110 0 0 0 23933 2011 0 0 25 0 1 0 1843140091 8269824 1080 4294967295 134512640 134702520 3221223968 3221223248 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2019 1080 413 48 0 1971 0
[pid=23551] vsize: 8076
Current children cumulated CPU time (s) 259.46
Current children cumulated vsize (Kb) 10204

[startup+310.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1182 0 0 0 24855 2038 0 0 25 0 1 0 1843140091 8462336 1152 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2066 1152 413 48 0 2018 0
[pid=23551] vsize: 8264
Current children cumulated CPU time (s) 268.95
Current children cumulated vsize (Kb) 10392

[startup+320.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1247 0 0 0 25787 2061 0 0 25 0 1 0 1843140091 8671232 1217 4294967295 134512640 134702520 3221223968 3221223360 134606401 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2117 1217 413 48 0 2069 0
[pid=23551] vsize: 8468
Current children cumulated CPU time (s) 278.5
Current children cumulated vsize (Kb) 10596

[startup+330.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 26538 2145 0 0 18 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221222832 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 286.85
Current children cumulated vsize (Kb) 10728

[startup+340.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 27190 2257 0 0 22 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 294.49
Current children cumulated vsize (Kb) 10728

[startup+350.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 28078 2296 0 0 25 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221195564 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 303.76
Current children cumulated vsize (Kb) 10728

[startup+360.036 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1287 0 0 0 28989 2326 0 0 23 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 313.17
Current children cumulated vsize (Kb) 10728

[startup+370.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1287 0 0 0 29906 2355 0 0 18 0 1 0 1843140091 8806400 1257 4294967295 134512640 134702520 3221223968 3221222804 134549007 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2150 1257 413 48 0 2102 0
[pid=23551] vsize: 8600
Current children cumulated CPU time (s) 322.63
Current children cumulated vsize (Kb) 10728

[startup+380.037 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1312 0 0 0 30847 2375 0 0 24 0 1 0 1843140091 9011200 1282 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2200 1282 413 48 0 2152 0
[pid=23551] vsize: 8800
Current children cumulated CPU time (s) 332.24
Current children cumulated vsize (Kb) 10928

[startup+390.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) R 23548 23548 16528 0 -1 0 1370 0 0 0 31781 2396 0 0 25 0 1 0 1843140091 9175040 1340 4294967295 134512640 134702520 3221223968 3221207724 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2240 1340 413 48 0 2192 0
[pid=23551] vsize: 8960
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (Kb) 11088

[startup+400.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1424 0 0 0 32715 2419 0 0 25 0 1 0 1843140091 9486336 1394 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2316 1394 413 48 0 2268 0
[pid=23551] vsize: 9264
Current children cumulated CPU time (s) 351.36
Current children cumulated vsize (Kb) 11392

[startup+410.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1437 0 0 0 33426 2516 0 0 18 0 1 0 1843140091 9486336 1407 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23551/statm): 2316 1407 413 48 0 2268 0
[pid=23551] vsize: 9264
Current children cumulated CPU time (s) 359.44
Current children cumulated vsize (Kb) 11392

[startup+420.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 23551
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843140083 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 242 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23551/stat): 23551 (vallst) T 23548 23548 16528 0 -1 0 1437 0 0 0 34106 2626 0 0 21 0 1 0 1843140091 9486336 1407 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23551/statm): 2316 1407 413 48 0 2268 0
[pid=23551] vsize: 9264
Current children cumulated CPU time (s) 367.34
Current children cumulated vsize (Kb) 11392
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=23551) exited with status: 2
New process pid=23552
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=23552) exited with status: 0
New process pid=23553
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+430.041 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 753 0 0 0 433 97 0 0 17 0 1 0 1843182364 5083136 724 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 1241 724 413 48 0 1193 0
[pid=23553] vsize: 4964
Current children cumulated CPU time (s) 375
Current children cumulated vsize (Kb) 7092

[startup+440.042 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 812 0 0 0 929 258 0 0 22 0 1 0 1843182364 8933376 783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2181 783 413 48 0 2133 0
[pid=23553] vsize: 8724
Current children cumulated CPU time (s) 381.57
Current children cumulated vsize (Kb) 10852

[startup+450.043 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 880 0 0 0 1792 303 0 0 25 0 1 0 1843182364 9633792 851 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2352 851 413 48 0 2304 0
[pid=23553] vsize: 9408
Current children cumulated CPU time (s) 390.65
Current children cumulated vsize (Kb) 11536

[startup+460.044 s]
Raw data (loadavg): 1.17 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 924 0 0 0 2657 350 0 0 25 0 1 0 1843182364 9633792 895 4294967295 134512640 134702520 3221223712 3221059008 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2352 895 413 48 0 2304 0
[pid=23553] vsize: 9408
Current children cumulated CPU time (s) 399.77
Current children cumulated vsize (Kb) 11536

[startup+470.044 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 944 0 0 0 3384 439 0 0 17 0 1 0 1843182364 9756672 915 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 915 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 407.93
Current children cumulated vsize (Kb) 11656

[startup+480.046 s]
Raw data (loadavg): 1.19 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 946 0 0 0 3809 626 0 0 24 0 1 0 1843182364 9756672 917 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 917 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 414.05
Current children cumulated vsize (Kb) 11656

[startup+490.046 s]
Raw data (loadavg): 1.16 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 946 0 0 0 4651 677 0 0 25 0 1 0 1843182364 9756672 917 4294967295 134512640 134702520 3221223712 3221182988 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 917 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 422.98
Current children cumulated vsize (Kb) 11656

[startup+500.048 s]
Raw data (loadavg): 1.14 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 948 0 0 0 5509 724 0 0 25 0 1 0 1843182364 9756672 919 4294967295 134512640 134702520 3221223712 3220983628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 919 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 432.03
Current children cumulated vsize (Kb) 11656

[startup+510.049 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 956 0 0 0 6193 826 0 0 17 0 1 0 1843182364 9756672 927 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 927 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 439.89
Current children cumulated vsize (Kb) 11656

[startup+520.049 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 958 0 0 0 6636 1003 0 0 25 0 1 0 1843182364 9756672 929 4294967295 134512640 134702520 3221223712 3221189392 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 929 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 446.09
Current children cumulated vsize (Kb) 11656

[startup+530.05 s]
Raw data (loadavg): 1.16 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 959 0 0 0 7473 1057 0 0 25 0 1 0 1843182364 9756672 930 4294967295 134512640 134702520 3221223712 3221138348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 930 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 455
Current children cumulated vsize (Kb) 11656

[startup+540.051 s]
Raw data (loadavg): 1.13 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 959 0 0 0 8309 1109 0 0 25 0 1 0 1843182364 9756672 930 4294967295 134512640 134702520 3221223712 3221113236 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 930 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 463.88
Current children cumulated vsize (Kb) 11656

[startup+550.053 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 960 0 0 0 8941 1233 0 0 17 0 1 0 1843182364 9756672 931 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 931 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 471.44
Current children cumulated vsize (Kb) 11656

[startup+560.053 s]
Raw data (loadavg): 1.17 1.08 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 960 0 0 0 9421 1406 0 0 25 0 1 0 1843182364 9756672 931 4294967295 134512640 134702520 3221223712 3221195948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 931 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 477.97
Current children cumulated vsize (Kb) 11656

[startup+570.054 s]
Raw data (loadavg): 1.14 1.08 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 960 0 0 0 10266 1460 0 0 25 0 1 0 1843182364 9756672 931 4294967295 134512640 134702520 3221223712 3221077888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 931 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 486.96
Current children cumulated vsize (Kb) 11656

[startup+580.056 s]
Raw data (loadavg): 1.12 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 966 0 0 0 11103 1514 0 0 25 0 1 0 1843182364 9756672 937 4294967295 134512640 134702520 3221223712 3221080272 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2382 937 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 495.87
Current children cumulated vsize (Kb) 11656

[startup+590.055 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 971 0 0 0 11832 1600 0 0 16 0 1 0 1843182364 9756672 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2382 942 413 48 0 2334 0
[pid=23553] vsize: 9528
Current children cumulated CPU time (s) 504.02
Current children cumulated vsize (Kb) 11656

[startup+600.057 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 972 0 0 0 12235 1794 0 0 25 0 1 0 1843182364 9822208 943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 943 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 11720

[startup+610.058 s]
Raw data (loadavg): 1.07 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 977 0 0 0 13069 1849 0 0 25 0 1 0 1843182364 9822208 948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 948 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 518.88
Current children cumulated vsize (Kb) 11720

[startup+620.057 s]
Raw data (loadavg): 1.06 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 980 0 0 0 13918 1900 0 0 19 0 1 0 1843182364 9822208 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 951 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 527.88
Current children cumulated vsize (Kb) 11720

[startup+630.058 s]
Raw data (loadavg): 1.05 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 984 0 0 0 14814 1936 0 0 25 0 1 0 1843182364 9822208 955 4294967295 134512640 134702520 3221223712 3221215628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 955 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 537.2
Current children cumulated vsize (Kb) 11720

[startup+640.059 s]
Raw data (loadavg): 1.12 1.07 1.02 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 985 0 0 0 15269 2113 0 0 16 0 1 0 1843182364 9822208 956 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 956 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 543.52
Current children cumulated vsize (Kb) 11720

[startup+650.059 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 986 0 0 0 15944 2215 0 0 25 0 1 0 1843182364 9822208 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 957 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 551.29
Current children cumulated vsize (Kb) 11720

[startup+660.06 s]
Raw data (loadavg): 1.09 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 987 0 0 0 16782 2266 0 0 21 0 1 0 1843182364 9822208 958 4294967295 134512640 134702520 3221223712 3221222992 134557214 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 958 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 560.18
Current children cumulated vsize (Kb) 11720

[startup+670.061 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 994 0 0 0 17671 2304 0 0 25 0 1 0 1843182364 9822208 965 4294967295 134512640 134702520 3221223712 3221166528 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 965 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 569.45
Current children cumulated vsize (Kb) 11720

[startup+680.061 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 995 0 0 0 18488 2362 0 0 17 0 1 0 1843182364 9822208 966 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 966 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 578.2
Current children cumulated vsize (Kb) 11720

[startup+690.062 s]
Raw data (loadavg): 1.05 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 997 0 0 0 18838 2570 0 0 16 0 1 0 1843182364 9822208 968 4294967295 134512640 134702520 3221223712 3221222636 134519982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 968 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 583.78
Current children cumulated vsize (Kb) 11720

[startup+700.063 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 998 0 0 0 19693 2615 0 0 25 0 1 0 1843182364 9822208 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2398 969 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 592.78
Current children cumulated vsize (Kb) 11720

[startup+710.063 s]
Raw data (loadavg): 1.11 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1022 0 0 0 20552 2663 0 0 25 0 1 0 1843182364 9822208 993 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2398 993 413 48 0 2350 0
[pid=23553] vsize: 9592
Current children cumulated CPU time (s) 601.85
Current children cumulated vsize (Kb) 11720

[startup+720.064 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1130 0 0 0 21458 2695 0 0 25 0 1 0 1843182364 10334208 1101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2523 1101 413 48 0 2475 0
[pid=23553] vsize: 10092
Current children cumulated CPU time (s) 611.23
Current children cumulated vsize (Kb) 12220

[startup+730.066 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1223 0 0 0 22380 2721 0 0 25 0 1 0 1843182364 10448896 1194 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2551 1194 413 48 0 2503 0
[pid=23553] vsize: 10204
Current children cumulated CPU time (s) 620.71
Current children cumulated vsize (Kb) 12332

[startup+740.067 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1236 0 0 0 22938 2859 0 0 16 0 1 0 1843182364 10960896 1207 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2676 1207 413 48 0 2628 0
[pid=23553] vsize: 10704
Current children cumulated CPU time (s) 627.67
Current children cumulated vsize (Kb) 12832

[startup+750.068 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1238 0 0 0 23566 2979 0 0 25 0 1 0 1843182364 11030528 1209 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2693 1209 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 635.15
Current children cumulated vsize (Kb) 12900

[startup+760.069 s]
Raw data (loadavg): 1.05 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1241 0 0 0 24436 3023 0 0 18 0 1 0 1843182364 11030528 1212 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2693 1212 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 644.29
Current children cumulated vsize (Kb) 12900

[startup+770.069 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1251 0 0 0 25350 3053 0 0 25 0 1 0 1843182364 11030528 1222 4294967295 134512640 134702520 3221223712 3221222992 134550747 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2693 1222 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 653.73
Current children cumulated vsize (Kb) 12900

[startup+780.07 s]
Raw data (loadavg): 1.03 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1271 0 0 0 26275 3078 0 0 25 0 1 0 1843182364 11030528 1242 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2693 1242 413 48 0 2645 0
[pid=23553] vsize: 10772
Current children cumulated CPU time (s) 663.23
Current children cumulated vsize (Kb) 12900

[startup+790.071 s]
Raw data (loadavg): 1.03 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1350 0 0 0 27207 3100 0 0 24 0 1 0 1843182364 11165696 1321 4294967295 134512640 134702520 3221223712 3221222800 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2726 1321 413 48 0 2678 0
[pid=23553] vsize: 10904
Current children cumulated CPU time (s) 672.77
Current children cumulated vsize (Kb) 13032

[startup+800.072 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1434 0 0 0 28172 3113 0 0 25 0 1 0 1843182364 11165696 1398 4294967295 134512640 134702520 3221223712 3221172428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2726 1398 413 48 0 2678 0
[pid=23553] vsize: 10904
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (Kb) 13032

[startup+810.073 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1437 0 0 0 28663 3277 0 0 16 0 1 0 1843182364 11317248 1401 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2763 1401 413 48 0 2715 0
[pid=23553] vsize: 11052
Current children cumulated CPU time (s) 689.1
Current children cumulated vsize (Kb) 13180

[startup+820.073 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1441 0 0 0 29352 3377 0 0 25 0 1 0 1843182364 11296768 1405 4294967295 134512640 134702520 3221223712 3220960908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1405 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 696.99
Current children cumulated vsize (Kb) 13160

[startup+830.074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1441 0 0 0 30259 3408 0 0 21 0 1 0 1843182364 11296768 1405 4294967295 134512640 134702520 3221223712 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1405 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 706.37
Current children cumulated vsize (Kb) 13160

[startup+840.074 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1441 0 0 0 31164 3439 0 0 18 0 1 0 1843182364 11296768 1405 4294967295 134512640 134702520 3221223712 3221222608 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1405 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 715.73
Current children cumulated vsize (Kb) 13160

[startup+850.076 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1447 0 0 0 32117 3456 0 0 25 0 1 0 1843182364 11296768 1411 4294967295 134512640 134702520 3221223712 3221169248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2758 1411 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 725.43
Current children cumulated vsize (Kb) 13160

[startup+860.077 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1455 0 0 0 33047 3481 0 0 25 0 1 0 1843182364 11296768 1419 4294967295 134512640 134702520 3221223712 3221222824 134574449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2758 1419 413 48 0 2710 0
[pid=23553] vsize: 11032
Current children cumulated CPU time (s) 734.98
Current children cumulated vsize (Kb) 13160

[startup+870.077 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1491 0 0 0 33980 3504 0 0 25 0 1 0 1843182364 11808768 1455 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2883 1455 413 48 0 2835 0
[pid=23553] vsize: 11532
Current children cumulated CPU time (s) 744.54
Current children cumulated vsize (Kb) 13660

[startup+880.078 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1527 0 0 0 34680 3602 0 0 17 0 1 0 1843182364 11808768 1491 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2883 1491 413 48 0 2835 0
[pid=23553] vsize: 11532
Current children cumulated CPU time (s) 752.52
Current children cumulated vsize (Kb) 13660

[startup+890.079 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1529 0 0 0 35171 3769 0 0 25 0 1 0 1843182364 11898880 1493 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1493 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 759.1
Current children cumulated vsize (Kb) 13748

[startup+900.081 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1529 0 0 0 36088 3795 0 0 25 0 1 0 1843182364 11898880 1493 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1493 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 768.53
Current children cumulated vsize (Kb) 13748

[startup+910.081 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1529 0 0 0 37015 3820 0 0 25 0 1 0 1843182364 11898880 1493 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2905 1493 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 778.05
Current children cumulated vsize (Kb) 13748

[startup+920.082 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1532 0 0 0 37977 3832 0 0 24 0 1 0 1843182364 11898880 1496 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1496 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 787.79
Current children cumulated vsize (Kb) 13748

[startup+930.084 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1535 0 0 0 38903 3857 0 0 25 0 1 0 1843182364 11898880 1499 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1499 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 797.3
Current children cumulated vsize (Kb) 13748

[startup+940.084 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1541 0 0 0 39841 3878 0 0 25 0 1 0 1843182364 11898880 1505 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2905 1505 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 806.89
Current children cumulated vsize (Kb) 13748

[startup+950.086 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1546 0 0 0 40780 3902 0 0 25 0 1 0 1843182364 11898880 1510 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2905 1510 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 816.52
Current children cumulated vsize (Kb) 13748

[startup+960.087 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1553 0 0 0 41746 3913 0 0 25 0 1 0 1843182364 11898880 1517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2905 1517 413 48 0 2857 0
[pid=23553] vsize: 11620
Current children cumulated CPU time (s) 826.29
Current children cumulated vsize (Kb) 13748

[startup+970.087 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1555 0 0 0 42305 4059 0 0 17 0 1 0 1843182364 12034048 1519 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2938 1519 413 48 0 2890 0
[pid=23553] vsize: 11752
Current children cumulated CPU time (s) 833.34
Current children cumulated vsize (Kb) 13880

[startup+980.088 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1557 0 0 0 42937 4179 0 0 25 0 1 0 1843182364 11997184 1521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2929 1521 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 840.86
Current children cumulated vsize (Kb) 13844

[startup+990.089 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1557 0 0 0 43895 4194 0 0 25 0 1 0 1843182364 11997184 1521 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2929 1521 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 850.59
Current children cumulated vsize (Kb) 13844

[startup+1000.09 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1557 0 0 0 44813 4222 0 0 25 0 1 0 1843182364 11997184 1521 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1521 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 860.05
Current children cumulated vsize (Kb) 13844

[startup+1010.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1558 0 0 0 45740 4248 0 0 25 0 1 0 1843182364 11997184 1522 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1522 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 869.58
Current children cumulated vsize (Kb) 13844

[startup+1020.09 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1558 0 0 0 46706 4260 0 0 25 0 1 0 1843182364 11997184 1522 4294967295 134512640 134702520 3221223712 3221118848 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2929 1522 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 879.36
Current children cumulated vsize (Kb) 13844

[startup+1030.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1561 0 0 0 47631 4286 0 0 25 0 1 0 1843182364 11997184 1525 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1525 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 888.87
Current children cumulated vsize (Kb) 13844

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1565 0 0 0 48566 4310 0 0 25 0 1 0 1843182364 11997184 1529 4294967295 134512640 134702520 3221223712 3221222992 134551035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2929 1529 413 48 0 2881 0
[pid=23553] vsize: 11716
Current children cumulated CPU time (s) 898.46
Current children cumulated vsize (Kb) 13844

[startup+1050.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1581 0 0 0 49526 4323 0 0 21 0 1 0 1843182364 11485184 1485 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1485 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 908.19
Current children cumulated vsize (Kb) 13344

[startup+1060.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1582 0 0 0 49979 4503 0 0 16 0 1 0 1843182364 11485184 1486 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1486 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 914.52
Current children cumulated vsize (Kb) 13344

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1583 0 0 0 50720 4586 0 0 25 0 1 0 1843182364 11485184 1487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1487 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 922.76
Current children cumulated vsize (Kb) 13344

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1583 0 0 0 51637 4615 0 0 25 0 1 0 1843182364 11485184 1487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1487 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 932.22
Current children cumulated vsize (Kb) 13344

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 52560 4641 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (Kb) 13344

[startup+1100.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 53486 4666 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 951.22
Current children cumulated vsize (Kb) 13344

[startup+1110.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 54410 4690 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 960.7
Current children cumulated vsize (Kb) 13344

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 55332 4718 0 0 17 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 970.2
Current children cumulated vsize (Kb) 13344

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 56288 4734 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134557446 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 979.92
Current children cumulated vsize (Kb) 13344

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 56798 4895 0 0 17 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 986.63
Current children cumulated vsize (Kb) 13344

[startup+1150.1 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 57469 5007 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 994.46
Current children cumulated vsize (Kb) 13344

[startup+1160.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 58370 5042 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221103328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1003.82
Current children cumulated vsize (Kb) 13344

[startup+1170.1 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 59227 5093 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1012.9
Current children cumulated vsize (Kb) 13344

[startup+1180.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 60133 5124 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1022.27
Current children cumulated vsize (Kb) 13344

[startup+1190.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 61037 5156 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1031.63
Current children cumulated vsize (Kb) 13344

[startup+1200.1 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 61932 5191 0 0 17 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1040.93
Current children cumulated vsize (Kb) 13344

[startup+1210.11 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 62227 5423 0 0 16 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1046.2
Current children cumulated vsize (Kb) 13344

[startup+1220.11 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 63081 5474 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1055.25
Current children cumulated vsize (Kb) 13344

[startup+1230.11 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1596 0 0 0 63957 5514 0 0 25 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1064.41
Current children cumulated vsize (Kb) 13344

[startup+1240.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1596 0 0 0 64844 5553 0 0 24 0 1 0 1843182364 11485184 1500 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1500 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1073.67
Current children cumulated vsize (Kb) 13344

[startup+1250.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1597 0 0 0 65675 5604 0 0 21 0 1 0 1843182364 11485184 1501 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1501 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1082.49
Current children cumulated vsize (Kb) 13344

[startup+1260.11 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1600 0 0 0 66542 5648 0 0 16 0 1 0 1843182364 11485184 1504 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2804 1504 413 48 0 2756 0
[pid=23553] vsize: 11216
Current children cumulated CPU time (s) 1091.6
Current children cumulated vsize (Kb) 13344

[startup+1270.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1602 0 0 0 66863 5867 0 0 19 0 1 0 1843182364 11546624 1506 4294967295 134512640 134702520 3221223712 3221222992 134553947 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1506 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1097
Current children cumulated vsize (Kb) 13404

[startup+1280.11 s]
Raw data (loadavg): 1.18 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1602 0 0 0 67734 5909 0 0 25 0 1 0 1843182364 11546624 1506 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1506 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1106.13
Current children cumulated vsize (Kb) 13404

[startup+1290.11 s]
Raw data (loadavg): 1.16 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1602 0 0 0 68611 5949 0 0 25 0 1 0 1843182364 11546624 1506 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1506 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1115.3
Current children cumulated vsize (Kb) 13404

[startup+1300.11 s]
Raw data (loadavg): 1.13 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1605 0 0 0 69498 5989 0 0 25 0 1 0 1843182364 11546624 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1509 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1124.57
Current children cumulated vsize (Kb) 13404

[startup+1310.11 s]
Raw data (loadavg): 1.11 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1606 0 0 0 70379 6028 0 0 25 0 1 0 1843182364 11546624 1510 4294967295 134512640 134702520 3221223712 3221194028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1510 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1133.77
Current children cumulated vsize (Kb) 13404

[startup+1320.12 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1606 0 0 0 71270 6063 0 0 25 0 1 0 1843182364 11546624 1510 4294967295 134512640 134702520 3221223712 3221199968 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1510 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1143.03
Current children cumulated vsize (Kb) 13404

[startup+1330.12 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1606 0 0 0 71631 6271 0 0 16 0 1 0 1843182364 11546624 1510 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1510 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1148.72
Current children cumulated vsize (Kb) 13404

[startup+1340.12 s]
Raw data (loadavg): 1.14 1.07 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1608 0 0 0 72382 6354 0 0 20 0 1 0 1843182364 11546624 1512 4294967295 134512640 134702520 3221223712 3221222992 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1512 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1157.06
Current children cumulated vsize (Kb) 13404

[startup+1350.12 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1608 0 0 0 73260 6394 0 0 25 0 1 0 1843182364 11546624 1512 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1512 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1166.24
Current children cumulated vsize (Kb) 13404

[startup+1360.12 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1609 0 0 0 74144 6434 0 0 25 0 1 0 1843182364 11546624 1513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1513 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1175.48
Current children cumulated vsize (Kb) 13404

[startup+1370.12 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1609 0 0 0 75029 6473 0 0 25 0 1 0 1843182364 11546624 1513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23553/statm): 2819 1513 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1184.72
Current children cumulated vsize (Kb) 13404

[startup+1380.12 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) R 23548 23548 16528 0 -1 0 1609 0 0 0 75925 6506 0 0 25 0 1 0 1843182364 11546624 1513 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1513 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1194.01
Current children cumulated vsize (Kb) 13404

[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1618 0 0 0 76818 6539 0 0 16 0 1 0 1843182364 11546624 1522 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1522 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1203.27
Current children cumulated vsize (Kb) 13404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 23553
Raw data (/proc/23548/stat): 23548 (vallstSAT2005PB) S 23547 23548 16528 0 -1 0 378 1812 0 0 2 1 34320 2647 18 0 1 0 1843140083 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23548/statm): 532 248 485 147 0 385 0
[pid=23548] vsize: 2128
Raw data (/proc/23553/stat): 23553 (vallst) T 23548 23548 16528 0 -1 0 1618 0 0 0 76818 6539 0 0 16 0 1 0 1843182364 11546624 1522 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23553/statm): 2819 1522 413 48 0 2771 0
[pid=23553] vsize: 11276
Current children cumulated CPU time (s) 1203.27
Current children cumulated vsize (Kb) 13404

Sending SIGTERM to -23548
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23555
New process pid=23556
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 /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/15372/stat
open syscall for file /proc/15372/status
open syscall for file /proc/15372/cmdline
open syscall for file /proc/15372/environ
open syscall for file /proc/2659/stat
open syscall for file /proc/2659/status
open syscall for file /proc/2659/cmdline
open syscall for file /proc/2659/environ
open syscall for file /proc/2686/stat
open syscall for file /proc/2686/status
open syscall for file /proc/2686/cmdline
open syscall for file /proc/2686/environ
open syscall for file /proc/2710/stat
open syscall for file /proc/2710/status
open syscall for file /proc/2710/cmdline
open syscall for file /proc/2710/environ
open syscall for file /proc/30711/stat
open syscall for file /proc/30711/status
open syscall for file /proc/30711/cmdline
open syscall for file /proc/30711/environ
open syscall for file /proc/30712/stat
open syscall for file /proc/30712/status
open syscall for file /proc/30712/cmdline
open syscall for file /proc/30712/environ
open syscall for file /proc/704/stat
open syscall for file /proc/704/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/704/cmdline
open syscall for file /proc/704/environ
open syscall for file /proc/739/stat
open syscall for file /proc/739/status
open syscall for file /proc/739/cmdline
open syscall for file /proc/739/environ
open syscall for file /proc/16528/stat
open syscall for file /proc/16528/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/16528/cmdline
open syscall for file /proc/16528/environ
open syscall for file /proc/16529/stat
open syscall for file /proc/16529/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/16529/cmdline
open syscall for file /proc/16529/environ
open syscall for file /proc/16538/stat
open syscall for file /proc/16538/status
open syscall for file /proc/16538/cmdline
open syscall for file /proc/16538/environ
open syscall for file /proc/23511/stat
open syscall for file /proc/23511/status
open syscall for file /proc/23511/cmdline
open syscall for file /proc/23511/environ
open syscall for file /proc/23547/stat
open syscall for file /proc/23547/status
open syscall for file /proc/23547/cmdline
open syscall for file /proc/23547/environ
open syscall for file /proc/23548/stat
open syscall for file /proc/23548/status
open syscall for file /proc/23548/cmdline
open syscall for file /proc/23548/environ
open syscall for file /proc/23553/stat
open syscall for file /proc/23553/status
open syscall for file /proc/23553/cmdline
open syscall for file /proc/23553/environ
open syscall for file /proc/23555/stat
open syscall for file /proc/23555/status
open syscall for file /proc/23555/cmdline
open syscall for file /proc/23555/environ
open syscall for file /proc/23556/stat
open syscall for file /proc/23556/status
open syscall for file /proc/23556/cmdline
open syscall for file /proc/23556/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=23555) exited with status: 0
One traced child (pid=23553) exited with status: 3
One traced child (pid=23556) exited with status: 0
New process pid=23557
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=23557) exited with status: 0
New process pid=23558
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=23558) exited with status: 0
One traced child (pid=23548) 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): 1390.62
CPU time (s): 1203.51
CPU user time (s): 1111.53
CPU system time (s): 91.978
CPU usage (%): 86.5443
Max. virtual memory (cumulated for all children) (Kb): 13880

Verifier Data

ERROR: no interpretation found !