Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb
MD5SUMb16b3be9013bb805347ce7c637f88389
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3088409400819991040
Optimality of the best value was proved NO
Number of terms in the objective function 7440
Biggest coefficient in the objective function 233453000000000000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 7418790514839784695
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 233453000000000000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 7418790514839784695
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1211.45
Number of variables36105
Total number of constraints36969
Number of constraints which are clauses5133
Number of constraints which are cardinality constraints (but not clauses)20819
Number of constraints which are nor clauses,nor cardinality constraints11017
Minimum length of a constraint1
Maximum length of a constraint1209

Trace number 4323

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-19 06:30:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7614 boxname=wulflinc29 idbench=582 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b16b3be9013bb805347ce7c637f88389  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-msc98-ip.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-msc98-ip.opb 0
IDLAUNCH: 7614
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837264 kB
Buffers:         34808 kB
Cached:         132632 kB
SwapCached:        792 kB
Active:          69376 kB
Inactive:       100788 kB
HighTotal:      131008 kB
HighFree:        41356 kB
LowTotal:       903652 kB
LowFree:        795908 kB
SwapTotal:     2097892 kB
SwapFree:      2096664 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            21472 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:52:55 (client local time) WITH STATUS 3 IN 87.2997 SECONDS
stats: 7614 7 87.2997 3

Solver Data

