Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
MD5SUMef7064a9be2b712276f7b600af28e2b0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 4936

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        833248 kB
Buffers:         35900 kB
Cached:         136736 kB
SwapCached:        696 kB
Active:          75468 kB
Inactive:        99700 kB
HighTotal:      131008 kB
HighFree:        28308 kB
LowTotal:       903652 kB
LowFree:        804940 kB
SwapTotal:     2097640 kB
SwapFree:      2096372 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5816 kB
Slab:            20520 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:33:18 (client local time) WITH STATUS 0 IN 1206.48 SECONDS
stats: 7679 7 1206.48 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
#decisions: 530491;  #end-nodes: 116549;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 292, #non-axs: 421
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 192  (#equs: 0)
Time taken: 5 min, 38 sec

2:
seed: 0
Nr of vars set: 192  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192  (#equs: 0)
Time taken: 14 min, 27 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) R 13042 13043 20115 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853042452 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13043/statm): 174 3 169 147 0 27 0
[pid=13043] 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=13044
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=13044) exited with status: 0
New process pid=13045
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=13045) exited with status: 0
New process pid=13046
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/wulflinc28/normalized-mps-v2-20-10-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0041 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 391 0 0 0 782 71 0 0 19 0 1 0 1853042460 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 715 361 413 48 0 667 0
[pid=13046] vsize: 2860
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (Kb) 4988

