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-10teams.opb
MD5SUM130bea0863cb3f92addf09aabe15daa3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 956
Optimality of the best value was proved NO
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables1800
Total number of constraints2015
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2015
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72

Trace number 4942

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        884460 kB
Buffers:         34488 kB
Cached:          87856 kB
SwapCached:        736 kB
Active:          70196 kB
Inactive:        54772 kB
HighTotal:      131008 kB
HighFree:        39424 kB
LowTotal:       903652 kB
LowFree:        845036 kB
SwapTotal:     2097892 kB
SwapFree:      2096652 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            19564 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:38:09 (client local time) WITH STATUS 0 IN 1203.93 SECONDS
stats: 7703 7 1203.93 0

Solver Data

1:
seed: 0
Nr of vars set: 200  (#equs: 0)
Nr of vars set: 200  (#equs: 0)
#decisions: 28716;  #end-nodes: 10273;
#proof improvement attempts: 0;  #restarts: 109
Current batch, end-nodes: 96 / 107 (107)
#axs: 331, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  40745 (954:>=*);
#decisions: 34;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 331, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  40769 (930:>=*);
#decisions: 293196;  #end-nodes: 134984;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 331, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 40769 (930:>=*)

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

2:
seed: 0
Nr of vars set: 200  (#equs: 0)
Nr of vars set: 200  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 200  (#equs: 0)
Time taken: 14 min, 57 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/3416/stat): 3416 (vallstSAT2005PB) R 3415 3416 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853057479 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3416/statm): 174 3 169 147 0 27 0
[pid=3416] 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=3417
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=3417) exited with status: 0
New process pid=3418
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=3418) exited with status: 0
New process pid=3419
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/wulflinc24/normalized-mps-v2-20-10-10teams.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 0.93 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 345 0 0 0 693 100 0 0 19 0 1 0 1853057486 2772992 315 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 677 315 413 48 0 629 0
[pid=3419] vsize: 2708
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (Kb) 4836

[startup+20.0051 s]
Raw data (loadavg): 0.94 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 345 0 0 0 1382 203 0 0 19 0 1 0 1853057486 2772992 315 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 677 315 413 48 0 629 0
[pid=3419] vsize: 2708
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (Kb) 4836

[startup+30.0058 s]
Raw data (loadavg): 0.95 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 419 0 0 0 2080 307 0 0 18 0 1 0 1853057486 3878912 389 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 947 389 413 48 0 899 0
[pid=3419] vsize: 3788
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (Kb) 5916

[startup+40.0065 s]
Raw data (loadavg): 0.96 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 421 0 0 0 2772 418 0 0 19 0 1 0 1853057486 3878912 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 947 391 413 48 0 899 0
[pid=3419] vsize: 3788
Current children cumulated CPU time (s) 31.92
Current children cumulated vsize (Kb) 5916

[startup+50.0072 s]
Raw data (loadavg): 0.96 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 421 0 0 0 3456 523 0 0 19 0 1 0 1853057486 3878912 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 947 391 413 48 0 899 0
[pid=3419] vsize: 3788
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 5916

[startup+60.0079 s]
Raw data (loadavg): 0.97 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 427 0 0 0 4188 611 0 0 18 0 1 0 1853057486 3883008 397 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 397 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 48.01
Current children cumulated vsize (Kb) 5920

[startup+70.0087 s]
Raw data (loadavg): 1.05 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 431 0 0 0 4969 685 0 0 19 0 1 0 1853057486 3883008 401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 401 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 56.56
Current children cumulated vsize (Kb) 5920

[startup+80.0094 s]
Raw data (loadavg): 1.04 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 436 0 0 0 5755 763 0 0 22 0 1 0 1853057486 3883008 406 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 406 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 65.2
Current children cumulated vsize (Kb) 5920

[startup+90.0101 s]
Raw data (loadavg): 1.03 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 436 0 0 0 6534 840 0 0 21 0 1 0 1853057486 3883008 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 406 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 73.76
Current children cumulated vsize (Kb) 5920

