Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
MD5SUM640e42314ccc494338715717ba212e02
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 785
Optimality of the best value was proved YES
Number of terms in the objective function 1672
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1672
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1672
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark20.9258
Number of variables1672
Total number of constraints13297
Number of constraints which are clauses13297
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16

Trace number 1877

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-18 17:11:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7169 boxname=wulflinc5 idbench=137 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  640e42314ccc494338715717ba212e02  /oldhome/oroussel/tmp/wulflinc5/normalized-ii16d2.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc5/normalized-ii16d2.opb 0
IDLAUNCH: 7169
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        924896 kB
Buffers:         33328 kB
Cached:          52660 kB
SwapCached:        780 kB
Active:          56896 kB
Inactive:        31824 kB
HighTotal:      131008 kB
HighFree:        74676 kB
LowTotal:       903652 kB
LowFree:        850220 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15432 kB
Committed_AS:    64300 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:33:30 (client local time) WITH STATUS 0 IN 1206.14 SECONDS
stats: 7169 7 1206.14 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 586;  #end-nodes: 317;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 317 / 642 (80)
#axs: 13298, #non-axs: 260
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: model found (1)
Model found with constant:  886 (785:>=*);
#decisions: 220867;  #end-nodes: 155212;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 14135, #non-axs: 1138
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
Model found with constant:
  (pushed:) 886 (785:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 172  (#equs: 837)
Time taken: 5 min, 30 sec

2:
seed: 0
Nr of vars set: 172  (#equs: 0)
Nr of vars set: 172  (#equs: 42)
#decisions: 234071;  #end-nodes: 167864;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 311 (311)
#axs: 4475, #non-axs: 789
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: 175  (#equs: 227)
Time taken: 4 min, 18 sec

3:
seed: 0
Nr of vars set: 175  (#equs: 0)
Nr of vars set: 175  (#equs: 5)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 176  (#equs: 28)
Time taken: 10 min, 16 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) R 8408 8409 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784735285 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8409/statm): 174 3 169 147 0 27 0
[pid=8409] 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=8410
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=8410) exited with status: 0
New process pid=8411
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=8411) exited with status: 0
New process pid=8412
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/wulflinc5/normalized-ii16d2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 458 0 0 0 824 59 0 0 24 0 1 0 1784735294 3309568 428 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 808 428 413 48 0 760 0
[pid=8412] vsize: 3232
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (Kb) 5360

[startup+20.0053 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 749 0 0 0 1675 110 0 0 25 0 1 0 1784735294 5713920 719 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1395 719 413 48 0 1347 0
[pid=8412] vsize: 5580
Current children cumulated CPU time (s) 17.86
Current children cumulated vsize (Kb) 7708

[startup+30.006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1137 0 0 0 2641 122 0 0 25 0 1 0 1784735294 5849088 1107 4294967295 134512640 134702520 3221223968 3221223248 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1428 1107 413 48 0 1380 0
[pid=8412] vsize: 5712
Current children cumulated CPU time (s) 27.64
Current children cumulated vsize (Kb) 7840

[startup+40.0068 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1191 0 0 0 3596 139 0 0 25 0 1 0 1784735294 6303744 1161 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1539 1161 413 48 0 1491 0
[pid=8412] vsize: 6156
Current children cumulated CPU time (s) 37.36
Current children cumulated vsize (Kb) 8284

[startup+50.0085 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1215 0 0 0 4557 152 0 0 25 0 1 0 1784735294 6303744 1185 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1539 1185 413 48 0 1491 0
[pid=8412] vsize: 6156
Current children cumulated CPU time (s) 47.1
Current children cumulated vsize (Kb) 8284

[startup+60.0093 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1246 0 0 0 5506 171 0 0 25 0 1 0 1784735294 6438912 1216 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1572 1216 413 48 0 1524 0
[pid=8412] vsize: 6288
Current children cumulated CPU time (s) 56.78
Current children cumulated vsize (Kb) 8416

[startup+70.011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1261 0 0 0 6456 188 0 0 18 0 1 0 1784735294 6438912 1231 4294967295 134512640 134702520 3221223968 3221223088 134578907 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1572 1231 413 48 0 1524 0
[pid=8412] vsize: 6288
Current children cumulated CPU time (s) 66.45
Current children cumulated vsize (Kb) 8416

[startup+80.0128 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1281 0 0 0 7399 207 0 0 25 0 1 0 1784735294 6594560 1251 4294967295 134512640 134702520 3221223968 3221222984 134557386 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1251 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 76.07
Current children cumulated vsize (Kb) 8568

[startup+90.0135 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1288 0 0 0 8354 223 0 0 25 0 1 0 1784735294 6594560 1258 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1258 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 85.78
Current children cumulated vsize (Kb) 8568

[startup+100.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1288 0 0 0 9318 235 0 0 25 0 1 0 1784735294 6594560 1258 4294967295 134512640 134702520 3221223968 3221222864 134553400 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1258 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 95.54
Current children cumulated vsize (Kb) 8568

[startup+110.015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1291 0 0 0 10257 257 0 0 25 0 1 0 1784735294 6594560 1261 4294967295 134512640 134702520 3221223968 3221223088 134579067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1261 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 105.15
Current children cumulated vsize (Kb) 8568

[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1297 0 0 0 11190 282 0 0 25 0 1 0 1784735294 6594560 1267 4294967295 134512640 134702520 3221223968 3221223088 134579031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1267 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 114.73
Current children cumulated vsize (Kb) 8568

[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1299 0 0 0 12129 302 0 0 25 0 1 0 1784735294 6594560 1269 4294967295 134512640 134702520 3221223968 3221222864 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1269 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 124.32
Current children cumulated vsize (Kb) 8568

[startup+140.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1299 0 0 0 13094 314 0 0 25 0 1 0 1784735294 6594560 1269 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1269 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 134.09
Current children cumulated vsize (Kb) 8568

[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1300 0 0 0 14034 334 0 0 25 0 1 0 1784735294 6594560 1270 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1270 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 143.69
Current children cumulated vsize (Kb) 8568

[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1302 0 0 0 14970 354 0 0 25 0 1 0 1784735294 6594560 1272 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1272 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 153.25
Current children cumulated vsize (Kb) 8568

[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1304 0 0 0 15907 376 0 0 25 0 1 0 1784735294 6594560 1274 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1274 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 162.84
Current children cumulated vsize (Kb) 8568

[startup+180.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1304 0 0 0 16882 384 0 0 25 0 1 0 1784735294 6594560 1274 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1274 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 172.67
Current children cumulated vsize (Kb) 8568

[startup+190.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1304 0 0 0 17834 403 0 0 25 0 1 0 1784735294 6594560 1274 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1274 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 182.38
Current children cumulated vsize (Kb) 8568

[startup+200.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1306 0 0 0 18776 422 0 0 25 0 1 0 1784735294 6594560 1276 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1276 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 191.99
Current children cumulated vsize (Kb) 8568

[startup+210.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1310 0 0 0 19736 436 0 0 25 0 1 0 1784735294 6721536 1280 4294967295 134512640 134702520 3221223968 3221222864 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1280 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 201.73
Current children cumulated vsize (Kb) 8692

[startup+220.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1310 0 0 0 20720 441 0 0 25 0 1 0 1784735294 6721536 1280 4294967295 134512640 134702520 3221223968 3221222864 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1280 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 211.62
Current children cumulated vsize (Kb) 8692

[startup+230.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1312 0 0 0 21665 460 0 0 25 0 1 0 1784735294 6721536 1282 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1282 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (Kb) 8692

[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1313 0 0 0 22607 483 0 0 25 0 1 0 1784735294 6721536 1283 4294967295 134512640 134702520 3221223968 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1283 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 230.91
Current children cumulated vsize (Kb) 8692

[startup+250.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1314 0 0 0 23570 496 0 0 25 0 1 0 1784735294 6721536 1284 4294967295 134512640 134702520 3221223968 3221222864 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1284 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 240.67
Current children cumulated vsize (Kb) 8692

[startup+260.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1315 0 0 0 24557 501 0 0 25 0 1 0 1784735294 6721536 1285 4294967295 134512640 134702520 3221223968 3221223248 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1641 1285 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 250.59
Current children cumulated vsize (Kb) 8692

[startup+270.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1316 0 0 0 25492 522 0 0 25 0 1 0 1784735294 6721536 1286 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1286 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 260.15
Current children cumulated vsize (Kb) 8692

[startup+280.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1318 0 0 0 26434 540 0 0 25 0 1 0 1784735294 6721536 1288 4294967295 134512640 134702520 3221223968 3221222992 134552741 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1288 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 269.75
Current children cumulated vsize (Kb) 8692

[startup+290.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1319 0 0 0 27401 551 0 0 25 0 1 0 1784735294 6721536 1289 4294967295 134512640 134702520 3221223968 3221222864 134552284 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1289 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 279.53
Current children cumulated vsize (Kb) 8692

[startup+300.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1319 0 0 0 28387 556 0 0 25 0 1 0 1784735294 6721536 1289 4294967295 134512640 134702520 3221223968 3221222864 134556651 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1641 1289 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 289.44
Current children cumulated vsize (Kb) 8692

[startup+310.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1321 0 0 0 29331 576 0 0 25 0 1 0 1784735294 6721536 1291 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1291 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 299.08
Current children cumulated vsize (Kb) 8692

[startup+320.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1323 0 0 0 30271 597 0 0 25 0 1 0 1784735294 6721536 1293 4294967295 134512640 134702520 3221223968 3221223248 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1641 1293 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 308.69
Current children cumulated vsize (Kb) 8692

[startup+330.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1324 0 0 0 31228 614 0 0 25 0 1 0 1784735294 6721536 1294 4294967295 134512640 134702520 3221223968 3221222864 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1294 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 318.43
Current children cumulated vsize (Kb) 8692

[startup+340.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1324 0 0 0 32214 618 0 0 25 0 1 0 1784735294 6721536 1294 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1294 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 328.33
Current children cumulated vsize (Kb) 8692
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=8412) exited with status: 2
New process pid=8413
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=8413) exited with status: 0
New process pid=8414
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+350.039 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 329 0 0 0 723 17 0 0 25 0 1 0 1784769516 3117056 300 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 761 300 413 48 0 713 0
[pid=8414] vsize: 3044
Current children cumulated CPU time (s) 337.93
Current children cumulated vsize (Kb) 5172

[startup+360.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 481 0 0 0 1637 47 0 0 24 0 1 0 1784769516 5369856 452 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1311 452 413 48 0 1263 0
[pid=8414] vsize: 5244
Current children cumulated CPU time (s) 347.37
Current children cumulated vsize (Kb) 7372

[startup+370.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 525 0 0 0 2538 80 0 0 24 0 1 0 1784769516 5505024 496 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1344 496 413 48 0 1296 0
[pid=8414] vsize: 5376
Current children cumulated CPU time (s) 356.71
Current children cumulated vsize (Kb) 7504

[startup+380.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 538 0 0 0 3458 106 0 0 25 0 1 0 1784769516 5533696 509 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 509 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 366.17
Current children cumulated vsize (Kb) 7532

[startup+390.042 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 538 0 0 0 4377 132 0 0 24 0 1 0 1784769516 5533696 509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 509 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 375.62
Current children cumulated vsize (Kb) 7532

[startup+400.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 566 0 0 0 5281 167 0 0 25 0 1 0 1784769516 5533696 537 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1351 537 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 385.01
Current children cumulated vsize (Kb) 7532

[startup+410.043 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 569 0 0 0 6194 197 0 0 25 0 1 0 1784769516 5533696 540 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 540 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 394.44
Current children cumulated vsize (Kb) 7532

[startup+420.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 569 0 0 0 7120 224 0 0 25 0 1 0 1784769516 5533696 540 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1351 540 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 403.97
Current children cumulated vsize (Kb) 7532

[startup+430.045 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 605 0 0 0 8010 264 0 0 25 0 1 0 1784769516 5533696 576 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 576 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 413.27
Current children cumulated vsize (Kb) 7532

[startup+440.045 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 607 0 0 0 8922 296 0 0 25 0 1 0 1784769516 5533696 578 4294967295 134512640 134702520 3221223712 3221222608 134553091 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 578 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 422.71
Current children cumulated vsize (Kb) 7532

[startup+450.046 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 607 0 0 0 9852 321 0 0 25 0 1 0 1784769516 5533696 578 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 578 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 432.26
Current children cumulated vsize (Kb) 7532

[startup+460.047 s]
Raw data (loadavg): 1.12 1.02 1.01 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 616 0 0 0 10750 355 0 0 25 0 1 0 1784769516 5660672 587 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 587 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 441.58
Current children cumulated vsize (Kb) 7656

[startup+470.048 s]
Raw data (loadavg): 1.10 1.02 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 634 0 0 0 11650 389 0 0 25 0 1 0 1784769516 5660672 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 605 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 450.92
Current children cumulated vsize (Kb) 7656

[startup+480.048 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 634 0 0 0 12581 416 0 0 25 0 1 0 1784769516 5660672 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 605 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 460.5
Current children cumulated vsize (Kb) 7656

[startup+490.049 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 649 0 0 0 13483 450 0 0 24 0 1 0 1784769516 5660672 620 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 620 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 7656

[startup+500.051 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 674 0 0 0 14374 489 0 0 25 0 1 0 1784769516 5660672 645 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 645 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 479.16
Current children cumulated vsize (Kb) 7656

[startup+510.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 674 0 0 0 15307 513 0 0 25 0 1 0 1784769516 5660672 645 4294967295 134512640 134702520 3221223712 3221222608 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 645 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 488.73
Current children cumulated vsize (Kb) 7656

[startup+520.052 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 679 0 0 0 16207 548 0 0 24 0 1 0 1784769516 5660672 650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 650 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 498.08
Current children cumulated vsize (Kb) 7656

[startup+530.054 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 959 0 0 0 17102 584 0 0 25 0 1 0 1784769516 5660672 930 4294967295 134512640 134702520 3221223712 3221222608 134552138 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 930 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 507.39
Current children cumulated vsize (Kb) 7656

[startup+540.055 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 959 0 0 0 18021 609 0 0 25 0 1 0 1784769516 5660672 930 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 930 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 516.83
Current children cumulated vsize (Kb) 7656

[startup+550.057 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 959 0 0 0 18938 639 0 0 19 0 1 0 1784769516 5660672 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 930 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 526.3
Current children cumulated vsize (Kb) 7656

[startup+560.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 966 0 0 0 19830 675 0 0 25 0 1 0 1784769516 5660672 937 4294967295 134512640 134702520 3221223712 3221222608 134553460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 937 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 535.58
Current children cumulated vsize (Kb) 7656

[startup+570.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 968 0 0 0 20736 711 0 0 25 0 1 0 1784769516 5660672 939 4294967295 134512640 134702520 3221223712 3221222608 134553011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 939 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 545
Current children cumulated vsize (Kb) 7656

[startup+580.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 968 0 0 0 21670 733 0 0 25 0 1 0 1784769516 5660672 939 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 939 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 554.56
Current children cumulated vsize (Kb) 7656

[startup+590.06 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 973 0 0 0 22561 771 0 0 24 0 1 0 1784769516 5783552 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1412 944 413 48 0 1364 0
[pid=8414] vsize: 5648
Current children cumulated CPU time (s) 563.85
Current children cumulated vsize (Kb) 7776

[startup+600.061 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 980 0 0 0 23450 811 0 0 24 0 1 0 1784769516 5783552 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1412 951 413 48 0 1364 0
[pid=8414] vsize: 5648
Current children cumulated CPU time (s) 573.14
Current children cumulated vsize (Kb) 7776

[startup+610.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 982 0 0 0 24373 836 0 0 25 0 1 0 1784769516 5783552 953 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1412 953 413 48 0 1364 0
[pid=8414] vsize: 5648
Current children cumulated CPU time (s) 582.62
Current children cumulated vsize (Kb) 7776
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=8414) exited with status: 2
New process pid=8415
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=8415) exited with status: 0
New process pid=8416
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+620.062 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 320 0 0 0 247 8 0 0 25 0 1 0 1784797023 2588672 292 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 632 292 413 48 0 584 0
[pid=8416] vsize: 2528
Current children cumulated CPU time (s) 592.04
Current children cumulated vsize (Kb) 4656

[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 320 0 0 0 1130 50 0 0 25 0 1 0 1784797023 2588672 292 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 632 292 413 48 0 584 0
[pid=8416] vsize: 2528
Current children cumulated CPU time (s) 601.29
Current children cumulated vsize (Kb) 4656

[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 488 0 0 0 2010 91 0 0 23 0 1 0 1784797023 3682304 460 4294967295 134512640 134702520 3221223712 3221222992 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 899 460 413 48 0 851 0
[pid=8416] vsize: 3596
Current children cumulated CPU time (s) 610.5
Current children cumulated vsize (Kb) 5724

[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 501 0 0 0 2884 132 0 0 25 0 1 0 1784797023 3813376 473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 473 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 619.65
Current children cumulated vsize (Kb) 5852

[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 501 0 0 0 3764 173 0 0 25 0 1 0 1784797023 3813376 473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 473 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 628.86
Current children cumulated vsize (Kb) 5852

[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 505 0 0 0 4657 210 0 0 25 0 1 0 1784797023 3813376 477 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 931 477 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 638.16
Current children cumulated vsize (Kb) 5852

[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 639 0 0 0 5521 253 0 0 25 0 1 0 1784797023 3813376 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 611 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (Kb) 5852

[startup+690.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 639 0 0 0 6402 294 0 0 25 0 1 0 1784797023 3813376 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 611 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 656.45
Current children cumulated vsize (Kb) 5852

[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 643 0 0 0 7293 330 0 0 21 0 1 0 1784797023 3813376 615 4294967295 134512640 134702520 3221223712 3221222608 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 931 615 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 665.72
Current children cumulated vsize (Kb) 5852

[startup+710.069 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 648 0 0 0 8168 370 0 0 23 0 1 0 1784797023 3936256 620 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 620 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 674.87
Current children cumulated vsize (Kb) 5972

[startup+720.07 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 648 0 0 0 9050 411 0 0 25 0 1 0 1784797023 3936256 620 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 620 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 684.1
Current children cumulated vsize (Kb) 5972

[startup+730.071 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 650 0 0 0 9945 448 0 0 25 0 1 0 1784797023 3936256 622 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 622 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 693.42
Current children cumulated vsize (Kb) 5972

[startup+740.072 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 653 0 0 0 10803 497 0 0 25 0 1 0 1784797023 3936256 625 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 625 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 702.49
Current children cumulated vsize (Kb) 5972

[startup+750.073 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 654 0 0 0 11685 537 0 0 25 0 1 0 1784797023 3936256 626 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 626 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 711.71
Current children cumulated vsize (Kb) 5972

[startup+760.074 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 656 0 0 0 12579 572 0 0 23 0 1 0 1784797023 3936256 628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 628 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 721
Current children cumulated vsize (Kb) 5972

[startup+770.075 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 659 0 0 0 13449 616 0 0 25 0 1 0 1784797023 3936256 631 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 631 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 730.14
Current children cumulated vsize (Kb) 5972

[startup+780.076 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 661 0 0 0 14318 663 0 0 25 0 1 0 1784797023 3936256 633 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 633 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 739.3
Current children cumulated vsize (Kb) 5972

[startup+790.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 662 0 0 0 15213 698 0 0 25 0 1 0 1784797023 3936256 634 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 634 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 748.6
Current children cumulated vsize (Kb) 5972

[startup+800.077 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 667 0 0 0 16091 738 0 0 25 0 1 0 1784797023 3936256 639 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 639 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 757.78
Current children cumulated vsize (Kb) 5972

[startup+810.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 672 0 0 0 16950 784 0 0 25 0 1 0 1784797023 3936256 644 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 644 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 766.83
Current children cumulated vsize (Kb) 5972

[startup+820.079 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 672 0 0 0 17833 825 0 0 25 0 1 0 1784797023 3936256 644 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 644 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 776.07
Current children cumulated vsize (Kb) 5972

[startup+830.079 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 675 0 0 0 18719 865 0 0 25 0 1 0 1784797023 3936256 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 647 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 785.33
Current children cumulated vsize (Kb) 5972

[startup+840.08 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 679 0 0 0 19581 911 0 0 23 0 1 0 1784797023 4063232 651 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 992 651 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 794.41
Current children cumulated vsize (Kb) 6096

[startup+850.082 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 681 0 0 0 20459 956 0 0 25 0 1 0 1784797023 4063232 653 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 653 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 803.64
Current children cumulated vsize (Kb) 6096

[startup+860.083 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 682 0 0 0 21355 994 0 0 25 0 1 0 1784797023 4063232 654 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 654 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 812.98
Current children cumulated vsize (Kb) 6096

[startup+870.083 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 687 0 0 0 22223 1041 0 0 25 0 1 0 1784797023 4063232 659 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 659 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (Kb) 6096

[startup+880.084 s]
Raw data (loadavg): 1.09 1.03 1.01 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 692 0 0 0 23083 1088 0 0 25 0 1 0 1784797023 4063232 664 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 664 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 831.2
Current children cumulated vsize (Kb) 6096

[startup+890.085 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 693 0 0 0 23969 1128 0 0 25 0 1 0 1784797023 4063232 665 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 665 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 840.46
Current children cumulated vsize (Kb) 6096

[startup+900.086 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 696 0 0 0 24838 1174 0 0 25 0 1 0 1784797023 4063232 668 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 668 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 849.61
Current children cumulated vsize (Kb) 6096

[startup+910.087 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 700 0 0 0 25700 1220 0 0 25 0 1 0 1784797023 4063232 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 672 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 858.69
Current children cumulated vsize (Kb) 6096

[startup+920.087 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 700 0 0 0 26582 1262 0 0 25 0 1 0 1784797023 4063232 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 992 672 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 867.93
Current children cumulated vsize (Kb) 6096

[startup+930.088 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 702 0 0 0 27462 1303 0 0 22 0 1 0 1784797023 4063232 674 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 992 674 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 877.14
Current children cumulated vsize (Kb) 6096

[startup+940.088 s]
Raw data (loadavg): 1.06 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 707 0 0 0 28319 1353 0 0 20 0 1 0 1784797023 4063232 679 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 679 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 886.21
Current children cumulated vsize (Kb) 6096

[startup+950.09 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 707 0 0 0 29191 1398 0 0 25 0 1 0 1784797023 4063232 679 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 679 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 895.38
Current children cumulated vsize (Kb) 6096

[startup+960.091 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 708 0 0 0 30088 1433 0 0 25 0 1 0 1784797023 4198400 680 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1025 680 413 48 0 977 0
[pid=8416] vsize: 4100
Current children cumulated CPU time (s) 904.7
Current children cumulated vsize (Kb) 6228

[startup+970.092 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 712 0 0 0 30947 1483 0 0 24 0 1 0 1784797023 4182016 684 4294967295 134512640 134702520 3221223712 3221222608 134553064 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 684 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 913.79
Current children cumulated vsize (Kb) 6212

[startup+980.092 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 717 0 0 0 31801 1533 0 0 25 0 1 0 1784797023 4182016 689 4294967295 134512640 134702520 3221223712 3221222608 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 689 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 922.83
Current children cumulated vsize (Kb) 6212

[startup+990.093 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 717 0 0 0 32691 1573 0 0 25 0 1 0 1784797023 4182016 689 4294967295 134512640 134702520 3221223712 3221222608 134553895 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 689 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 932.13
Current children cumulated vsize (Kb) 6212

[startup+1000.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 718 0 0 0 33570 1617 0 0 22 0 1 0 1784797023 4182016 690 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 690 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 941.36
Current children cumulated vsize (Kb) 6212

[startup+1010.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 721 0 0 0 34424 1665 0 0 24 0 1 0 1784797023 4182016 693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 693 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 950.38
Current children cumulated vsize (Kb) 6212

[startup+1020.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 722 0 0 0 35284 1712 0 0 25 0 1 0 1784797023 4182016 694 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 694 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 959.45
Current children cumulated vsize (Kb) 6212

[startup+1030.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 723 0 0 0 36177 1748 0 0 25 0 1 0 1784797023 4182016 695 4294967295 134512640 134702520 3221223712 3221222480 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 695 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 968.74
Current children cumulated vsize (Kb) 6212

[startup+1040.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 723 0 0 0 37042 1793 0 0 22 0 1 0 1784797023 4182016 695 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 695 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 977.84
Current children cumulated vsize (Kb) 6212

[startup+1050.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 725 0 0 0 37904 1844 0 0 22 0 1 0 1784797023 4182016 697 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 697 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 986.97
Current children cumulated vsize (Kb) 6212

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 726 0 0 0 38778 1887 0 0 25 0 1 0 1784797023 4182016 698 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 698 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 996.14
Current children cumulated vsize (Kb) 6212

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 728 0 0 0 39654 1929 0 0 23 0 1 0 1784797023 4182016 700 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 700 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1005.32
Current children cumulated vsize (Kb) 6212

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 730 0 0 0 40515 1975 0 0 22 0 1 0 1784797023 4182016 702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 702 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1014.39
Current children cumulated vsize (Kb) 6212

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 731 0 0 0 41371 2021 0 0 25 0 1 0 1784797023 4182016 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 703 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1023.41
Current children cumulated vsize (Kb) 6212

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 731 0 0 0 42258 2061 0 0 25 0 1 0 1784797023 4182016 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 703 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1032.68
Current children cumulated vsize (Kb) 6212

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 733 0 0 0 43128 2104 0 0 22 0 1 0 1784797023 4182016 705 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 705 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (Kb) 6212

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 734 0 0 0 43988 2151 0 0 24 0 1 0 1784797023 4182016 706 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 706 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1050.88
Current children cumulated vsize (Kb) 6212

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 738 0 0 0 44847 2199 0 0 25 0 1 0 1784797023 4321280 710 4294967295 134512640 134702520 3221223712 3221222608 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1055 710 413 48 0 1007 0
[pid=8416] vsize: 4220
Current children cumulated CPU time (s) 1059.95
Current children cumulated vsize (Kb) 6348

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 738 0 0 0 45739 2234 0 0 25 0 1 0 1784797023 4321280 710 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1055 710 413 48 0 1007 0
[pid=8416] vsize: 4220
Current children cumulated CPU time (s) 1069.22
Current children cumulated vsize (Kb) 6348

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 742 0 0 0 46611 2279 0 0 22 0 1 0 1784797023 4308992 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 714 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1078.39
Current children cumulated vsize (Kb) 6336

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 745 0 0 0 47457 2332 0 0 25 0 1 0 1784797023 4308992 717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 717 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1087.38
Current children cumulated vsize (Kb) 6336

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 746 0 0 0 48325 2379 0 0 25 0 1 0 1784797023 4308992 718 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 718 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1096.53
Current children cumulated vsize (Kb) 6336

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 747 0 0 0 49224 2412 0 0 25 0 1 0 1784797023 4308992 719 4294967295 134512640 134702520 3221223712 3221222480 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1052 719 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1105.85
Current children cumulated vsize (Kb) 6336

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 748 0 0 0 50061 2468 0 0 22 0 1 0 1784797023 4308992 720 4294967295 134512640 134702520 3221223712 3221064108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 720 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1114.78
Current children cumulated vsize (Kb) 6336

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 752 0 0 0 50918 2516 0 0 24 0 1 0 1784797023 4308992 724 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1052 724 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1123.83
Current children cumulated vsize (Kb) 6336

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 753 0 0 0 51790 2561 0 0 25 0 1 0 1784797023 4308992 725 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 725 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1133
Current children cumulated vsize (Kb) 6336

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 754 0 0 0 52680 2598 0 0 22 0 1 0 1784797023 4308992 726 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 726 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1142.27
Current children cumulated vsize (Kb) 6336

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 757 0 0 0 53535 2648 0 0 25 0 1 0 1784797023 4308992 729 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 729 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1151.32
Current children cumulated vsize (Kb) 6336

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 762 0 0 0 54376 2701 0 0 22 0 1 0 1784797023 4308992 734 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 734 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1160.26
Current children cumulated vsize (Kb) 6336

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 764 0 0 0 55256 2746 0 0 25 0 1 0 1784797023 4308992 736 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 736 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1169.51
Current children cumulated vsize (Kb) 6336

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 765 0 0 0 56135 2789 0 0 24 0 1 0 1784797023 4308992 737 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 737 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1178.73
Current children cumulated vsize (Kb) 6336

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 768 0 0 0 56984 2843 0 0 23 0 1 0 1784797023 4308992 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 740 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1187.76
Current children cumulated vsize (Kb) 6336

[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 771 0 0 0 57823 2899 0 0 24 0 1 0 1784797023 4431872 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1082 743 413 48 0 1034 0
[pid=8416] vsize: 4328
Current children cumulated CPU time (s) 1196.71
Current children cumulated vsize (Kb) 6456

[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 771 0 0 0 58707 2940 0 0 25 0 1 0 1784797023 4431872 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1082 743 413 48 0 1034 0
[pid=8416] vsize: 4328
Current children cumulated CPU time (s) 1205.96
Current children cumulated vsize (Kb) 6456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 771 0 0 0 58707 2940 0 0 25 0 1 0 1784797023 4431872 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1082 743 413 48 0 1034 0
[pid=8416] vsize: 4328
Current children cumulated CPU time (s) 1205.96
Current children cumulated vsize (Kb) 6456

Sending SIGTERM to -8409
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=8418
New process pid=8419
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
One traced child (pid=8416) exited with status: 3
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/8372/stat
open syscall for file /proc/8372/status
open syscall for file /proc/8372/cmdline
open syscall for file /proc/8372/environ
open syscall for file /proc/8408/stat
open syscall for file /proc/8408/status
open syscall for file /proc/8408/cmdline
open syscall for file /proc/8408/environ
open syscall for file /proc/8409/stat
open syscall for file /proc/8409/status
open syscall for file /proc/8409/cmdline
open syscall for file /proc/8409/environ
open syscall for file /proc/8418/stat
open syscall for file /proc/8418/status
open syscall for file /proc/8418/cmdline
open syscall for file /proc/8418/environ
open syscall for file /proc/8419/stat
open syscall for file /proc/8419/status
open syscall for file /proc/8419/cmdline
open syscall for file /proc/8419/environ
One traced child (pid=8418) exited with status: 0
One traced child (pid=8419) exited with status: 0
New process pid=8420
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=8420) exited with status: 0
New process pid=8421
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=8421) exited with status: 0
One traced child (pid=8409) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1290.61
CPU time (s): 1206.14
CPU user time (s): 1161.84
CPU system time (s): 44.2973
CPU usage (%): 93.4548
Max. virtual memory (cumulated for all children) (Kb): 8692

Verifier Data

ERROR: no interpretation found !