[startup+20.0048 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 459 0 0 0 1582 140 0 0 21 0 1 0 1853042460 4321280 429 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1055 429 413 48 0 1007 0
[pid=13046] vsize: 4220
Current children cumulated CPU time (s) 17.24
Current children cumulated vsize (Kb) 6348

[startup+30.0065 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 514 0 0 0 2403 200 0 0 22 0 1 0 1853042460 4345856 484 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 484 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (Kb) 6372

[startup+40.0072 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 516 0 0 0 3228 256 0 0 20 0 1 0 1853042460 4345856 486 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 486 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 34.86
Current children cumulated vsize (Kb) 6372

[startup+50.0089 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 535 0 0 0 4054 316 0 0 23 0 1 0 1853042460 4345856 505 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 505 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 43.72
Current children cumulated vsize (Kb) 6372

[startup+60.0096 s]
Raw data (loadavg): 1.17 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 535 0 0 0 4849 384 0 0 18 0 1 0 1853042460 4345856 505 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1061 505 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 52.35
Current children cumulated vsize (Kb) 6372

[startup+70.0104 s]
Raw data (loadavg): 1.14 1.05 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 535 0 0 0 5663 450 0 0 25 0 1 0 1853042460 4345856 505 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1061 505 413 48 0 1013 0
[pid=13046] vsize: 4244
Current children cumulated CPU time (s) 61.15
Current children cumulated vsize (Kb) 6372

[startup+80.0111 s]
Raw data (loadavg): 1.19 1.07 1.02 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 549 0 0 0 6484 511 0 0 21 0 1 0 1853042460 4472832 519 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 519 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 6496

[startup+90.0118 s]
Raw data (loadavg): 1.16 1.06 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 723 0 0 0 7319 566 0 0 22 0 1 0 1853042460 4472832 693 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 693 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 78.87
Current children cumulated vsize (Kb) 6496

[startup+100.013 s]
Raw data (loadavg): 1.21 1.08 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 745 0 0 0 8149 625 0 0 22 0 1 0 1853042460 4472832 715 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 715 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 87.76
Current children cumulated vsize (Kb) 6496

[startup+110.015 s]
Raw data (loadavg): 1.18 1.07 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 745 0 0 0 8947 695 0 0 21 0 1 0 1853042460 4472832 715 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1092 715 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 96.44
Current children cumulated vsize (Kb) 6496

[startup+120.016 s]
Raw data (loadavg): 1.15 1.07 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 745 0 0 0 9754 765 0 0 24 0 1 0 1853042460 4472832 715 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1092 715 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 105.21
Current children cumulated vsize (Kb) 6496

[startup+130.017 s]
Raw data (loadavg): 1.13 1.07 1.02 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 798 0 0 0 10582 825 0 0 23 0 1 0 1853042460 4472832 768 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1092 768 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 114.09
Current children cumulated vsize (Kb) 6496

[startup+140.017 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 802 0 0 0 11414 885 0 0 22 0 1 0 1853042460 4472832 772 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1092 772 413 48 0 1044 0
[pid=13046] vsize: 4368
Current children cumulated CPU time (s) 123.01
Current children cumulated vsize (Kb) 6496

[startup+150.018 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 805 0 0 0 12250 940 0 0 24 0 1 0 1853042460 4608000 775 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1125 775 413 48 0 1077 0
[pid=13046] vsize: 4500
Current children cumulated CPU time (s) 131.92
Current children cumulated vsize (Kb) 6628

[startup+160.019 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 806 0 0 0 13045 1012 0 0 22 0 1 0 1853042460 4608000 776 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1125 776 413 48 0 1077 0
[pid=13046] vsize: 4500
Current children cumulated CPU time (s) 140.59
Current children cumulated vsize (Kb) 6628

[startup+170.019 s]
Raw data (loadavg): 1.06 1.06 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 806 0 0 0 13853 1075 0 0 25 0 1 0 1853042460 4595712 776 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 776 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 149.3
Current children cumulated vsize (Kb) 6616

[startup+180.02 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 811 0 0 0 14687 1132 0 0 23 0 1 0 1853042460 4595712 781 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 781 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 158.21
Current children cumulated vsize (Kb) 6616

[startup+190.021 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 815 0 0 0 15530 1184 0 0 25 0 1 0 1853042460 4595712 785 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 785 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 167.16
Current children cumulated vsize (Kb) 6616

[startup+200.022 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 818 0 0 0 16368 1237 0 0 18 0 1 0 1853042460 4595712 788 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 788 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 176.07
Current children cumulated vsize (Kb) 6616

[startup+210.023 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 821 0 0 0 17183 1300 0 0 22 0 1 0 1853042460 4595712 791 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 791 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 184.85
Current children cumulated vsize (Kb) 6616

[startup+220.024 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 821 0 0 0 17984 1365 0 0 24 0 1 0 1853042460 4595712 791 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 791 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 193.51
Current children cumulated vsize (Kb) 6616

[startup+230.026 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 826 0 0 0 18827 1418 0 0 17 0 1 0 1853042460 4595712 796 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 796 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 202.47
Current children cumulated vsize (Kb) 6616

[startup+240.026 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 827 0 0 0 19670 1473 0 0 25 0 1 0 1853042460 4595712 797 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 797 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 211.45
Current children cumulated vsize (Kb) 6616

[startup+250.028 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 832 0 0 0 20512 1528 0 0 25 0 1 0 1853042460 4595712 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 802 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (Kb) 6616

[startup+260.03 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 834 0 0 0 21333 1585 0 0 22 0 1 0 1853042460 4595712 804 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13046/statm): 1122 804 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 229.2
Current children cumulated vsize (Kb) 6616

[startup+270.029 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 834 0 0 0 22133 1655 0 0 23 0 1 0 1853042460 4595712 804 4294967295 134512640 134702520 3221223952 3221222848 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1122 804 413 48 0 1074 0
[pid=13046] vsize: 4488
Current children cumulated CPU time (s) 237.9
Current children cumulated vsize (Kb) 6616

[startup+280.03 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 838 0 0 0 22980 1708 0 0 25 0 1 0 1853042460 4714496 808 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 808 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 246.9
Current children cumulated vsize (Kb) 6732

[startup+290.031 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 843 0 0 0 23828 1762 0 0 20 0 1 0 1853042460 4714496 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 813 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 255.92
Current children cumulated vsize (Kb) 6732

[startup+300.032 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 845 0 0 0 24675 1816 0 0 25 0 1 0 1853042460 4714496 815 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 815 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 264.93
Current children cumulated vsize (Kb) 6732

[startup+310.034 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 849 0 0 0 25519 1869 0 0 18 0 1 0 1853042460 4714496 819 4294967295 134512640 134702520 3221223952 3221222848 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 819 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 273.9
Current children cumulated vsize (Kb) 6732

[startup+320.035 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 849 0 0 0 26320 1938 0 0 22 0 1 0 1853042460 4714496 819 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 819 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 282.6
Current children cumulated vsize (Kb) 6732

[startup+330.037 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 849 0 0 0 27144 1996 0 0 25 0 1 0 1853042460 4714496 819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 819 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 291.42
Current children cumulated vsize (Kb) 6732

[startup+340.037 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 855 0 0 0 27993 2047 0 0 20 0 1 0 1853042460 4714496 825 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 825 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 300.42
Current children cumulated vsize (Kb) 6732

[startup+350.039 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 857 0 0 0 28845 2098 0 0 24 0 1 0 1853042460 4714496 827 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 827 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 309.45
Current children cumulated vsize (Kb) 6732

[startup+360.04 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 860 0 0 0 29691 2149 0 0 22 0 1 0 1853042460 4714496 830 4294967295 134512640 134702520 3221223952 3221223072 134578847 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 830 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 318.42
Current children cumulated vsize (Kb) 6732

[startup+370.04 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) T 13043 13043 20115 0 -1 0 862 0 0 0 30532 2202 0 0 22 0 1 0 1853042460 4714496 832 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 832 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 327.36
Current children cumulated vsize (Kb) 6732

[startup+380.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13046
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1853042452 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 242 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13046/stat): 13046 (vallst) R 13043 13043 20115 0 -1 0 862 0 0 0 31327 2270 0 0 22 0 1 0 1853042460 4714496 832 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13046/statm): 1151 832 413 48 0 1103 0
[pid=13046] vsize: 4604
Current children cumulated CPU time (s) 335.99
Current children cumulated vsize (Kb) 6732
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=13046) exited with status: 2
New process pid=13047
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=13047) exited with status: 0
New process pid=13048
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+390.042 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 352 0 0 0 591 46 0 0 19 0 1 0 1853080739 2715648 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 663 322 413 48 0 615 0
[pid=13048] vsize: 2652
Current children cumulated CPU time (s) 344.79
Current children cumulated vsize (Kb) 4780

[startup+400.043 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 352 0 0 0 1404 112 0 0 17 0 1 0 1853080739 2715648 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 663 322 413 48 0 615 0
[pid=13048] vsize: 2652
Current children cumulated CPU time (s) 353.58
Current children cumulated vsize (Kb) 4780

[startup+410.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 518 0 0 0 2249 165 0 0 19 0 1 0 1853080739 4005888 488 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 978 488 413 48 0 930 0
[pid=13048] vsize: 3912
Current children cumulated CPU time (s) 362.56
Current children cumulated vsize (Kb) 6040

[startup+420.045 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 530 0 0 0 3086 220 0 0 24 0 1 0 1853080739 4005888 500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 978 500 413 48 0 930 0
[pid=13048] vsize: 3912
Current children cumulated CPU time (s) 371.48
Current children cumulated vsize (Kb) 6040

[startup+430.046 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 555 0 0 0 3924 274 0 0 25 0 1 0 1853080739 4136960 525 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 525 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 380.4
Current children cumulated vsize (Kb) 6168

[startup+440.047 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 558 0 0 0 4734 340 0 0 23 0 1 0 1853080739 4136960 528 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1010 528 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 389.16
Current children cumulated vsize (Kb) 6168

[startup+450.048 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 561 0 0 0 5549 406 0 0 23 0 1 0 1853080739 4136960 531 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1010 531 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 397.97
Current children cumulated vsize (Kb) 6168

[startup+460.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 700 0 0 0 6383 464 0 0 24 0 1 0 1853080739 4136960 670 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 670 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 406.89
Current children cumulated vsize (Kb) 6168

[startup+470.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 715 0 0 0 7226 517 0 0 24 0 1 0 1853080739 4136960 685 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 685 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 415.85
Current children cumulated vsize (Kb) 6168

[startup+480.05 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 719 0 0 0 8069 571 0 0 23 0 1 0 1853080739 4136960 689 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 689 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 424.82
Current children cumulated vsize (Kb) 6168

[startup+490.051 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 721 0 0 0 8875 638 0 0 23 0 1 0 1853080739 4136960 691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 691 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 433.55
Current children cumulated vsize (Kb) 6168

[startup+500.052 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 721 0 0 0 9693 700 0 0 19 0 1 0 1853080739 4136960 691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 691 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 442.35
Current children cumulated vsize (Kb) 6168

[startup+510.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 726 0 0 0 10534 754 0 0 24 0 1 0 1853080739 4136960 696 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1010 696 413 48 0 962 0
[pid=13048] vsize: 4040
Current children cumulated CPU time (s) 451.3
Current children cumulated vsize (Kb) 6168

[startup+520.055 s]
Raw data (loadavg): 1.15 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 732 0 0 0 11384 805 0 0 24 0 1 0 1853080739 4255744 702 4294967295 134512640 134702520 3221223712 3221222736 134551086 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 702 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 460.31
Current children cumulated vsize (Kb) 6284

[startup+530.056 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 737 0 0 0 12231 858 0 0 25 0 1 0 1853080739 4255744 707 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 707 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 469.31
Current children cumulated vsize (Kb) 6284

[startup+540.057 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 741 0 0 0 13048 920 0 0 18 0 1 0 1853080739 4255744 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 711 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 478.1
Current children cumulated vsize (Kb) 6284

[startup+550.059 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 743 0 0 0 13864 981 0 0 25 0 1 0 1853080739 4255744 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 713 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 486.87
Current children cumulated vsize (Kb) 6284

[startup+560.059 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 749 0 0 0 14708 1035 0 0 25 0 1 0 1853080739 4255744 719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 719 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 495.85
Current children cumulated vsize (Kb) 6284

[startup+570.06 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 756 0 0 0 15542 1093 0 0 24 0 1 0 1853080739 4255744 726 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1039 726 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 504.77
Current children cumulated vsize (Kb) 6284

[startup+580.062 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 758 0 0 0 16395 1143 0 0 19 0 1 0 1853080739 4255744 728 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 728 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 513.8
Current children cumulated vsize (Kb) 6284

[startup+590.062 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 761 0 0 0 17219 1205 0 0 20 0 1 0 1853080739 4255744 731 4294967295 134512640 134702520 3221223712 3221222608 134553346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 731 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 522.66
Current children cumulated vsize (Kb) 6284

[startup+600.064 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 761 0 0 0 18034 1265 0 0 23 0 1 0 1853080739 4255744 731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1039 731 413 48 0 991 0
[pid=13048] vsize: 4156
Current children cumulated CPU time (s) 531.41
Current children cumulated vsize (Kb) 6284

[startup+610.066 s]
Raw data (loadavg): 1.07 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 764 0 0 0 18874 1319 0 0 24 0 1 0 1853080739 4378624 734 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1069 734 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 540.35
Current children cumulated vsize (Kb) 6404

[startup+620.066 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 768 0 0 0 19726 1372 0 0 24 0 1 0 1853080739 4378624 738 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 738 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 549.4
Current children cumulated vsize (Kb) 6404

[startup+630.067 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 770 0 0 0 20581 1421 0 0 25 0 1 0 1853080739 4378624 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 740 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 558.44
Current children cumulated vsize (Kb) 6404

[startup+640.068 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 774 0 0 0 21425 1474 0 0 23 0 1 0 1853080739 4378624 744 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 744 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 567.41
Current children cumulated vsize (Kb) 6404

[startup+650.069 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 775 0 0 0 22236 1538 0 0 23 0 1 0 1853080739 4378624 745 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1069 745 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 576.16
Current children cumulated vsize (Kb) 6404

[startup+660.07 s]
Raw data (loadavg): 1.09 1.06 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 776 0 0 0 23065 1596 0 0 25 0 1 0 1853080739 4378624 746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 746 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 585.03
Current children cumulated vsize (Kb) 6404

[startup+670.071 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 787 0 0 0 23911 1647 0 0 24 0 1 0 1853080739 4378624 757 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1069 757 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 594
Current children cumulated vsize (Kb) 6404

[startup+680.073 s]
Raw data (loadavg): 1.06 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 792 0 0 0 24772 1698 0 0 25 0 1 0 1853080739 4378624 762 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1069 762 413 48 0 1021 0
[pid=13048] vsize: 4276
Current children cumulated CPU time (s) 603.12
Current children cumulated vsize (Kb) 6404

[startup+690.073 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 798 0 0 0 25627 1747 0 0 24 0 1 0 1853080739 4517888 768 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1103 768 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 612.16
Current children cumulated vsize (Kb) 6540

[startup+700.075 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 802 0 0 0 26459 1805 0 0 20 0 1 0 1853080739 4517888 772 4294967295 134512640 134702520 3221223712 3221222608 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 772 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 621.06
Current children cumulated vsize (Kb) 6540

[startup+710.076 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 802 0 0 0 27269 1871 0 0 23 0 1 0 1853080739 4517888 772 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 772 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 629.82
Current children cumulated vsize (Kb) 6540

[startup+720.076 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 804 0 0 0 28101 1927 0 0 20 0 1 0 1853080739 4517888 774 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 774 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 638.7
Current children cumulated vsize (Kb) 6540

[startup+730.078 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 806 0 0 0 28960 1974 0 0 25 0 1 0 1853080739 4517888 776 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 776 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 647.76
Current children cumulated vsize (Kb) 6540

[startup+740.079 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 810 0 0 0 29808 2026 0 0 20 0 1 0 1853080739 4517888 780 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 780 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 656.76
Current children cumulated vsize (Kb) 6540

[startup+750.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 812 0 0 0 30657 2080 0 0 25 0 1 0 1853080739 4517888 782 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 782 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 665.79
Current children cumulated vsize (Kb) 6540

[startup+760.081 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 815 0 0 0 31471 2144 0 0 21 0 1 0 1853080739 4517888 785 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 785 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 674.57
Current children cumulated vsize (Kb) 6540

[startup+770.081 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 815 0 0 0 32277 2210 0 0 22 0 1 0 1853080739 4517888 785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 785 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 683.29
Current children cumulated vsize (Kb) 6540

[startup+780.081 s]
Raw data (loadavg): 1.03 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 817 0 0 0 33130 2258 0 0 25 0 1 0 1853080739 4517888 787 4294967295 134512640 134702520 3221223712 3221222832 134573874 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 787 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 692.3
Current children cumulated vsize (Kb) 6540

[startup+790.083 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 821 0 0 0 33988 2306 0 0 24 0 1 0 1853080739 4517888 791 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 791 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 701.36
Current children cumulated vsize (Kb) 6540

[startup+800.084 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 826 0 0 0 34839 2356 0 0 25 0 1 0 1853080739 4517888 796 4294967295 134512640 134702520 3221223712 3221223112 134607270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1103 796 413 48 0 1055 0
[pid=13048] vsize: 4412
Current children cumulated CPU time (s) 710.37
Current children cumulated vsize (Kb) 6540

[startup+810.084 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 846 0 0 0 35697 2403 0 0 24 0 1 0 1853080739 4661248 816 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1138 816 413 48 0 1090 0
[pid=13048] vsize: 4552
Current children cumulated CPU time (s) 719.42
Current children cumulated vsize (Kb) 6680

[startup+820.085 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 846 0 0 0 36522 2467 0 0 21 0 1 0 1853080739 4661248 816 4294967295 134512640 134702520 3221223712 3221222608 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1138 816 413 48 0 1090 0
[pid=13048] vsize: 4552
Current children cumulated CPU time (s) 728.31
Current children cumulated vsize (Kb) 6680

[startup+830.086 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 846 0 0 0 37356 2525 0 0 25 0 1 0 1853080739 4640768 816 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1133 816 413 48 0 1085 0
[pid=13048] vsize: 4532
Current children cumulated CPU time (s) 737.23
Current children cumulated vsize (Kb) 6660

[startup+840.087 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 859 0 0 0 38202 2580 0 0 24 0 1 0 1853080739 4792320 829 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1170 829 413 48 0 1122 0
[pid=13048] vsize: 4680
Current children cumulated CPU time (s) 746.24
Current children cumulated vsize (Kb) 6808

[startup+850.088 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 885 0 0 0 39069 2628 0 0 25 0 1 0 1853080739 4792320 855 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1170 855 413 48 0 1122 0
[pid=13048] vsize: 4680
Current children cumulated CPU time (s) 755.39
Current children cumulated vsize (Kb) 6808

[startup+860.089 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 895 0 0 0 39932 2677 0 0 24 0 1 0 1853080739 4792320 865 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1170 865 413 48 0 1122 0
[pid=13048] vsize: 4680
Current children cumulated CPU time (s) 764.51
Current children cumulated vsize (Kb) 6808

[startup+870.09 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 901 0 0 0 40775 2734 0 0 17 0 1 0 1853080739 4927488 871 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1203 871 413 48 0 1155 0
[pid=13048] vsize: 4812
Current children cumulated CPU time (s) 773.51
Current children cumulated vsize (Kb) 6940

[startup+880.09 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 901 0 0 0 41592 2796 0 0 24 0 1 0 1853080739 4927488 871 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1203 871 413 48 0 1155 0
[pid=13048] vsize: 4812
Current children cumulated CPU time (s) 782.3
Current children cumulated vsize (Kb) 6940

[startup+890.091 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 904 0 0 0 42447 2847 0 0 25 0 1 0 1853080739 4911104 874 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 874 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 791.36
Current children cumulated vsize (Kb) 6924

[startup+900.093 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 911 0 0 0 43322 2887 0 0 24 0 1 0 1853080739 4911104 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 881 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 800.51
Current children cumulated vsize (Kb) 6924

[startup+910.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 915 0 0 0 44179 2935 0 0 22 0 1 0 1853080739 4911104 885 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 885 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 809.56
Current children cumulated vsize (Kb) 6924

[startup+920.095 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 920 0 0 0 45047 2982 0 0 24 0 1 0 1853080739 4911104 890 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 890 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 818.71
Current children cumulated vsize (Kb) 6924

[startup+930.097 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 920 0 0 0 45871 3043 0 0 22 0 1 0 1853080739 4911104 890 4294967295 134512640 134702520 3221223712 3221222608 134550721 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 890 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 827.56
Current children cumulated vsize (Kb) 6924

[startup+940.097 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 921 0 0 0 46703 3102 0 0 21 0 1 0 1853080739 4911104 891 4294967295 134512640 134702520 3221223712 3221223112 134607270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 891 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 836.47
Current children cumulated vsize (Kb) 6924

[startup+950.098 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 926 0 0 0 47575 3144 0 0 25 0 1 0 1853080739 4911104 896 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 896 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 845.61
Current children cumulated vsize (Kb) 6924

[startup+960.1 s]
Raw data (loadavg): 1.13 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 927 0 0 0 48437 3192 0 0 24 0 1 0 1853080739 4911104 897 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1199 897 413 48 0 1151 0
[pid=13048] vsize: 4796
Current children cumulated CPU time (s) 854.71
Current children cumulated vsize (Kb) 6924

[startup+970.1 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 933 0 0 0 49305 3239 0 0 22 0 1 0 1853080739 5038080 903 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 903 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 863.86
Current children cumulated vsize (Kb) 7048

[startup+980.101 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 938 0 0 0 50155 3292 0 0 24 0 1 0 1853080739 5038080 908 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 908 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 872.89
Current children cumulated vsize (Kb) 7048

[startup+990.102 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 938 0 0 0 50984 3353 0 0 23 0 1 0 1853080739 5038080 908 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1230 908 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (Kb) 7048

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 938 0 0 0 51825 3407 0 0 25 0 1 0 1853080739 5038080 908 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 908 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 890.74
Current children cumulated vsize (Kb) 7048

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 941 0 0 0 52692 3451 0 0 24 0 1 0 1853080739 5038080 911 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 911 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 899.85
Current children cumulated vsize (Kb) 7048

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 944 0 0 0 53555 3499 0 0 25 0 1 0 1853080739 5038080 914 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 914 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 908.96
Current children cumulated vsize (Kb) 7048

[startup+1030.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 946 0 0 0 54425 3547 0 0 25 0 1 0 1853080739 5038080 916 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 916 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 918.14
Current children cumulated vsize (Kb) 7048

[startup+1040.11 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 949 0 0 0 55295 3592 0 0 25 0 1 0 1853080739 5038080 919 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 919 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 927.29
Current children cumulated vsize (Kb) 7048

[startup+1050.11 s]
Raw data (loadavg): 1.10 1.05 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 951 0 0 0 56111 3658 0 0 23 0 1 0 1853080739 5038080 921 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 921 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 936.11
Current children cumulated vsize (Kb) 7048

[startup+1060.11 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 951 0 0 0 56925 3719 0 0 24 0 1 0 1853080739 5038080 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1230 921 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 944.86
Current children cumulated vsize (Kb) 7048

[startup+1070.11 s]
Raw data (loadavg): 1.07 1.05 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 955 0 0 0 57792 3766 0 0 24 0 1 0 1853080739 5038080 925 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 925 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 954
Current children cumulated vsize (Kb) 7048

[startup+1080.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 958 0 0 0 58659 3813 0 0 25 0 1 0 1853080739 5038080 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1230 928 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 963.14
Current children cumulated vsize (Kb) 7048

[startup+1090.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 960 0 0 0 59515 3861 0 0 25 0 1 0 1853080739 5038080 930 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1230 930 413 48 0 1182 0
[pid=13048] vsize: 4920
Current children cumulated CPU time (s) 972.18
Current children cumulated vsize (Kb) 7048

[startup+1100.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 962 0 0 0 60376 3910 0 0 25 0 1 0 1853080739 5152768 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 932 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 981.28
Current children cumulated vsize (Kb) 7160

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 963 0 0 0 61246 3950 0 0 25 0 1 0 1853080739 5152768 933 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 933 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 990.38
Current children cumulated vsize (Kb) 7160

[startup+1120.11 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 966 0 0 0 62062 4016 0 0 23 0 1 0 1853080739 5152768 936 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 936 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 999.2
Current children cumulated vsize (Kb) 7160

[startup+1130.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 966 0 0 0 62874 4080 0 0 20 0 1 0 1853080739 5152768 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 936 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1007.96
Current children cumulated vsize (Kb) 7160

[startup+1140.12 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 967 0 0 0 63739 4124 0 0 25 0 1 0 1853080739 5152768 937 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 937 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1017.05
Current children cumulated vsize (Kb) 7160

[startup+1150.12 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 969 0 0 0 64609 4166 0 0 22 0 1 0 1853080739 5152768 939 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 939 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1026.17
Current children cumulated vsize (Kb) 7160

[startup+1160.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 972 0 0 0 65472 4215 0 0 25 0 1 0 1853080739 5152768 942 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 942 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1035.29
Current children cumulated vsize (Kb) 7160

[startup+1170.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 974 0 0 0 66331 4264 0 0 25 0 1 0 1853080739 5152768 944 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 944 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (Kb) 7160

[startup+1180.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 975 0 0 0 67187 4311 0 0 25 0 1 0 1853080739 5152768 945 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 945 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1053.4
Current children cumulated vsize (Kb) 7160

[startup+1190.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 976 0 0 0 68024 4365 0 0 18 0 1 0 1853080739 5152768 946 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 946 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (Kb) 7160

[startup+1200.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 976 0 0 0 68833 4431 0 0 23 0 1 0 1853080739 5152768 946 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 946 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1071.06
Current children cumulated vsize (Kb) 7160

[startup+1210.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 978 0 0 0 69682 4480 0 0 24 0 1 0 1853080739 5152768 948 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 948 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1080.04
Current children cumulated vsize (Kb) 7160

[startup+1220.12 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 981 0 0 0 70541 4527 0 0 24 0 1 0 1853080739 5152768 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 951 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1089.1
Current children cumulated vsize (Kb) 7160

[startup+1230.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 983 0 0 0 71403 4574 0 0 22 0 1 0 1853080739 5152768 953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1258 953 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1098.19
Current children cumulated vsize (Kb) 7160

[startup+1240.12 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 985 0 0 0 72271 4621 0 0 25 0 1 0 1853080739 5152768 955 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1258 955 413 48 0 1210 0
[pid=13048] vsize: 5032
Current children cumulated CPU time (s) 1107.34
Current children cumulated vsize (Kb) 7160

[startup+1250.13 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 992 0 0 0 73153 4658 0 0 23 0 1 0 1853080739 5287936 962 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 962 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1116.53
Current children cumulated vsize (Kb) 7292

[startup+1260.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 995 0 0 0 74017 4705 0 0 24 0 1 0 1853080739 5287936 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1291 965 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1125.64
Current children cumulated vsize (Kb) 7292

[startup+1270.13 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 995 0 0 0 74828 4772 0 0 23 0 1 0 1853080739 5287936 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 965 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1134.42
Current children cumulated vsize (Kb) 7292

[startup+1280.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 996 0 0 0 75656 4831 0 0 25 0 1 0 1853080739 5287936 966 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 966 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1143.29
Current children cumulated vsize (Kb) 7292

[startup+1290.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 999 0 0 0 76515 4876 0 0 25 0 1 0 1853080739 5287936 969 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 969 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1152.33
Current children cumulated vsize (Kb) 7292

[startup+1300.13 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 1000 0 0 0 77376 4923 0 0 25 0 1 0 1853080739 5287936 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13048/statm): 1291 970 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1161.41
Current children cumulated vsize (Kb) 7292

[startup+1310.13 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1003 0 0 0 78234 4969 0 0 24 0 1 0 1853080739 5287936 973 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 973 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1170.45
Current children cumulated vsize (Kb) 7292

[startup+1320.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 1005 0 0 0 79095 5012 0 0 25 0 1 0 1853080739 5287936 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 975 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (Kb) 7292

[startup+1330.13 s]
Raw data (loadavg): 1.04 1.03 1.00 3/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1006 0 0 0 79967 5054 0 0 25 0 1 0 1853080739 5287936 976 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 976 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1188.63
Current children cumulated vsize (Kb) 7292

[startup+1340.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) T 13043 13043 20115 0 -1 0 1009 0 0 0 80810 5106 0 0 22 0 1 0 1853080739 5287936 979 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 979 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1197.58
Current children cumulated vsize (Kb) 7292

[startup+1350.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1009 0 0 0 81619 5169 0 0 19 0 1 0 1853080739 5287936 979 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 979 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 7292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.14 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13048
Raw data (/proc/13043/stat): 13043 (vallstSAT2005PB) S 13042 13043 20115 0 -1 0 378 1237 0 0 1 2 31549 2290 16 0 1 0 1853042452 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/13043/statm): 532 248 485 147 0 385 0
[pid=13043] vsize: 2128
Raw data (/proc/13048/stat): 13048 (vallst) R 13043 13043 20115 0 -1 0 1009 0 0 0 81619 5169 0 0 19 0 1 0 1853080739 5287936 979 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13048/statm): 1291 979 413 48 0 1243 0
[pid=13048] vsize: 5164
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 7292

Sending SIGTERM to -13043
Sleeping 2 seconds
New process pid=13050
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=13051
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
One traced child (pid=13048) exited with status: 3
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/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/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/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/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/13006/stat
open syscall for file /proc/13006/status
open syscall for file /proc/13006/cmdline
open syscall for file /proc/13006/environ
open syscall for file /proc/13042/stat
open syscall for file /proc/13042/status
open syscall for file /proc/13042/cmdline
open syscall for file /proc/13042/environ
open syscall for file /proc/13043/stat
open syscall for file /proc/13043/status
open syscall for file /proc/13043/cmdline
open syscall for file /proc/13043/environ
open syscall for file /proc/13050/stat
open syscall for file /proc/13050/status
open syscall for file /proc/13050/cmdline
open syscall for file /proc/13050/environ
open syscall for file /proc/13051/stat
open syscall for file /proc/13051/status
open syscall for file /proc/13051/cmdline
open syscall for file /proc/13051/environ
One traced child (pid=13050) exited with status: 0
One traced child (pid=13051) exited with status: 0
New process pid=13052
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=13052) exited with status: 0
New process pid=13053
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=13053) exited with status: 0
One traced child (pid=13043) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1350.63
CPU time (s): 1206.48
CPU user time (s): 1131.78
CPU system time (s): 74.6986
CPU usage (%): 89.327
Max. virtual memory (cumulated for all children) (Kb): 7292

Verifier Data

ERROR: no interpretation found !