[startup+100.011 s]
Raw data (loadavg): 1.03 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 453 0 0 0 7322 916 0 0 23 0 1 0 1853057486 3883008 423 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 423 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 82.4
Current children cumulated vsize (Kb) 5920

[startup+110.012 s]
Raw data (loadavg): 1.02 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 455 0 0 0 8105 992 0 0 22 0 1 0 1853057486 3883008 425 4294967295 134512640 134702520 3221223952 3221222848 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 425 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 90.99
Current children cumulated vsize (Kb) 5920

[startup+120.012 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 455 0 0 0 8880 1068 0 0 17 0 1 0 1853057486 3883008 425 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 425 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 99.5
Current children cumulated vsize (Kb) 5920

[startup+130.013 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 461 0 0 0 9676 1137 0 0 22 0 1 0 1853057486 3883008 431 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 431 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 108.15
Current children cumulated vsize (Kb) 5920

[startup+140.015 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 473 0 0 0 10471 1203 0 0 22 0 1 0 1853057486 3883008 443 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 443 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 116.76
Current children cumulated vsize (Kb) 5920

[startup+150.015 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 488 0 0 0 11264 1273 0 0 18 0 1 0 1853057486 3883008 458 4294967295 134512640 134702520 3221223952 3221222848 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 458 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 125.39
Current children cumulated vsize (Kb) 5920

[startup+160.015 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 488 0 0 0 12043 1350 0 0 22 0 1 0 1853057486 3883008 458 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 458 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 133.95
Current children cumulated vsize (Kb) 5920

[startup+170.017 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 490 0 0 0 12832 1423 0 0 22 0 1 0 1853057486 3883008 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 460 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 142.57
Current children cumulated vsize (Kb) 5920

[startup+180.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 492 0 0 0 13625 1491 0 0 19 0 1 0 1853057486 3883008 462 4294967295 134512640 134702520 3221223952 3221222976 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 462 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 151.18
Current children cumulated vsize (Kb) 5920

[startup+190.018 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 492 0 0 0 14408 1567 0 0 19 0 1 0 1853057486 3883008 462 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 462 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 159.77
Current children cumulated vsize (Kb) 5920

[startup+200.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 492 0 0 0 15206 1637 0 0 23 0 1 0 1853057486 3883008 462 4294967295 134512640 134702520 3221223952 3221175708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 462 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 168.45
Current children cumulated vsize (Kb) 5920

[startup+210.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 500 0 0 0 16001 1706 0 0 22 0 1 0 1853057486 3883008 470 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 470 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 177.09
Current children cumulated vsize (Kb) 5920

[startup+220.02 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 521 0 0 0 16806 1770 0 0 22 0 1 0 1853057486 3883008 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 491 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 185.78
Current children cumulated vsize (Kb) 5920

[startup+230.021 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 521 0 0 0 17585 1844 0 0 19 0 1 0 1853057486 3883008 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 491 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 194.31
Current children cumulated vsize (Kb) 5920

[startup+240.023 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 522 0 0 0 18374 1916 0 0 21 0 1 0 1853057486 3883008 492 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 492 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 202.92
Current children cumulated vsize (Kb) 5920

[startup+250.023 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 523 0 0 0 19177 1981 0 0 23 0 1 0 1853057486 4005888 493 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 493 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 211.6
Current children cumulated vsize (Kb) 6040

[startup+260.024 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 531 0 0 0 19973 2052 0 0 22 0 1 0 1853057486 4005888 501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 501 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 220.27
Current children cumulated vsize (Kb) 6040

[startup+270.025 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 531 0 0 0 20758 2124 0 0 21 0 1 0 1853057486 4005888 501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 501 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 228.84
Current children cumulated vsize (Kb) 6040

[startup+280.025 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 532 0 0 0 21554 2191 0 0 22 0 1 0 1853057486 4005888 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 502 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 237.47
Current children cumulated vsize (Kb) 6040

[startup+290.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 668 0 0 0 22359 2255 0 0 23 0 1 0 1853057486 4005888 638 4294967295 134512640 134702520 3221223952 3221223072 134591562 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 638 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 246.16
Current children cumulated vsize (Kb) 6040

[startup+300.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 672 0 0 0 23174 2317 0 0 18 0 1 0 1853057486 4005888 642 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 642 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 254.93
Current children cumulated vsize (Kb) 6040

[startup+310.029 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 672 0 0 0 23950 2392 0 0 21 0 1 0 1853057486 4005888 642 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 642 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 263.44
Current children cumulated vsize (Kb) 6040

[startup+320.03 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 672 0 0 0 24739 2468 0 0 24 0 1 0 1853057486 4005888 642 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 642 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 272.09
Current children cumulated vsize (Kb) 6040

[startup+330.031 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 675 0 0 0 25535 2538 0 0 21 0 1 0 1853057486 4005888 645 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 645 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 280.75
Current children cumulated vsize (Kb) 6040

[startup+340.032 s]
Raw data (loadavg): 1.07 1.00 0.99 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 677 0 0 0 26342 2607 0 0 23 0 1 0 1853057486 4005888 647 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 647 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 289.51
Current children cumulated vsize (Kb) 6040

[startup+350.033 s]
Raw data (loadavg): 1.06 1.00 0.99 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 678 0 0 0 27140 2677 0 0 22 0 1 0 1853057486 4005888 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 648 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 298.19
Current children cumulated vsize (Kb) 6040
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=3419) exited with status: 2
New process pid=3420
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=3420) exited with status: 0
New process pid=3421
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+360.034 s]
Raw data (loadavg): 1.05 1.00 0.99 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 307 0 0 0 26 2 0 0 20 0 1 0 1853093455 2494464 278 4294967295 134512640 134702520 3221223712 3221222976 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 609 278 413 48 0 561 0
[pid=3421] vsize: 2436
Current children cumulated CPU time (s) 306.79
Current children cumulated vsize (Kb) 4564

[startup+370.035 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 308 0 0 0 785 86 0 0 21 0 1 0 1853093455 2494464 279 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 609 279 413 48 0 561 0
[pid=3421] vsize: 2436
Current children cumulated CPU time (s) 315.22
Current children cumulated vsize (Kb) 4564

[startup+380.035 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 397 0 0 0 1548 170 0 0 21 0 1 0 1853093455 3338240 368 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 815 368 413 48 0 767 0
[pid=3421] vsize: 3260
Current children cumulated CPU time (s) 323.69
Current children cumulated vsize (Kb) 5388

[startup+390.037 s]
Raw data (loadavg): 1.03 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 415 0 0 0 2332 243 0 0 22 0 1 0 1853093455 3469312 386 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 386 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 332.26
Current children cumulated vsize (Kb) 5516

[startup+400.038 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 420 0 0 0 3120 315 0 0 21 0 1 0 1853093455 3469312 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 391 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (Kb) 5516

[startup+410.038 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 420 0 0 0 3905 386 0 0 21 0 1 0 1853093455 3469312 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 391 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 349.42
Current children cumulated vsize (Kb) 5516

[startup+420.04 s]
Raw data (loadavg): 1.09 1.02 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 430 0 0 0 4690 457 0 0 22 0 1 0 1853093455 3469312 401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 401 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 357.98
Current children cumulated vsize (Kb) 5516

[startup+430.041 s]
Raw data (loadavg): 1.08 1.02 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 442 0 0 0 5474 527 0 0 22 0 1 0 1853093455 3469312 413 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 413 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 366.52
Current children cumulated vsize (Kb) 5516

[startup+440.043 s]
Raw data (loadavg): 1.06 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 443 0 0 0 6252 603 0 0 21 0 1 0 1853093455 3469312 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 414 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 375.06
Current children cumulated vsize (Kb) 5516

[startup+450.043 s]
Raw data (loadavg): 1.05 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 443 0 0 0 7026 677 0 0 21 0 1 0 1853093455 3469312 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 414 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 383.54
Current children cumulated vsize (Kb) 5516

[startup+460.044 s]
Raw data (loadavg): 1.04 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 457 0 0 0 7820 746 0 0 22 0 1 0 1853093455 3469312 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 428 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 392.17
Current children cumulated vsize (Kb) 5516

[startup+470.046 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 564 0 0 0 8611 817 0 0 22 0 1 0 1853093455 3469312 535 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 535 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 400.79
Current children cumulated vsize (Kb) 5516

[startup+480.046 s]
Raw data (loadavg): 1.03 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 565 0 0 0 9384 891 0 0 21 0 1 0 1853093455 3469312 536 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 536 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 409.26
Current children cumulated vsize (Kb) 5516

[startup+490.048 s]
Raw data (loadavg): 1.10 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 565 0 0 0 10157 967 0 0 23 0 1 0 1853093455 3469312 536 4294967295 134512640 134702520 3221223712 3221222992 134552186 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 536 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 417.75
Current children cumulated vsize (Kb) 5516

[startup+500.049 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 568 0 0 0 10944 1043 0 0 22 0 1 0 1853093455 3469312 539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 539 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 426.38
Current children cumulated vsize (Kb) 5516

[startup+510.05 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 571 0 0 0 11745 1112 0 0 21 0 1 0 1853093455 3469312 542 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 542 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 435.08
Current children cumulated vsize (Kb) 5516

[startup+520.05 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 571 0 0 0 12520 1194 0 0 21 0 1 0 1853093455 3469312 542 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 542 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 443.65
Current children cumulated vsize (Kb) 5516

[startup+530.051 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 573 0 0 0 13308 1265 0 0 22 0 1 0 1853093455 3469312 544 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 544 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 452.24
Current children cumulated vsize (Kb) 5516

[startup+540.053 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 575 0 0 0 14107 1332 0 0 22 0 1 0 1853093455 3469312 546 4294967295 134512640 134702520 3221223712 3221223260 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 546 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 460.9
Current children cumulated vsize (Kb) 5516

[startup+550.053 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 580 0 0 0 14910 1400 0 0 22 0 1 0 1853093455 3592192 551 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 551 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 469.61
Current children cumulated vsize (Kb) 5636

[startup+560.054 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 580 0 0 0 15697 1474 0 0 22 0 1 0 1853093455 3592192 551 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 551 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 478.22
Current children cumulated vsize (Kb) 5636

[startup+570.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 581 0 0 0 16481 1550 0 0 18 0 1 0 1853093455 3592192 552 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 552 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 486.82
Current children cumulated vsize (Kb) 5636

[startup+580.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 584 0 0 0 17285 1617 0 0 23 0 1 0 1853093455 3592192 555 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 555 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 495.53
Current children cumulated vsize (Kb) 5636

[startup+590.057 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 586 0 0 0 18088 1686 0 0 22 0 1 0 1853093455 3592192 557 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 557 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 504.25
Current children cumulated vsize (Kb) 5636

[startup+600.059 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 587 0 0 0 18862 1767 0 0 21 0 1 0 1853093455 3592192 558 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 558 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 512.8
Current children cumulated vsize (Kb) 5636

[startup+610.059 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 587 0 0 0 19652 1834 0 0 23 0 1 0 1853093455 3592192 558 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 558 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 521.37
Current children cumulated vsize (Kb) 5636

[startup+620.061 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 589 0 0 0 20454 1901 0 0 22 0 1 0 1853093455 3592192 560 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 560 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 5636

[startup+630.062 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 591 0 0 0 21259 1971 0 0 22 0 1 0 1853093455 3592192 562 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 562 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 538.81
Current children cumulated vsize (Kb) 5636

[startup+640.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 592 0 0 0 22041 2043 0 0 21 0 1 0 1853093455 3592192 563 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 563 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 547.35
Current children cumulated vsize (Kb) 5636

[startup+650.063 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 592 0 0 0 22824 2113 0 0 21 0 1 0 1853093455 3592192 563 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 563 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 555.88
Current children cumulated vsize (Kb) 5636

[startup+660.064 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 594 0 0 0 23634 2176 0 0 23 0 1 0 1853093455 3592192 565 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 565 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (Kb) 5636

[startup+670.066 s]
Raw data (loadavg): 1.17 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 596 0 0 0 24437 2242 0 0 23 0 1 0 1853093455 3592192 567 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 567 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 573.3
Current children cumulated vsize (Kb) 5636

[startup+680.066 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 597 0 0 0 25237 2310 0 0 21 0 1 0 1853093455 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 568 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (Kb) 5636

[startup+690.068 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 597 0 0 0 26015 2386 0 0 21 0 1 0 1853093455 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 568 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 590.52
Current children cumulated vsize (Kb) 5636

[startup+700.069 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 598 0 0 0 26820 2453 0 0 19 0 1 0 1853093455 3592192 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 569 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 599.24
Current children cumulated vsize (Kb) 5636

[startup+710.069 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 601 0 0 0 27634 2520 0 0 24 0 1 0 1853093455 3592192 572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 572 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 608.05
Current children cumulated vsize (Kb) 5636

[startup+720.07 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 603 0 0 0 28444 2586 0 0 23 0 1 0 1853093455 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 574 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 616.81
Current children cumulated vsize (Kb) 5636

[startup+730.071 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 603 0 0 0 29228 2664 0 0 21 0 1 0 1853093455 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 574 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 625.43
Current children cumulated vsize (Kb) 5636

[startup+740.072 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 603 0 0 0 30019 2737 0 0 23 0 1 0 1853093455 3592192 574 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 574 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 634.07
Current children cumulated vsize (Kb) 5636

[startup+750.072 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 604 0 0 0 30832 2799 0 0 24 0 1 0 1853093455 3592192 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 575 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 642.82
Current children cumulated vsize (Kb) 5636

[startup+760.073 s]
Raw data (loadavg): 1.08 1.05 1.01 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 606 0 0 0 31647 2862 0 0 25 0 1 0 1853093455 3592192 577 4294967295 134512640 134702520 3221223712 3221223272 134564449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 577 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 651.6
Current children cumulated vsize (Kb) 5636

[startup+770.075 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 607 0 0 0 32443 2931 0 0 21 0 1 0 1853093455 3727360 578 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 910 578 413 48 0 862 0
[pid=3421] vsize: 3640
Current children cumulated CPU time (s) 660.25
Current children cumulated vsize (Kb) 5768

[startup+780.075 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 607 0 0 0 33228 3006 0 0 21 0 1 0 1853093455 3727360 578 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 910 578 413 48 0 862 0
[pid=3421] vsize: 3640
Current children cumulated CPU time (s) 668.85
Current children cumulated vsize (Kb) 5768

[startup+790.076 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 657 0 0 0 34032 3076 0 0 25 0 1 0 1853093455 3895296 628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 951 628 413 48 0 903 0
[pid=3421] vsize: 3804
Current children cumulated CPU time (s) 677.59
Current children cumulated vsize (Kb) 5932

[startup+800.078 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 782 0 0 0 34869 3132 0 0 22 0 1 0 1853093455 4284416 753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1046 753 413 48 0 998 0
[pid=3421] vsize: 4184
Current children cumulated CPU time (s) 686.52
Current children cumulated vsize (Kb) 6312

[startup+810.078 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 821 0 0 0 35711 3187 0 0 25 0 1 0 1853093455 4509696 791 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 791 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 695.49
Current children cumulated vsize (Kb) 6532

[startup+820.079 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 36512 3251 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 704.14
Current children cumulated vsize (Kb) 6532

[startup+830.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 37293 3327 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 712.71
Current children cumulated vsize (Kb) 6532

[startup+840.081 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 38121 3382 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 721.54
Current children cumulated vsize (Kb) 6532

[startup+850.081 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 38958 3441 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 730.5
Current children cumulated vsize (Kb) 6532

[startup+860.082 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 39782 3503 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 739.36
Current children cumulated vsize (Kb) 6532

[startup+870.084 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 40564 3577 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 747.92
Current children cumulated vsize (Kb) 6532

[startup+880.084 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 41349 3653 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 756.53
Current children cumulated vsize (Kb) 6532

[startup+890.086 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 42175 3711 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 765.37
Current children cumulated vsize (Kb) 6532

[startup+900.088 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 43002 3770 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 774.23
Current children cumulated vsize (Kb) 6532

[startup+910.088 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 43843 3821 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 783.15
Current children cumulated vsize (Kb) 6532

[startup+920.089 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 44611 3899 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 791.61
Current children cumulated vsize (Kb) 6532

[startup+930.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 45400 3971 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 800.22
Current children cumulated vsize (Kb) 6532

[startup+940.091 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 46236 4029 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 809.16
Current children cumulated vsize (Kb) 6532

[startup+950.092 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 47078 4081 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 818.1
Current children cumulated vsize (Kb) 6532

[startup+960.093 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 47907 4137 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 826.95
Current children cumulated vsize (Kb) 6532

[startup+970.095 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 48698 4208 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 835.57
Current children cumulated vsize (Kb) 6532

[startup+980.095 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 49480 4284 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 844.15
Current children cumulated vsize (Kb) 6532

[startup+990.096 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 50316 4341 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 853.08
Current children cumulated vsize (Kb) 6532

[startup+1000.1 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 51145 4399 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 861.95
Current children cumulated vsize (Kb) 6532

[startup+1010.1 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 51976 4459 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 870.86
Current children cumulated vsize (Kb) 6532

[startup+1020.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 52781 4524 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 879.56
Current children cumulated vsize (Kb) 6532

[startup+1030.1 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 53568 4596 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 888.15
Current children cumulated vsize (Kb) 6532

[startup+1040.1 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 54392 4658 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 897.01
Current children cumulated vsize (Kb) 6532

[startup+1050.1 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 55203 4721 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222932 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 905.75
Current children cumulated vsize (Kb) 6532

[startup+1060.1 s]
Raw data (loadavg): 1.09 1.05 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 56024 4778 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 914.53
Current children cumulated vsize (Kb) 6532

[startup+1070.1 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 56829 4845 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 923.25
Current children cumulated vsize (Kb) 6532

[startup+1080.1 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 57608 4917 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 931.76
Current children cumulated vsize (Kb) 6532

[startup+1090.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 58419 4980 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134557264 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 940.5
Current children cumulated vsize (Kb) 6532

[startup+1100.11 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 59251 5037 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 949.39
Current children cumulated vsize (Kb) 6532

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 60073 5094 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 958.18
Current children cumulated vsize (Kb) 6532

[startup+1120.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 60894 5152 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 966.97
Current children cumulated vsize (Kb) 6532

[startup+1130.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 61675 5226 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 975.52
Current children cumulated vsize (Kb) 6532

[startup+1140.11 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 62469 5295 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 984.15
Current children cumulated vsize (Kb) 6532

[startup+1150.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 63283 5359 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 992.93
Current children cumulated vsize (Kb) 6532

[startup+1160.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 64115 5418 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (Kb) 6532

[startup+1170.11 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 64929 5485 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1010.65
Current children cumulated vsize (Kb) 6532

[startup+1180.11 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 65734 5553 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1019.38
Current children cumulated vsize (Kb) 6532

[startup+1190.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 66512 5630 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1027.93
Current children cumulated vsize (Kb) 6532

[startup+1200.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 67329 5695 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1036.75
Current children cumulated vsize (Kb) 6532

[startup+1210.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 68164 5751 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1045.66
Current children cumulated vsize (Kb) 6532

[startup+1220.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 68988 5810 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222832 134588546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1054.49
Current children cumulated vsize (Kb) 6532

[startup+1230.12 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 69821 5864 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1063.36
Current children cumulated vsize (Kb) 6532

[startup+1240.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 70594 5942 0 0 20 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1071.87
Current children cumulated vsize (Kb) 6532

[startup+1250.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 71391 6014 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1080.56
Current children cumulated vsize (Kb) 6532

[startup+1260.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 72218 6071 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1089.4
Current children cumulated vsize (Kb) 6532

[startup+1270.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 73040 6135 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1098.26
Current children cumulated vsize (Kb) 6532

[startup+1280.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 73869 6193 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1107.13
Current children cumulated vsize (Kb) 6532

[startup+1290.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 74687 6253 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1115.91
Current children cumulated vsize (Kb) 6532

[startup+1300.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 75474 6325 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1124.5
Current children cumulated vsize (Kb) 6532

[startup+1310.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 76289 6385 0 0 18 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1133.25
Current children cumulated vsize (Kb) 6532

[startup+1320.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 77110 6446 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1142.07
Current children cumulated vsize (Kb) 6532

[startup+1330.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 77947 6505 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1151.03
Current children cumulated vsize (Kb) 6532

[startup+1340.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 78760 6569 0 0 20 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1159.8
Current children cumulated vsize (Kb) 6532

[startup+1350.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 79572 6634 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1168.57
Current children cumulated vsize (Kb) 6532

[startup+1360.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 80352 6712 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1177.15
Current children cumulated vsize (Kb) 6532

[startup+1370.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 81167 6777 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1185.95
Current children cumulated vsize (Kb) 6532

[startup+1380.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 81999 6836 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1194.86
Current children cumulated vsize (Kb) 6532

[startup+1390.14 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 82829 6897 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1203.77
Current children cumulated vsize (Kb) 6532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.14 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 82829 6897 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1203.77
Current children cumulated vsize (Kb) 6532

Sending SIGTERM to -3416
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=3423
New process pid=3424
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /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
One traced child (pid=3421) exited with status: 3
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21148/stat
open syscall for file /proc/21148/status
open syscall for file /proc/21148/cmdline
open syscall for file /proc/21148/environ
open syscall for file /proc/557/stat
open syscall for file /proc/557/status
open syscall for file /proc/557/cmdline
open syscall for file /proc/557/environ
open syscall for file /proc/584/stat
open syscall for file /proc/584/status
open syscall for file /proc/584/cmdline
open syscall for file /proc/584/environ
open syscall for file /proc/608/stat
open syscall for file /proc/608/status
open syscall for file /proc/608/cmdline
open syscall for file /proc/608/environ
open syscall for file /proc/3751/stat
open syscall for file /proc/3751/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/3751/cmdline
open syscall for file /proc/3751/environ
open syscall for file /proc/3786/stat
open syscall for file /proc/3786/status
open syscall for file /proc/3786/cmdline
open syscall for file /proc/3786/environ
open syscall for file /proc/20728/stat
open syscall for file /proc/20728/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/20728/cmdline
open syscall for file /proc/20728/environ
open syscall for file /proc/20729/stat
open syscall for file /proc/20729/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/20729/cmdline
open syscall for file /proc/20729/environ
open syscall for file /proc/20738/stat
open syscall for file /proc/20738/status
open syscall for file /proc/20738/cmdline
open syscall for file /proc/20738/environ
open syscall for file /proc/3379/stat
open syscall for file /proc/3379/status
open syscall for file /proc/3379/cmdline
open syscall for file /proc/3379/environ
open syscall for file /proc/3415/stat
open syscall for file /proc/3415/status
open syscall for file /proc/3415/cmdline
open syscall for file /proc/3415/environ
open syscall for file /proc/3416/stat
open syscall for file /proc/3416/status
open syscall for file /proc/3416/cmdline
open syscall for file /proc/3416/environ
open syscall for file /proc/3423/stat
open syscall for file /proc/3423/status
open syscall for file /proc/3423/cmdline
open syscall for file /proc/3423/environ
open syscall for file /proc/3424/stat
open syscall for file /proc/3424/status
open syscall for file /proc/3424/cmdline
open syscall for file /proc/3424/environ
One traced child (pid=3423) exited with status: 0
One traced child (pid=3424) exited with status: 0
New process pid=3425
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=3425) exited with status: 0
New process pid=3426
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=3426) exited with status: 0
One traced child (pid=3416) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1390.64
CPU time (s): 1203.93
CPU user time (s): 1107.35
CPU system time (s): 96.5793
CPU usage (%): 86.5736
Max. virtual memory (cumulated for all children) (Kb): 6532

Verifier Data

ERROR: no interpretation found !