1:
seed: 0
Nr of vars set: 372  (#equs: 0)
Nr of vars set: 662  (#equs: 306)
#decisions: 1143203;  #end-nodes: 130895;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 261 (247)
#axs: 21208, #non-axs: 35197
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: 691  (#equs: 344)
Time taken: 5 min, 54 sec

2:
seed: 0
Nr of vars set: 699  (#equs: 0)
Nr of vars set: 699  (#equs: 24)
#decisions: 2515788;  #end-nodes: 328899;
#proof improvement attempts: 0;  #restarts: 1152
Current batch, end-nodes: 0 / 461 (407)
#axs: 20267, #non-axs: 23524
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 8, end: 12;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 699  (#equs: 26)
Time taken: 12 min, 44 sec

3:

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

seed: 0
Nr of vars set: 699  (#equs: 0)
Nr of vars set: 741  (#equs: 6)
Interupt request received.
#decisions: 213065;  #end-nodes: 31770;
#proof improvement attempts: 0;  #restarts: 166
Current batch, end-nodes: 106 / 207 (201)
#axs: 20211, #non-axs: 36835
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 8, end: 12;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3023  (#equs: 6)
Time taken in seconds: 86

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/29234/stat): 29234 (vallstSAT2005PB) R 29233 29234 19818 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 1847739261 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/29234/statm): 174 3 169 147 0 27 0
[pid=29234] 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=29235
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=29235) exited with status: 0
New process pid=29236
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=29236) exited with status: 0
New process pid=29237
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/wulflinc29/normalized-mps-v2-20-10-msc98-ip.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 1.06 1.08 1.05 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 2777 0 0 0 909 34 0 0 25 0 1 0 1847739270 13799424 2515 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 3369 2515 413 48 0 3321 0
[pid=29237] vsize: 13476
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (Kb) 15604

[startup+20.005 s]
Raw data (loadavg): 1.05 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 2777 0 0 0 1812 70 0 0 25 0 1 0 1847739270 13799424 2515 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 3369 2515 413 48 0 3321 0
[pid=29237] vsize: 13476
Current children cumulated CPU time (s) 18.83
Current children cumulated vsize (Kb) 15604

[startup+30.0058 s]
Raw data (loadavg): 1.04 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 2838 0 0 0 2464 184 0 0 19 0 1 0 1847739270 26939392 2576 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6577 2576 413 48 0 6529 0
[pid=29237] vsize: 26308
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (Kb) 28436

[startup+40.0066 s]
Raw data (loadavg): 1.03 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3011 0 0 0 3262 249 0 0 21 0 1 0 1847739270 27508736 2749 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2749 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 35.12
Current children cumulated vsize (Kb) 28992

[startup+50.0083 s]
Raw data (loadavg): 1.03 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3056 0 0 0 4033 328 0 0 23 0 1 0 1847739270 27508736 2794 4294967295 134512640 134702520 3221223952 3221070752 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2794 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 43.62
Current children cumulated vsize (Kb) 28992

[startup+60.0091 s]
Raw data (loadavg): 1.02 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3092 0 0 0 4835 392 0 0 21 0 1 0 1847739270 27508736 2830 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2830 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 52.28
Current children cumulated vsize (Kb) 28992

[startup+70.0099 s]
Raw data (loadavg): 1.10 1.08 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3102 0 0 0 5708 435 0 0 25 0 1 0 1847739270 27652096 2840 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6751 2840 413 48 0 6703 0
[pid=29237] vsize: 27004
Current children cumulated CPU time (s) 61.44
Current children cumulated vsize (Kb) 29132

[startup+80.0107 s]
Raw data (loadavg): 1.08 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3103 0 0 0 6594 472 0 0 20 0 1 0 1847739270 27508736 2839 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2839 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 70.67
Current children cumulated vsize (Kb) 28992

[startup+90.0115 s]
Raw data (loadavg): 1.07 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3105 0 0 0 7361 550 0 0 23 0 1 0 1847739270 27508736 2839 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6716 2839 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 79.12
Current children cumulated vsize (Kb) 28992

[startup+100.012 s]
Raw data (loadavg): 1.06 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3127 0 0 0 8155 619 0 0 25 0 1 0 1847739270 27508736 2860 4294967295 134512640 134702520 3221223952 3220395888 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6716 2860 413 48 0 6668 0
[pid=29237] vsize: 26864
Current children cumulated CPU time (s) 87.75
Current children cumulated vsize (Kb) 28992

[startup+110.013 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3194 0 0 0 8983 672 0 0 25 0 1 0 1847739270 27643904 2925 4294967295 134512640 134702520 3221223952 3220774428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6749 2925 413 48 0 6701 0
[pid=29237] vsize: 26996
Current children cumulated CPU time (s) 96.56
Current children cumulated vsize (Kb) 29124

[startup+120.015 s]
Raw data (loadavg): 1.12 1.08 1.05 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3195 0 0 0 9840 719 0 0 19 0 1 0 1847739270 27787264 2926 4294967295 134512640 134702520 3221223952 3220986428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6784 2926 413 48 0 6736 0
[pid=29237] vsize: 27136
Current children cumulated CPU time (s) 105.6
Current children cumulated vsize (Kb) 29264

[startup+130.016 s]
Raw data (loadavg): 1.10 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3196 0 0 0 10744 752 0 0 25 0 1 0 1847739270 27643904 2925 4294967295 134512640 134702520 3221223952 3221079728 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6749 2925 413 48 0 6701 0
[pid=29237] vsize: 26996
Current children cumulated CPU time (s) 114.97
Current children cumulated vsize (Kb) 29124

[startup+140.015 s]
Raw data (loadavg): 1.09 1.08 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3208 0 0 0 11530 820 0 0 20 0 1 0 1847739270 27643904 2935 4294967295 134512640 134702520 3221223952 3221154268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6749 2935 413 48 0 6701 0
[pid=29237] vsize: 26996
Current children cumulated CPU time (s) 123.51
Current children cumulated vsize (Kb) 29124

[startup+150.017 s]
Raw data (loadavg): 1.07 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3252 0 0 0 12384 868 0 0 18 0 1 0 1847739270 27779072 2977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 2977 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 132.53
Current children cumulated vsize (Kb) 29256

[startup+160.018 s]
Raw data (loadavg): 1.06 1.07 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3306 0 0 0 13255 914 0 0 25 0 1 0 1847739270 27922432 3030 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6817 3030 413 48 0 6769 0
[pid=29237] vsize: 27268
Current children cumulated CPU time (s) 141.7
Current children cumulated vsize (Kb) 29396

[startup+170.019 s]
Raw data (loadavg): 1.05 1.07 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3307 0 0 0 14152 949 0 0 25 0 1 0 1847739270 28065792 3031 4294967295 134512640 134702520 3221223952 3221222848 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6852 3031 413 48 0 6804 0
[pid=29237] vsize: 27408
Current children cumulated CPU time (s) 151.02
Current children cumulated vsize (Kb) 29536

[startup+180.02 s]
Raw data (loadavg): 1.04 1.06 1.04 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3310 0 0 0 14941 1016 0 0 19 0 1 0 1847739270 27779072 3031 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 3031 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 159.58
Current children cumulated vsize (Kb) 29256

[startup+190.02 s]
Raw data (loadavg): 1.04 1.06 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3316 0 0 0 15718 1093 0 0 21 0 1 0 1847739270 27779072 3036 4294967295 134512640 134702520 3221223952 3221223376 134595909 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 3036 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 168.12
Current children cumulated vsize (Kb) 29256

[startup+200.021 s]
Raw data (loadavg): 1.03 1.06 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3328 0 0 0 16567 1142 0 0 24 0 1 0 1847739270 27779072 3046 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6782 3046 413 48 0 6734 0
[pid=29237] vsize: 27128
Current children cumulated CPU time (s) 177.1
Current children cumulated vsize (Kb) 29256

[startup+210.022 s]
Raw data (loadavg): 1.02 1.06 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3398 0 0 0 17427 1187 0 0 25 0 1 0 1847739270 27914240 3115 4294967295 134512640 134702520 3221223952 3220867248 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6815 3115 413 48 0 6767 0
[pid=29237] vsize: 27260
Current children cumulated CPU time (s) 186.15
Current children cumulated vsize (Kb) 29388

[startup+220.023 s]
Raw data (loadavg): 1.02 1.05 1.04 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3401 0 0 0 18283 1232 0 0 20 0 1 0 1847739270 28200960 3118 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6885 3118 413 48 0 6837 0
[pid=29237] vsize: 27540
Current children cumulated CPU time (s) 195.16
Current children cumulated vsize (Kb) 29668

[startup+230.024 s]
Raw data (loadavg): 1.02 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3401 0 0 0 19181 1268 0 0 24 0 1 0 1847739270 27914240 3116 4294967295 134512640 134702520 3221223952 3220686108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6815 3116 413 48 0 6767 0
[pid=29237] vsize: 27260
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (Kb) 29388

[startup+240.024 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3410 0 0 0 19970 1335 0 0 21 0 1 0 1847739270 27914240 3123 4294967295 134512640 134702520 3221223952 3221223232 134552738 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6815 3123 413 48 0 6767 0
[pid=29237] vsize: 27260
Current children cumulated CPU time (s) 213.06
Current children cumulated vsize (Kb) 29388

[startup+250.025 s]
Raw data (loadavg): 1.01 1.05 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3424 0 0 0 20843 1378 0 0 22 0 1 0 1847739270 28049408 3135 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6848 3135 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (Kb) 29520

[startup+260.026 s]
Raw data (loadavg): 1.01 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3491 0 0 0 21705 1425 0 0 25 0 1 0 1847739270 28049408 3201 4294967295 134512640 134702520 3221223952 3220903708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6848 3201 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 231.31
Current children cumulated vsize (Kb) 29520

[startup+270.027 s]
Raw data (loadavg): 1.01 1.04 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3493 0 0 0 22562 1471 0 0 18 0 1 0 1847739270 28336128 3203 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6918 3203 413 48 0 6870 0
[pid=29237] vsize: 27672
Current children cumulated CPU time (s) 240.34
Current children cumulated vsize (Kb) 29800

[startup+280.027 s]
Raw data (loadavg): 1.01 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3493 0 0 0 23453 1506 0 0 22 0 1 0 1847739270 28049408 3201 4294967295 134512640 134702520 3221223952 3221222592 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6848 3201 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 249.6
Current children cumulated vsize (Kb) 29520

[startup+290.028 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3497 0 0 0 24316 1555 0 0 22 0 1 0 1847739270 28049408 3203 4294967295 134512640 134702520 3221223952 3221223232 134557232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29237/statm): 6848 3203 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 258.72
Current children cumulated vsize (Kb) 29520

[startup+300.029 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3502 0 0 0 25173 1602 0 0 25 0 1 0 1847739270 28049408 3207 4294967295 134512640 134702520 3221223952 3220660672 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 6848 3207 413 48 0 6800 0
[pid=29237] vsize: 27392
Current children cumulated CPU time (s) 267.76
Current children cumulated vsize (Kb) 29520

[startup+310.03 s]
Raw data (loadavg): 1.00 1.04 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3607 0 0 0 26033 1651 0 0 22 0 1 0 1847739270 29929472 3310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 7307 3310 413 48 0 7259 0
[pid=29237] vsize: 29228
Current children cumulated CPU time (s) 276.85
Current children cumulated vsize (Kb) 31356

[startup+320.031 s]
Raw data (loadavg): 1.00 1.03 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3653 0 0 0 26849 1712 0 0 25 0 1 0 1847739270 30072832 3356 4294967295 134512640 134702520 3221223952 3221222976 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7342 3356 413 48 0 7294 0
[pid=29237] vsize: 29368
Current children cumulated CPU time (s) 285.62
Current children cumulated vsize (Kb) 31496

[startup+330.031 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3654 0 0 0 27744 1746 0 0 25 0 1 0 1847739270 30216192 3357 4294967295 134512640 134702520 3221223952 3221222832 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7377 3357 413 48 0 7329 0
[pid=29237] vsize: 29508
Current children cumulated CPU time (s) 294.91
Current children cumulated vsize (Kb) 31636

[startup+340.032 s]
Raw data (loadavg): 1.07 1.05 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3655 0 0 0 28562 1808 0 0 25 0 1 0 1847739270 29929472 3356 4294967295 134512640 134702520 3221223952 3220579232 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7307 3356 413 48 0 7259 0
[pid=29237] vsize: 29228
Current children cumulated CPU time (s) 303.71
Current children cumulated vsize (Kb) 31356

[startup+350.033 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3663 0 0 0 29402 1861 0 0 23 0 1 0 1847739270 29929472 3362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 7307 3362 413 48 0 7259 0
[pid=29237] vsize: 29228
Current children cumulated CPU time (s) 312.64
Current children cumulated vsize (Kb) 31356

[startup+360.034 s]
Raw data (loadavg): 1.05 1.04 1.03 1/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) T 29234 29234 19818 0 -1 0 3703 0 0 0 30250 1913 0 0 18 0 1 0 1847739270 30064640 3401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29237/statm): 7340 3401 413 48 0 7292 0
[pid=29237] vsize: 29360
Current children cumulated CPU time (s) 321.64
Current children cumulated vsize (Kb) 31488

[startup+370.034 s]
Raw data (loadavg): 1.04 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3819 0 0 0 31109 1960 0 0 25 0 1 0 1847739270 30199808 3516 4294967295 134512640 134702520 3221223952 3221192048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7373 3516 413 48 0 7325 0
[pid=29237] vsize: 29492
Current children cumulated CPU time (s) 330.7
Current children cumulated vsize (Kb) 31620

[startup+380.035 s]
Raw data (loadavg): 1.04 1.04 1.03 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3921 0 0 0 31991 2000 0 0 25 0 1 0 1847739270 30199808 3617 4294967295 134512640 134702520 3221223952 3220772988 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7373 3617 413 48 0 7325 0
[pid=29237] vsize: 29492
Current children cumulated CPU time (s) 339.92
Current children cumulated vsize (Kb) 31620

[startup+390.035 s]
Raw data (loadavg): 1.03 1.04 1.02 2/57 29237
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 1847739261 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 242 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29237/stat): 29237 (vallst) R 29234 29234 19818 0 -1 0 3923 0 0 0 32844 2046 0 0 23 0 1 0 1847739270 30486528 3619 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29237/statm): 7443 3619 413 48 0 7395 0
[pid=29237] vsize: 29772
Current children cumulated CPU time (s) 348.91
Current children cumulated vsize (Kb) 31900
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=29237) exited with status: 2
New process pid=29238
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=29238) exited with status: 0
New process pid=29239
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+400.037 s]
Raw data (loadavg): 1.02 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 2498 0 0 0 241 15 0 0 25 0 1 0 1847779005 13664256 2469 4294967295 134512640 134702520 3221223712 3221113308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 3336 2469 413 48 0 3288 0
[pid=29239] vsize: 13344
Current children cumulated CPU time (s) 358.64
Current children cumulated vsize (Kb) 15472

[startup+410.038 s]
Raw data (loadavg): 1.02 1.03 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 2801 0 0 0 1141 49 0 0 25 0 1 0 1847779005 14970880 2772 4294967295 134512640 134702520 3221223712 3221222976 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 3655 2772 413 48 0 3607 0
[pid=29239] vsize: 14620
Current children cumulated CPU time (s) 367.98
Current children cumulated vsize (Kb) 16748

[startup+420.039 s]
Raw data (loadavg): 1.10 1.05 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3089 0 0 0 2007 94 0 0 22 0 1 0 1847779005 31219712 3057 4294967295 134512640 134702520 3221223712 3221211008 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 7622 3057 413 48 0 7574 0
[pid=29239] vsize: 30488
Current children cumulated CPU time (s) 377.09
Current children cumulated vsize (Kb) 32616

[startup+430.04 s]
Raw data (loadavg): 1.16 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3175 0 0 0 2897 133 0 0 23 0 1 0 1847779005 31223808 3141 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 7623 3141 413 48 0 7575 0
[pid=29239] vsize: 30492
Current children cumulated CPU time (s) 386.38
Current children cumulated vsize (Kb) 32620

[startup+440.04 s]
Raw data (loadavg): 1.13 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3246 0 0 0 3807 163 0 0 25 0 1 0 1847779005 31358976 3210 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 7656 3210 413 48 0 7608 0
[pid=29239] vsize: 30624
Current children cumulated CPU time (s) 395.78
Current children cumulated vsize (Kb) 32752

[startup+450.041 s]
Raw data (loadavg): 1.11 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3330 0 0 0 4680 203 0 0 25 0 1 0 1847779005 33570816 3293 4294967295 134512640 134702520 3221223712 3220835308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3293 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 404.91
Current children cumulated vsize (Kb) 34912

[startup+460.042 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3331 0 0 0 5579 237 0 0 25 0 1 0 1847779005 33714176 3294 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8231 3294 413 48 0 8183 0
[pid=29239] vsize: 32924
Current children cumulated CPU time (s) 414.24
Current children cumulated vsize (Kb) 35052

[startup+470.043 s]
Raw data (loadavg): 1.08 1.05 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3334 0 0 0 6442 280 0 0 25 0 1 0 1847779005 33570816 3293 4294967295 134512640 134702520 3221223712 3220788608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3293 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 423.3
Current children cumulated vsize (Kb) 34912

[startup+480.044 s]
Raw data (loadavg): 1.14 1.07 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3358 0 0 0 7272 335 0 0 22 0 1 0 1847779005 33570816 3315 4294967295 134512640 134702520 3221223712 3221222992 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3315 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 432.15
Current children cumulated vsize (Kb) 34912

[startup+490.045 s]
Raw data (loadavg): 1.12 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3362 0 0 0 8154 375 0 0 23 0 1 0 1847779005 33570816 3317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3317 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 441.37
Current children cumulated vsize (Kb) 34912

[startup+500.047 s]
Raw data (loadavg): 1.18 1.08 1.04 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3368 0 0 0 9026 417 0 0 25 0 1 0 1847779005 33570816 3322 4294967295 134512640 134702520 3221223712 3220631008 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3322 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 450.51
Current children cumulated vsize (Kb) 34912

[startup+510.048 s]
Raw data (loadavg): 1.15 1.08 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3370 0 0 0 9891 463 0 0 20 0 1 0 1847779005 33857536 3324 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8266 3324 413 48 0 8218 0
[pid=29239] vsize: 33064
Current children cumulated CPU time (s) 459.62
Current children cumulated vsize (Kb) 35192

[startup+520.048 s]
Raw data (loadavg): 1.13 1.07 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3372 0 0 0 10773 500 0 0 25 0 1 0 1847779005 33570816 3322 4294967295 134512640 134702520 3221223712 3221035948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3322 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 468.81
Current children cumulated vsize (Kb) 34912

[startup+530.049 s]
Raw data (loadavg): 1.11 1.07 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3376 0 0 0 11630 549 0 0 17 0 1 0 1847779005 33570816 3324 4294967295 134512640 134702520 3221223712 3221222992 134553004 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8196 3324 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 477.87
Current children cumulated vsize (Kb) 34912

[startup+540.05 s]
Raw data (loadavg): 1.09 1.07 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3384 0 0 0 12487 598 0 0 25 0 1 0 1847779005 33570816 3330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8196 3330 413 48 0 8148 0
[pid=29239] vsize: 32784
Current children cumulated CPU time (s) 486.93
Current children cumulated vsize (Kb) 34912

[startup+550.051 s]
Raw data (loadavg): 1.08 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3401 0 0 0 13311 660 0 0 21 0 1 0 1847779005 33705984 3346 4294967295 134512640 134702520 3221223712 3221223136 134594352 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3346 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 495.79
Current children cumulated vsize (Kb) 35044

[startup+560.051 s]
Raw data (loadavg): 1.06 1.06 1.03 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3402 0 0 0 14209 695 0 0 25 0 1 0 1847779005 33849344 3347 4294967295 134512640 134702520 3221223712 3221222736 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8264 3347 413 48 0 8216 0
[pid=29239] vsize: 33056
Current children cumulated CPU time (s) 505.12
Current children cumulated vsize (Kb) 35184

[startup+570.053 s]
Raw data (loadavg): 1.05 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3405 0 0 0 15066 746 0 0 21 0 1 0 1847779005 33705984 3346 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3346 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 514.2
Current children cumulated vsize (Kb) 35044

[startup+580.054 s]
Raw data (loadavg): 1.05 1.06 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3412 0 0 0 15934 792 0 0 24 0 1 0 1847779005 33705984 3351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3351 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 523.34
Current children cumulated vsize (Kb) 35044

[startup+590.055 s]
Raw data (loadavg): 1.04 1.05 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3427 0 0 0 16754 852 0 0 21 0 1 0 1847779005 33705984 3365 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8229 3365 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 532.14
Current children cumulated vsize (Kb) 35044

[startup+600.057 s]
Raw data (loadavg): 1.03 1.05 1.03 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3437 0 0 0 17638 893 0 0 24 0 1 0 1847779005 33705984 3373 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8229 3373 413 48 0 8181 0
[pid=29239] vsize: 32916
Current children cumulated CPU time (s) 541.39
Current children cumulated vsize (Kb) 35044

[startup+610.057 s]
Raw data (loadavg): 1.03 1.05 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3444 0 0 0 18511 938 0 0 25 0 1 0 1847779005 33849344 3380 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8264 3380 413 48 0 8216 0
[pid=29239] vsize: 33056
Current children cumulated CPU time (s) 550.57
Current children cumulated vsize (Kb) 35184

[startup+620.059 s]
Raw data (loadavg): 1.02 1.05 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3448 0 0 0 19405 975 0 0 25 0 1 0 1847779005 34127872 3384 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8332 3384 413 48 0 8284 0
[pid=29239] vsize: 33328
Current children cumulated CPU time (s) 559.88
Current children cumulated vsize (Kb) 35456

[startup+630.06 s]
Raw data (loadavg): 1.02 1.05 1.02 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3451 0 0 0 20228 1036 0 0 17 0 1 0 1847779005 33841152 3382 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3382 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 568.72
Current children cumulated vsize (Kb) 35176

[startup+640.061 s]
Raw data (loadavg): 1.02 1.04 1.02 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3454 0 0 0 21108 1074 0 0 24 0 1 0 1847779005 33841152 3383 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3383 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (Kb) 35176

[startup+650.062 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3463 0 0 0 21942 1129 0 0 23 0 1 0 1847779005 33841152 3391 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8262 3391 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 586.79
Current children cumulated vsize (Kb) 35176

[startup+660.063 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3522 0 0 0 22787 1181 0 0 25 0 1 0 1847779005 33841152 3449 4294967295 134512640 134702520 3221223712 3220962188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3449 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 595.76
Current children cumulated vsize (Kb) 35176

[startup+670.065 s]
Raw data (loadavg): 1.01 1.04 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3524 0 0 0 23646 1228 0 0 18 0 1 0 1847779005 34127872 3451 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8332 3451 413 48 0 8284 0
[pid=29239] vsize: 33328
Current children cumulated CPU time (s) 604.82
Current children cumulated vsize (Kb) 35456

[startup+680.067 s]
Raw data (loadavg): 1.01 1.04 1.02 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3526 0 0 0 24541 1264 0 0 22 0 1 0 1847779005 33841152 3449 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8262 3449 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 614.13
Current children cumulated vsize (Kb) 35176

[startup+690.068 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3536 0 0 0 25391 1316 0 0 18 0 1 0 1847779005 33841152 3458 4294967295 134512640 134702520 3221223712 3221222992 134550400 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3458 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 623.15
Current children cumulated vsize (Kb) 35176

[startup+700.068 s]
Raw data (loadavg): 1.00 1.03 1.02 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3566 0 0 0 26281 1352 0 0 25 0 1 0 1847779005 33841152 3487 4294967295 134512640 134702520 3221223712 3221182688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8262 3487 413 48 0 8214 0
[pid=29239] vsize: 33048
Current children cumulated CPU time (s) 632.41
Current children cumulated vsize (Kb) 35176

[startup+710.069 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3687 0 0 0 27133 1403 0 0 24 0 1 0 1847779005 33976320 3606 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8295 3606 413 48 0 8247 0
[pid=29239] vsize: 33180
Current children cumulated CPU time (s) 641.44
Current children cumulated vsize (Kb) 35308

[startup+720.071 s]
Raw data (loadavg): 1.00 1.03 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3794 0 0 0 27991 1451 0 0 18 0 1 0 1847779005 34111488 3712 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8328 3712 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 650.5
Current children cumulated vsize (Kb) 35440

[startup+730.072 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3859 0 0 0 28862 1492 0 0 25 0 1 0 1847779005 34254848 3777 4294967295 134512640 134702520 3221223712 3221222736 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8363 3777 413 48 0 8315 0
[pid=29239] vsize: 33452
Current children cumulated CPU time (s) 659.62
Current children cumulated vsize (Kb) 35580

[startup+740.073 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3862 0 0 0 29749 1531 0 0 25 0 1 0 1847779005 34398208 3780 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8398 3780 413 48 0 8350 0
[pid=29239] vsize: 33592
Current children cumulated CPU time (s) 668.88
Current children cumulated vsize (Kb) 35720

[startup+750.074 s]
Raw data (loadavg): 1.00 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3862 0 0 0 30612 1576 0 0 25 0 1 0 1847779005 34111488 3776 4294967295 134512640 134702520 3221223712 3220703168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8328 3776 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 677.96
Current children cumulated vsize (Kb) 35440

[startup+760.075 s]
Raw data (loadavg): 1.00 1.02 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3864 0 0 0 31484 1621 0 0 25 0 1 0 1847779005 34111488 3776 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8328 3776 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 687.13
Current children cumulated vsize (Kb) 35440

[startup+770.077 s]
Raw data (loadavg): 1.00 1.02 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3872 0 0 0 32334 1671 0 0 25 0 1 0 1847779005 34111488 3783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8328 3783 413 48 0 8280 0
[pid=29239] vsize: 33312
Current children cumulated CPU time (s) 696.13
Current children cumulated vsize (Kb) 35440

[startup+780.079 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 3888 0 0 0 33198 1718 0 0 24 0 1 0 1847779005 34246656 3798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8361 3798 413 48 0 8313 0
[pid=29239] vsize: 33444
Current children cumulated CPU time (s) 705.24
Current children cumulated vsize (Kb) 35572

[startup+790.08 s]
Raw data (loadavg): 1.06 1.04 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 3977 0 0 0 34067 1761 0 0 23 0 1 0 1847779005 34246656 3886 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8361 3886 413 48 0 8313 0
[pid=29239] vsize: 33444
Current children cumulated CPU time (s) 714.36
Current children cumulated vsize (Kb) 35572

[startup+800.08 s]
Raw data (loadavg): 1.05 1.04 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4055 0 0 0 34915 1810 0 0 22 0 1 0 1847779005 34525184 3964 4294967295 134512640 134702520 3221223712 3221222736 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8429 3964 413 48 0 8381 0
[pid=29239] vsize: 33716
Current children cumulated CPU time (s) 723.33
Current children cumulated vsize (Kb) 35844

[startup+810.081 s]
Raw data (loadavg): 1.04 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4058 0 0 0 35804 1849 0 0 25 0 1 0 1847779005 34668544 3967 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8464 3967 413 48 0 8416 0
[pid=29239] vsize: 33856
Current children cumulated CPU time (s) 732.61
Current children cumulated vsize (Kb) 35984

[startup+820.083 s]
Raw data (loadavg): 1.04 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4060 0 0 0 36664 1897 0 0 21 0 1 0 1847779005 34381824 3965 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3965 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 741.69
Current children cumulated vsize (Kb) 35704

[startup+830.084 s]
Raw data (loadavg): 1.03 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4061 0 0 0 37530 1942 0 0 25 0 1 0 1847779005 34381824 3965 4294967295 134512640 134702520 3221223712 3221026828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3965 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 750.8
Current children cumulated vsize (Kb) 35704

[startup+840.084 s]
Raw data (loadavg): 1.02 1.03 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4065 0 0 0 38326 2005 0 0 22 0 1 0 1847779005 34381824 3968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8394 3968 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 759.39
Current children cumulated vsize (Kb) 35704

[startup+850.085 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4068 0 0 0 39198 2047 0 0 17 0 1 0 1847779005 34381824 3970 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3970 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 768.53
Current children cumulated vsize (Kb) 35704

[startup+860.086 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4083 0 0 0 40074 2088 0 0 24 0 1 0 1847779005 34381824 3984 4294967295 134512640 134702520 3221223712 3221222992 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8394 3984 413 48 0 8346 0
[pid=29239] vsize: 33576
Current children cumulated CPU time (s) 777.7
Current children cumulated vsize (Kb) 35704

[startup+870.088 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4124 0 0 0 40955 2130 0 0 25 0 1 0 1847779005 34516992 4025 4294967295 134512640 134702520 3221223712 3220373228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8427 4025 413 48 0 8379 0
[pid=29239] vsize: 33708
Current children cumulated CPU time (s) 786.93
Current children cumulated vsize (Kb) 35836

[startup+880.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4247 0 0 0 41813 2175 0 0 25 0 1 0 1847779005 36728832 4147 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4147 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 795.96
Current children cumulated vsize (Kb) 37996

[startup+890.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4250 0 0 0 42711 2210 0 0 25 0 1 0 1847779005 36872192 4150 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9002 4150 413 48 0 8954 0
[pid=29239] vsize: 36008
Current children cumulated CPU time (s) 805.29
Current children cumulated vsize (Kb) 38136

[startup+900.092 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4253 0 0 0 43594 2248 0 0 24 0 1 0 1847779005 36728832 4149 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4149 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 814.5
Current children cumulated vsize (Kb) 37996

[startup+910.093 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4255 0 0 0 44422 2304 0 0 22 0 1 0 1847779005 36728832 4150 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4150 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 823.34
Current children cumulated vsize (Kb) 37996

[startup+920.095 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4256 0 0 0 45280 2356 0 0 23 0 1 0 1847779005 36728832 4150 4294967295 134512640 134702520 3221223712 3221222992 134553895 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4150 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 832.44
Current children cumulated vsize (Kb) 37996

[startup+930.096 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4258 0 0 0 46150 2400 0 0 23 0 1 0 1847779005 36728832 4151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4151 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 841.58
Current children cumulated vsize (Kb) 37996

[startup+940.096 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4261 0 0 0 47022 2444 0 0 25 0 1 0 1847779005 36728832 4153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4153 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 850.74
Current children cumulated vsize (Kb) 37996

[startup+950.098 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4270 0 0 0 47902 2485 0 0 25 0 1 0 1847779005 36728832 4161 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 8967 4161 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 859.95
Current children cumulated vsize (Kb) 37996

[startup+960.099 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4289 0 0 0 48685 2556 0 0 22 0 1 0 1847779005 36728832 4180 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 8967 4180 413 48 0 8919 0
[pid=29239] vsize: 35868
Current children cumulated CPU time (s) 868.49
Current children cumulated vsize (Kb) 37996

[startup+970.101 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4294 0 0 0 49567 2596 0 0 25 0 1 0 1847779005 37007360 4185 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9035 4185 413 48 0 8987 0
[pid=29239] vsize: 36140
Current children cumulated CPU time (s) 877.71
Current children cumulated vsize (Kb) 38268

[startup+980.101 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4297 0 0 0 50462 2633 0 0 22 0 1 0 1847779005 36864000 4184 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4184 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 887.03
Current children cumulated vsize (Kb) 38128

[startup+990.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4298 0 0 0 51278 2695 0 0 25 0 1 0 1847779005 36864000 4184 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4184 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 895.81
Current children cumulated vsize (Kb) 38128

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4300 0 0 0 51983 2790 0 0 22 0 1 0 1847779005 36864000 4186 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4186 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 903.81
Current children cumulated vsize (Kb) 38128

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4301 0 0 0 52803 2849 0 0 22 0 1 0 1847779005 36864000 4186 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4186 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 912.6
Current children cumulated vsize (Kb) 38128

[startup+1020.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4303 0 0 0 53643 2907 0 0 22 0 1 0 1847779005 36864000 4187 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4187 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 921.58
Current children cumulated vsize (Kb) 38128

[startup+1030.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4309 0 0 0 54493 2954 0 0 25 0 1 0 1847779005 36864000 4192 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4192 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 930.55
Current children cumulated vsize (Kb) 38128

[startup+1040.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4323 0 0 0 55255 3030 0 0 23 0 1 0 1847779005 36864000 4206 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4206 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 938.93
Current children cumulated vsize (Kb) 38128

[startup+1050.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4325 0 0 0 56100 3085 0 0 17 0 1 0 1847779005 36864000 4207 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4207 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 947.93
Current children cumulated vsize (Kb) 38128

[startup+1060.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4334 0 0 0 56927 3142 0 0 25 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3220674368 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 956.77
Current children cumulated vsize (Kb) 38128

[startup+1070.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4337 0 0 0 57790 3190 0 0 25 0 1 0 1847779005 37150720 4219 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9070 4219 413 48 0 9022 0
[pid=29239] vsize: 36280
Current children cumulated CPU time (s) 965.88
Current children cumulated vsize (Kb) 38408

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4338 0 0 0 58614 3250 0 0 17 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 974.72
Current children cumulated vsize (Kb) 38128

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4339 0 0 0 59387 3325 0 0 18 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 983.2
Current children cumulated vsize (Kb) 38128

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4340 0 0 0 60180 3396 0 0 21 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 991.84
Current children cumulated vsize (Kb) 38128

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4341 0 0 0 60988 3459 0 0 17 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1000.55
Current children cumulated vsize (Kb) 38128

[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4341 0 0 0 61798 3523 0 0 25 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3220215628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1009.29
Current children cumulated vsize (Kb) 38128

[startup+1130.12 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4342 0 0 0 62564 3603 0 0 22 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221222932 134550230 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1017.75
Current children cumulated vsize (Kb) 38128

[startup+1140.12 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4343 0 0 0 63393 3663 0 0 22 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1026.64
Current children cumulated vsize (Kb) 38128

[startup+1150.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4344 0 0 0 64236 3712 0 0 25 0 1 0 1847779005 37007360 4217 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9035 4217 413 48 0 8987 0
[pid=29239] vsize: 36140
Current children cumulated CPU time (s) 1035.56
Current children cumulated vsize (Kb) 38268

[startup+1160.12 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4347 0 0 0 65128 3747 0 0 25 0 1 0 1847779005 37150720 4220 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9070 4220 413 48 0 9022 0
[pid=29239] vsize: 36280
Current children cumulated CPU time (s) 1044.83
Current children cumulated vsize (Kb) 38408

[startup+1170.12 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4347 0 0 0 65889 3825 0 0 19 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1053.22
Current children cumulated vsize (Kb) 38128

[startup+1180.12 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4348 0 0 0 66687 3892 0 0 21 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (Kb) 38128

[startup+1190.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4349 0 0 0 67525 3947 0 0 23 0 1 0 1847779005 36864000 4216 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4216 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1070.8
Current children cumulated vsize (Kb) 38128

[startup+1200.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4351 0 0 0 68373 3998 0 0 23 0 1 0 1847779005 36864000 4217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4217 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1079.79
Current children cumulated vsize (Kb) 38128

[startup+1210.12 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4353 0 0 0 69171 4066 0 0 18 0 1 0 1847779005 36864000 4218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4218 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1088.45
Current children cumulated vsize (Kb) 38128

[startup+1220.13 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) T 29234 29234 19818 0 -1 0 4357 0 0 0 70008 4122 0 0 21 0 1 0 1847779005 36864000 4221 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9000 4221 413 48 0 8952 0
[pid=29239] vsize: 36000
Current children cumulated CPU time (s) 1097.38
Current children cumulated vsize (Kb) 38128

[startup+1230.13 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4361 0 0 0 70848 4175 0 0 25 0 1 0 1847779005 36999168 4225 4294967295 134512640 134702520 3221223712 3221207488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29239/statm): 9033 4225 413 48 0 8985 0
[pid=29239] vsize: 36132
Current children cumulated CPU time (s) 1106.31
Current children cumulated vsize (Kb) 38260

[startup+1240.13 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 29239
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 378 4298 0 0 1 1 33542 2064 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29239/stat): 29239 (vallst) R 29234 29234 19818 0 -1 0 4365 0 0 0 71694 4228 0 0 25 0 1 0 1847779005 37285888 4229 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29239/statm): 9103 4229 413 48 0 9055 0
[pid=29239] vsize: 36412
Current children cumulated CPU time (s) 1115.3
Current children cumulated vsize (Kb) 38540
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=29239) exited with status: 2
New process pid=29240
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=29240) exited with status: 0
New process pid=29241
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+1250.13 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 2557 0 0 0 352 23 0 0 19 0 1 0 1847863891 13570048 2529 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29241/statm): 3313 2529 413 48 0 3265 0
[pid=29241] vsize: 13252
Current children cumulated CPU time (s) 1124.85
Current children cumulated vsize (Kb) 15380

[startup+1260.13 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 2583 0 0 0 1238 58 0 0 21 0 1 0 1847863891 13705216 2555 4294967295 134512640 134702520 3221223712 3220909308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 3346 2555 413 48 0 3298 0
[pid=29241] vsize: 13384
Current children cumulated CPU time (s) 1134.06
Current children cumulated vsize (Kb) 15512

[startup+1270.13 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 2700 0 0 0 2127 94 0 0 25 0 1 0 1847863891 26476544 2668 4294967295 134512640 134702520 3221223712 3220563468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29241/statm): 6464 2668 413 48 0 6416 0
[pid=29241] vsize: 25856
Current children cumulated CPU time (s) 1143.31
Current children cumulated vsize (Kb) 27984

[startup+1280.13 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 2980 0 0 0 2958 149 0 0 21 0 1 0 1847863891 27410432 2946 4294967295 134512640 134702520 3221223712 3221192768 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6692 2946 413 48 0 6644 0
[pid=29241] vsize: 26768
Current children cumulated CPU time (s) 1152.17
Current children cumulated vsize (Kb) 28896

[startup+1290.13 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 3065 0 0 0 3839 193 0 0 17 0 1 0 1847863891 27410432 3029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29241/statm): 6692 3029 413 48 0 6644 0
[pid=29241] vsize: 26768
Current children cumulated CPU time (s) 1161.42
Current children cumulated vsize (Kb) 28896

[startup+1300.14 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3148 0 0 0 4733 230 0 0 25 0 1 0 1847863891 27545600 3111 4294967295 134512640 134702520 3221223712 3221193088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6725 3111 413 48 0 6677 0
[pid=29241] vsize: 26900
Current children cumulated CPU time (s) 1170.73
Current children cumulated vsize (Kb) 29028

[startup+1310.14 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3152 0 0 0 5592 275 0 0 21 0 1 0 1847863891 27832320 3115 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6795 3115 413 48 0 6747 0
[pid=29241] vsize: 27180
Current children cumulated CPU time (s) 1179.77
Current children cumulated vsize (Kb) 29308

[startup+1320.14 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3154 0 0 0 6497 308 0 0 25 0 1 0 1847863891 27545600 3113 4294967295 134512640 134702520 3221223712 3220288748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6725 3113 413 48 0 6677 0
[pid=29241] vsize: 26900
Current children cumulated CPU time (s) 1189.15
Current children cumulated vsize (Kb) 29028

[startup+1330.14 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) R 29234 29234 19818 0 -1 0 3160 0 0 0 7316 369 0 0 17 0 1 0 1847863891 27545600 3117 4294967295 134512640 134702520 3221223712 3221223112 134594232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6725 3117 413 48 0 6677 0
[pid=29241] vsize: 26900
Current children cumulated CPU time (s) 1197.95
Current children cumulated vsize (Kb) 29028

[startup+1340.14 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 3172 0 0 0 8199 407 0 0 22 0 1 0 1847863891 27680768 3127 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6758 3127 413 48 0 6710 0
[pid=29241] vsize: 27032
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 29160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1340.14 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 29241
Raw data (/proc/29234/stat): 29234 (vallstSAT2005PB) S 29233 29234 19818 0 -1 0 417 8807 0 0 1 1 105796 6312 19 0 1 0 1847739261 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29234/statm): 532 248 485 147 0 385 0
[pid=29234] vsize: 2128
Raw data (/proc/29241/stat): 29241 (vallst) T 29234 29234 19818 0 -1 0 3172 0 0 0 8199 407 0 0 22 0 1 0 1847863891 27680768 3127 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29241/statm): 6758 3127 413 48 0 6710 0
[pid=29241] vsize: 27032
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 29160

Sending SIGTERM to -29234
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=29243
New process pid=29244
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/18334/stat
open syscall for file /proc/18334/status
open syscall for file /proc/18334/cmdline
open syscall for file /proc/18334/environ
open syscall for file /proc/17268/stat
open syscall for file /proc/17268/status
open syscall for file /proc/17268/cmdline
open syscall for file /proc/17268/environ
open syscall for file /proc/17295/stat
open syscall for file /proc/17295/status
open syscall for file /proc/17295/cmdline
open syscall for file /proc/17295/environ
open syscall for file /proc/17319/stat
open syscall for file /proc/17319/status
open syscall for file /proc/17319/cmdline
open syscall for file /proc/17319/environ
open syscall for file /proc/23252/stat
open syscall for file /proc/23252/status
open syscall for file /proc/23252/cmdline
open syscall for file /proc/23252/environ
open syscall for file /proc/24296/stat
open syscall for file /proc/24296/status
open syscall for file /proc/24296/cmdline
open syscall for file /proc/24296/environ
open syscall for file /proc/1116/stat
open syscall for file /proc/1116/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/1116/cmdline
open syscall for file /proc/1116/environ
open syscall for file /proc/1151/stat
open syscall for file /proc/1151/status
open syscall for file /proc/1151/cmdline
open syscall for file /proc/1151/environ
open syscall for file /proc/19818/stat
open syscall for file /proc/19818/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/19818/cmdline
open syscall for file /proc/19818/environ
open syscall for file /proc/19819/stat
open syscall for file /proc/19819/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/19819/cmdline
open syscall for file /proc/19819/environ
open syscall for file /proc/19828/stat
open syscall for file /proc/19828/status
open syscall for file /proc/19828/cmdline
open syscall for file /proc/19828/environ
open syscall for file /proc/29197/stat
open syscall for file /proc/29197/status
open syscall for file /proc/29197/cmdline
open syscall for file /proc/29197/environ
open syscall for file /proc/29233/stat
open syscall for file /proc/29233/status
open syscall for file /proc/29233/cmdline
open syscall for file /proc/29233/environ
open syscall for file /proc/29234/stat
open syscall for file /proc/29234/status
open syscall for file /proc/29234/cmdline
open syscall for file /proc/29234/environ
open syscall for file /proc/29241/stat
open syscall for file /proc/29241/status
open syscall for file /proc/29241/cmdline
open syscall for file /proc/29241/environ
open syscall for file /proc/29243/stat
open syscall for file /proc/29243/status
open syscall for file /proc/29243/cmdline
open syscall for file /proc/29243/environ
open syscall for file /proc/29244/stat
open syscall for file /proc/29244/status
open syscall for file /proc/29244/cmdline
open syscall for file /proc/29244/environ
One traced child (pid=29243) exited with status: 0
One traced child (pid=29244) exited with status: 0
New process pid=29245
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=29245) exited with status: 0
New process pid=29246
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=29246) exited with status: 0
One traced child (pid=29234) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=29241) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1341.43
CPU time (s): 87.2997
CPU user time (s): 83.0914
CPU system time (s): 4.20836
CPU usage (%): 6.50795
Max. virtual memory (cumulated for all children) (Kb): 38540

Verifier Data

ERROR: no interpretation found !