Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMb552ff39062b6c42ea64365c815cbd78
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 1996

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        903092 kB
Buffers:         38324 kB
Cached:          53340 kB
SwapCached:        544 kB
Active:          66400 kB
Inactive:        37468 kB
HighTotal:      131008 kB
HighFree:        77672 kB
LowTotal:       903652 kB
LowFree:        825420 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            22320 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 18:00:48 (client local time) WITH STATUS 0 IN 1204.76 SECONDS
stats: 7225 7 1204.76 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 2  (#equs: 1228)
#decisions: 252236;  #end-nodes: 169320;
#proof improvement attempts: 0;  #restarts: 864
Current batch, end-nodes: 0 / 320 (295)
#axs: 7873, #non-axs: 9121
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2  (#equs: 1253)
Time taken: 5 min, 31 sec

2:
seed: 0
Nr of vars set: 2  (#equs: 0)
Nr of vars set: 2  (#equs: 16)
Interupt request received.
#decisions: 833074;  #end-nodes: 631909;
#proof improvement attempts: 0;  #restarts: 1787
Current batch, end-nodes: 36 / 566 (566)
#axs: 5474, #non-axs: 8631
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 7, end: 10;  meta: start: 23, end (keep): 36
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 686  (#equs: 20)
Time taken: 14 min, 32 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/22446/stat): 22446 (vallstSAT2005PB) R 22445 22446 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784864942 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22446/statm): 174 3 169 147 0 27 0
[pid=22446] 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=22447
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=22447) exited with status: 0
New process pid=22448
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=22448) exited with status: 0
New process pid=22449
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/wulflinc12/normalized-par32-3-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 441 0 0 0 328 213 0 0 17 0 1 0 1784864950 3096576 411 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 756 411 413 48 0 708 0
[pid=22449] vsize: 3024
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (Kb) 5152

[startup+20.0049 s]
Raw data (loadavg): 1.07 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 502 0 0 0 976 331 0 0 21 0 1 0 1784864950 4689920 472 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1145 472 413 48 0 1097 0
[pid=22449] vsize: 4580
Current children cumulated CPU time (s) 13.09
Current children cumulated vsize (Kb) 6708

[startup+30.0057 s]
Raw data (loadavg): 1.06 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 555 0 0 0 1651 437 0 0 17 0 1 0 1784864950 4825088 525 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1178 525 413 48 0 1130 0
[pid=22449] vsize: 4712
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (Kb) 6840

[startup+40.0065 s]
Raw data (loadavg): 1.05 1.01 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 556 0 0 0 2132 606 0 0 16 0 1 0 1784864950 4825088 526 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1178 526 413 48 0 1130 0
[pid=22449] vsize: 4712
Current children cumulated CPU time (s) 27.4
Current children cumulated vsize (Kb) 6840

[startup+50.0074 s]
Raw data (loadavg): 1.04 1.01 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 561 0 0 0 2727 744 0 0 20 0 1 0 1784864950 4825088 531 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1178 531 413 48 0 1130 0
[pid=22449] vsize: 4712
Current children cumulated CPU time (s) 34.73
Current children cumulated vsize (Kb) 6840

[startup+60.0082 s]
Raw data (loadavg): 1.03 1.01 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 590 0 0 0 3466 832 0 0 16 0 1 0 1784864950 4927488 560 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 560 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 43
Current children cumulated vsize (Kb) 6940

[startup+70.009 s]
Raw data (loadavg): 1.03 1.01 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 603 0 0 0 4073 964 0 0 17 0 1 0 1784864950 4927488 573 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 573 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (Kb) 6940

[startup+80.0108 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 604 0 0 0 4592 1126 0 0 20 0 1 0 1784864950 4927488 574 4294967295 134512640 134702520 3221223968 3221222864 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 574 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 57.2
Current children cumulated vsize (Kb) 6940

[startup+90.0117 s]
Raw data (loadavg): 1.02 1.01 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 610 0 0 0 5341 1212 0 0 25 0 1 0 1784864950 4927488 580 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1203 580 413 48 0 1155 0
[pid=22449] vsize: 4812
Current children cumulated CPU time (s) 65.55
Current children cumulated vsize (Kb) 6940

[startup+100.012 s]
Raw data (loadavg): 1.09 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 654 0 0 0 6108 1292 0 0 18 0 1 0 1784864950 5218304 624 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 624 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 74.02
Current children cumulated vsize (Kb) 7224

[startup+110.013 s]
Raw data (loadavg): 1.08 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 655 0 0 0 6607 1460 0 0 18 0 1 0 1784864950 5218304 625 4294967295 134512640 134702520 3221223968 3221222704 134564354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 625 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 80.69
Current children cumulated vsize (Kb) 7224

[startup+120.013 s]
Raw data (loadavg): 1.06 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 657 0 0 0 7226 1587 0 0 25 0 1 0 1784864950 5218304 627 4294967295 134512640 134702520 3221223968 3221223248 134557289 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 627 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (Kb) 7224

[startup+130.015 s]
Raw data (loadavg): 1.05 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 662 0 0 0 7984 1671 0 0 18 0 1 0 1784864950 5218304 632 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 632 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 96.57
Current children cumulated vsize (Kb) 7224

[startup+140.016 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 682 0 0 0 8778 1741 0 0 17 0 1 0 1784864950 5218304 652 4294967295 134512640 134702520 3221223968 3221222864 134557457 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 652 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 105.21
Current children cumulated vsize (Kb) 7224

[startup+150.016 s]
Raw data (loadavg): 1.04 1.02 0.98 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 682 0 0 0 9275 1903 0 0 17 0 1 0 1784864950 5218304 652 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1274 652 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 111.8
Current children cumulated vsize (Kb) 7224

[startup+160.017 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 682 0 0 0 9919 2022 0 0 25 0 1 0 1784864950 5218304 652 4294967295 134512640 134702520 3221223968 3221223228 134564336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 652 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 119.43
Current children cumulated vsize (Kb) 7224

[startup+170.018 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 685 0 0 0 10729 2087 0 0 25 0 1 0 1784864950 5218304 655 4294967295 134512640 134702520 3221223968 3221223216 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1274 655 413 48 0 1226 0
[pid=22449] vsize: 5096
Current children cumulated CPU time (s) 128.18
Current children cumulated vsize (Kb) 7224

[startup+180.019 s]
Raw data (loadavg): 1.09 1.03 0.99 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 702 0 0 0 11544 2150 0 0 25 0 1 0 1784864950 5357568 672 4294967295 134512640 134702520 3221223968 3221223248 134557211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1308 672 413 48 0 1260 0
[pid=22449] vsize: 5232
Current children cumulated CPU time (s) 136.96
Current children cumulated vsize (Kb) 7360

[startup+190.02 s]
Raw data (loadavg): 1.08 1.03 0.99 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 711 0 0 0 12141 2281 0 0 17 0 1 0 1784864950 5312512 681 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 681 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 144.24
Current children cumulated vsize (Kb) 7316

[startup+200.021 s]
Raw data (loadavg): 1.07 1.03 0.99 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 711 0 0 0 12693 2424 0 0 25 0 1 0 1784864950 5312512 681 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 681 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 151.19
Current children cumulated vsize (Kb) 7316

[startup+210.022 s]
Raw data (loadavg): 1.06 1.03 0.99 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 711 0 0 0 13506 2485 0 0 25 0 1 0 1784864950 5312512 681 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 681 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 7316

[startup+220.022 s]
Raw data (loadavg): 1.12 1.04 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 712 0 0 0 14327 2544 0 0 25 0 1 0 1784864950 5312512 682 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1297 682 413 48 0 1249 0
[pid=22449] vsize: 5188
Current children cumulated CPU time (s) 168.73
Current children cumulated vsize (Kb) 7316

[startup+230.024 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 748 0 0 0 15195 2588 0 0 20 0 1 0 1784864950 5488640 718 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 718 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 177.85
Current children cumulated vsize (Kb) 7488

[startup+240.025 s]
Raw data (loadavg): 1.16 1.06 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 748 0 0 0 15711 2755 0 0 18 0 1 0 1784864950 5488640 718 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1340 718 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 184.68
Current children cumulated vsize (Kb) 7488

[startup+250.026 s]
Raw data (loadavg): 1.13 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 749 0 0 0 16331 2879 0 0 18 0 1 0 1784864950 5488640 719 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 719 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 192.12
Current children cumulated vsize (Kb) 7488

[startup+260.028 s]
Raw data (loadavg): 1.11 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 752 0 0 0 17180 2931 0 0 25 0 1 0 1784864950 5488640 722 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 722 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 201.13
Current children cumulated vsize (Kb) 7488

[startup+270.029 s]
Raw data (loadavg): 1.10 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 759 0 0 0 18004 2992 0 0 25 0 1 0 1784864950 5488640 729 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1340 729 413 48 0 1292 0
[pid=22449] vsize: 5360
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 7488

[startup+280.029 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 780 0 0 0 18893 3029 0 0 25 0 1 0 1784864950 5623808 750 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 750 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 219.24
Current children cumulated vsize (Kb) 7620

[startup+290.03 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 782 0 0 0 19467 3170 0 0 17 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 226.39
Current children cumulated vsize (Kb) 7620

[startup+300.031 s]
Raw data (loadavg): 1.13 1.06 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 782 0 0 0 20053 3308 0 0 25 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 233.63
Current children cumulated vsize (Kb) 7620

[startup+310.033 s]
Raw data (loadavg): 1.11 1.06 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 782 0 0 0 20871 3374 0 0 19 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 242.47
Current children cumulated vsize (Kb) 7620

[startup+320.034 s]
Raw data (loadavg): 1.09 1.06 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 782 0 0 0 21755 3414 0 0 25 0 1 0 1784864950 5623808 752 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 752 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 251.71
Current children cumulated vsize (Kb) 7620

[startup+330.034 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 797 0 0 0 22640 3453 0 0 25 0 1 0 1784864950 5623808 767 4294967295 134512640 134702520 3221223968 3221223216 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1373 767 413 48 0 1325 0
[pid=22449] vsize: 5492
Current children cumulated CPU time (s) 260.95
Current children cumulated vsize (Kb) 7620

[startup+340.035 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 815 0 0 0 23459 3511 0 0 17 0 1 0 1784864950 5627904 785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 785 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 269.72
Current children cumulated vsize (Kb) 7624

[startup+350.035 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 815 0 0 0 23973 3671 0 0 17 0 1 0 1784864950 5627904 785 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1374 785 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 276.46
Current children cumulated vsize (Kb) 7624

[startup+360.036 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 815 0 0 0 24669 3768 0 0 22 0 1 0 1784864950 5627904 785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 785 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 284.39
Current children cumulated vsize (Kb) 7624

[startup+370.038 s]
Raw data (loadavg): 1.04 1.05 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 816 0 0 0 25503 3825 0 0 25 0 1 0 1784864950 5627904 786 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1374 786 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 293.3
Current children cumulated vsize (Kb) 7624

[startup+380.039 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 816 0 0 0 26385 3864 0 0 25 0 1 0 1784864950 5627904 786 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 786 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 302.51
Current children cumulated vsize (Kb) 7624

[startup+390.039 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) T 22446 22446 8263 0 -1 0 820 0 0 0 27269 3906 0 0 25 0 1 0 1784864950 5627904 790 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1374 790 413 48 0 1326 0
[pid=22449] vsize: 5496
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (Kb) 7624

[startup+400.039 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 847 0 0 0 28159 3944 0 0 25 0 1 0 1784864950 5758976 817 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22449/statm): 1406 817 413 48 0 1358 0
[pid=22449] vsize: 5624
Current children cumulated CPU time (s) 321.05
Current children cumulated vsize (Kb) 7752

[startup+410.041 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 22449
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1784864942 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 242 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22449/stat): 22449 (vallst) R 22446 22446 8263 0 -1 0 848 0 0 0 28687 4107 0 0 18 0 1 0 1784864950 5758976 818 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22449/statm): 1406 818 413 48 0 1358 0
[pid=22449] vsize: 5624
Current children cumulated CPU time (s) 327.96
Current children cumulated vsize (Kb) 7752
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=22449) exited with status: 2
New process pid=22450
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=22450) exited with status: 0
New process pid=22451
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+420.042 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 511 0 0 0 194 52 0 0 17 0 1 0 1784906601 3694592 482 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 902 482 413 48 0 854 0
[pid=22451] vsize: 3608
Current children cumulated CPU time (s) 334.46
Current children cumulated vsize (Kb) 5736

[startup+430.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 514 0 0 0 627 241 0 0 16 0 1 0 1784906601 3694592 485 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 902 485 413 48 0 854 0
[pid=22451] vsize: 3608
Current children cumulated CPU time (s) 340.68
Current children cumulated vsize (Kb) 5736

[startup+440.045 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 621 0 0 0 1311 352 0 0 17 0 1 0 1784906601 6508544 592 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1589 592 413 48 0 1541 0
[pid=22451] vsize: 6356
Current children cumulated CPU time (s) 348.63
Current children cumulated vsize (Kb) 8484

[startup+450.044 s]
Raw data (loadavg): 1.08 1.05 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 668 0 0 0 2101 420 0 0 19 0 1 0 1784906601 6508544 639 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1589 639 413 48 0 1541 0
[pid=22451] vsize: 6356
Current children cumulated CPU time (s) 357.21
Current children cumulated vsize (Kb) 8484

[startup+460.045 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 674 0 0 0 2606 587 0 0 17 0 1 0 1784906601 6508544 645 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1589 645 413 48 0 1541 0
[pid=22451] vsize: 6356
Current children cumulated CPU time (s) 363.93
Current children cumulated vsize (Kb) 8484

[startup+470.046 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 676 0 0 0 3184 719 0 0 25 0 1 0 1784906601 6606848 647 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1613 647 413 48 0 1565 0
[pid=22451] vsize: 6452
Current children cumulated CPU time (s) 371.03
Current children cumulated vsize (Kb) 8580

[startup+480.047 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 684 0 0 0 3941 798 0 0 23 0 1 0 1784906601 6606848 655 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1613 655 413 48 0 1565 0
[pid=22451] vsize: 6452
Current children cumulated CPU time (s) 379.39
Current children cumulated vsize (Kb) 8580

[startup+490.048 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 715 0 0 0 4639 897 0 0 17 0 1 0 1784906601 6918144 686 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 686 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 387.36
Current children cumulated vsize (Kb) 8884

[startup+500.048 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 717 0 0 0 5032 1095 0 0 23 0 1 0 1784906601 6918144 688 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 688 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 393.27
Current children cumulated vsize (Kb) 8884

[startup+510.049 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 718 0 0 0 5773 1180 0 0 22 0 1 0 1784906601 6918144 689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 689 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 401.53
Current children cumulated vsize (Kb) 8884

[startup+520.049 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 726 0 0 0 6582 1245 0 0 25 0 1 0 1784906601 6918144 697 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 697 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 410.27
Current children cumulated vsize (Kb) 8884

[startup+530.05 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 729 0 0 0 7027 1429 0 0 16 0 1 0 1784906601 6918144 700 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 700 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 416.56
Current children cumulated vsize (Kb) 8884

[startup+540.051 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 730 0 0 0 7614 1567 0 0 16 0 1 0 1784906601 6918144 701 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 701 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 423.81
Current children cumulated vsize (Kb) 8884

[startup+550.052 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 736 0 0 0 8396 1642 0 0 25 0 1 0 1784906601 6918144 707 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 707 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 432.38
Current children cumulated vsize (Kb) 8884

[startup+560.052 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 737 0 0 0 9123 1732 0 0 16 0 1 0 1784906601 6918144 708 4294967295 134512640 134702520 3221223712 3221222608 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 708 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 440.55
Current children cumulated vsize (Kb) 8884

[startup+570.053 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 738 0 0 0 9496 1940 0 0 20 0 1 0 1784906601 6918144 709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1689 709 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 446.36
Current children cumulated vsize (Kb) 8884

[startup+580.055 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 744 0 0 0 10295 2010 0 0 25 0 1 0 1784906601 6918144 715 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 715 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 455.05
Current children cumulated vsize (Kb) 8884

[startup+590.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 745 0 0 0 11104 2073 0 0 19 0 1 0 1784906601 6918144 716 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 716 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 463.77
Current children cumulated vsize (Kb) 8884

[startup+600.056 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 746 0 0 0 11812 2165 0 0 16 0 1 0 1784906601 6918144 717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1689 717 413 48 0 1641 0
[pid=22451] vsize: 6756
Current children cumulated CPU time (s) 471.77
Current children cumulated vsize (Kb) 8884

[startup+610.058 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 748 0 0 0 12190 2369 0 0 22 0 1 0 1784906601 7024640 719 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 719 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 477.59
Current children cumulated vsize (Kb) 8988

[startup+620.058 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 748 0 0 0 12993 2436 0 0 25 0 1 0 1784906601 7024640 719 4294967295 134512640 134702520 3221223712 3221222832 134578546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1715 719 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 486.29
Current children cumulated vsize (Kb) 8988

[startup+630.059 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 750 0 0 0 13806 2499 0 0 25 0 1 0 1784906601 7024640 721 4294967295 134512640 134702520 3221223712 3221222992 134557267 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 721 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 495.05
Current children cumulated vsize (Kb) 8988

[startup+640.06 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 754 0 0 0 14649 2553 0 0 18 0 1 0 1784906601 7024640 725 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 725 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 504.02
Current children cumulated vsize (Kb) 8988

[startup+650.061 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 755 0 0 0 15037 2752 0 0 16 0 1 0 1784906601 7024640 726 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1715 726 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 509.89
Current children cumulated vsize (Kb) 8988

[startup+660.062 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 756 0 0 0 15768 2842 0 0 25 0 1 0 1784906601 7024640 727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 727 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 518.1
Current children cumulated vsize (Kb) 8988

[startup+670.063 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 757 0 0 0 16580 2907 0 0 25 0 1 0 1784906601 7024640 728 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 728 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 526.87
Current children cumulated vsize (Kb) 8988

[startup+680.064 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 768 0 0 0 17392 2971 0 0 23 0 1 0 1784906601 7024640 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 739 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 535.63
Current children cumulated vsize (Kb) 8988

[startup+690.065 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 781 0 0 0 18048 3086 0 0 16 0 1 0 1784906601 7024640 752 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 752 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 543.34
Current children cumulated vsize (Kb) 8988

[startup+700.065 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 783 0 0 0 18539 3247 0 0 25 0 1 0 1784906601 7024640 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 754 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 549.86
Current children cumulated vsize (Kb) 8988

[startup+710.066 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 783 0 0 0 19339 3314 0 0 25 0 1 0 1784906601 7024640 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1715 754 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 558.53
Current children cumulated vsize (Kb) 8988

[startup+720.067 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 785 0 0 0 20160 3374 0 0 16 0 1 0 1784906601 7024640 756 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 756 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 567.34
Current children cumulated vsize (Kb) 8988

[startup+730.067 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 794 0 0 0 21035 3413 0 0 25 0 1 0 1784906601 7024640 765 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 765 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 576.48
Current children cumulated vsize (Kb) 8988

[startup+740.068 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 811 0 0 0 21716 3516 0 0 16 0 1 0 1784906601 7024640 782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 782 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 584.32
Current children cumulated vsize (Kb) 8988

[startup+750.069 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 813 0 0 0 22190 3684 0 0 25 0 1 0 1784906601 7024640 784 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 784 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 590.74
Current children cumulated vsize (Kb) 8988

[startup+760.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 813 0 0 0 23005 3749 0 0 21 0 1 0 1784906601 7024640 784 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 784 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 599.54
Current children cumulated vsize (Kb) 8988

[startup+770.071 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 815 0 0 0 23879 3793 0 0 25 0 1 0 1784906601 7024640 786 4294967295 134512640 134702520 3221223712 3221222832 134572664 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 786 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 608.72
Current children cumulated vsize (Kb) 8988

[startup+780.072 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 820 0 0 0 24712 3848 0 0 16 0 1 0 1784906601 7024640 791 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1715 791 413 48 0 1667 0
[pid=22451] vsize: 6860
Current children cumulated CPU time (s) 617.6
Current children cumulated vsize (Kb) 8988

[startup+790.074 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 831 0 0 0 25516 3915 0 0 17 0 1 0 1784906601 7131136 802 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 802 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 626.31
Current children cumulated vsize (Kb) 9092

[startup+800.074 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 833 0 0 0 25870 4127 0 0 16 0 1 0 1784906601 7131136 804 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 804 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 631.97
Current children cumulated vsize (Kb) 9092

[startup+810.075 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 833 0 0 0 26726 4175 0 0 25 0 1 0 1784906601 7131136 804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 804 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 641.01
Current children cumulated vsize (Kb) 9092

[startup+820.076 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 833 0 0 0 27544 4234 0 0 21 0 1 0 1784906601 7131136 804 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 804 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 649.78
Current children cumulated vsize (Kb) 9092

[startup+830.077 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 835 0 0 0 28425 4274 0 0 25 0 1 0 1784906601 7131136 806 4294967295 134512640 134702520 3221223712 3221222992 134551090 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 806 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 658.99
Current children cumulated vsize (Kb) 9092

[startup+840.078 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 845 0 0 0 29318 4308 0 0 19 0 1 0 1784906601 7131136 816 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1741 816 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 668.26
Current children cumulated vsize (Kb) 9092

[startup+850.078 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 863 0 0 0 29919 4441 0 0 17 0 1 0 1784906601 7131136 834 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 834 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 675.6
Current children cumulated vsize (Kb) 9092

[startup+860.079 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 865 0 0 0 30473 4591 0 0 25 0 1 0 1784906601 7131136 836 4294967295 134512640 134702520 3221223712 3221222992 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 836 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (Kb) 9092

[startup+870.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 865 0 0 0 31285 4657 0 0 19 0 1 0 1784906601 7131136 836 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 836 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 691.42
Current children cumulated vsize (Kb) 9092

[startup+880.081 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 865 0 0 0 32160 4700 0 0 25 0 1 0 1784906601 7131136 836 4294967295 134512640 134702520 3221223712 3221222992 134552854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1741 836 413 48 0 1693 0
[pid=22451] vsize: 6964
Current children cumulated CPU time (s) 700.6
Current children cumulated vsize (Kb) 9092

[startup+890.082 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 974 0 0 0 33046 4741 0 0 25 0 1 0 1784906601 7753728 945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1893 945 413 48 0 1845 0
[pid=22451] vsize: 7572
Current children cumulated CPU time (s) 709.87
Current children cumulated vsize (Kb) 9700

[startup+900.082 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1079 0 0 0 33933 4781 0 0 25 0 1 0 1784906601 8183808 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1998 1050 413 48 0 1950 0
[pid=22451] vsize: 7992
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 10120

[startup+910.082 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1149 0 0 0 34687 4860 0 0 17 0 1 0 1784906601 8007680 1043 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1955 1043 413 48 0 1907 0
[pid=22451] vsize: 7820
Current children cumulated CPU time (s) 727.47
Current children cumulated vsize (Kb) 9948

[startup+920.083 s]
Raw data (loadavg): 1.15 1.06 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1151 0 0 0 35105 5046 0 0 23 0 1 0 1784906601 7987200 1045 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1950 1045 413 48 0 1902 0
[pid=22451] vsize: 7800
Current children cumulated CPU time (s) 733.51
Current children cumulated vsize (Kb) 9928

[startup+930.084 s]
Raw data (loadavg): 1.12 1.05 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1155 0 0 0 35992 5088 0 0 25 0 1 0 1784906601 7987200 1049 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1950 1049 413 48 0 1902 0
[pid=22451] vsize: 7800
Current children cumulated CPU time (s) 742.8
Current children cumulated vsize (Kb) 9928

[startup+940.085 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1161 0 0 0 36886 5122 0 0 25 0 1 0 1784906601 7987200 1055 4294967295 134512640 134702520 3221223712 3221222992 134552748 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1950 1055 413 48 0 1902 0
[pid=22451] vsize: 7800
Current children cumulated CPU time (s) 752.08
Current children cumulated vsize (Kb) 9928

[startup+950.085 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1188 0 0 0 37817 5149 0 0 19 0 1 0 1784906601 8298496 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2026 1082 413 48 0 1978 0
[pid=22451] vsize: 8104
Current children cumulated CPU time (s) 761.66
Current children cumulated vsize (Kb) 10232

[startup+960.087 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1258 0 0 0 38741 5175 0 0 25 0 1 0 1784906601 8609792 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2102 1152 413 48 0 2054 0
[pid=22451] vsize: 8408
Current children cumulated CPU time (s) 771.16
Current children cumulated vsize (Kb) 10536

[startup+970.087 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1326 0 0 0 39637 5209 0 0 25 0 1 0 1784906601 8609792 1220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2102 1220 413 48 0 2054 0
[pid=22451] vsize: 8408
Current children cumulated CPU time (s) 780.46
Current children cumulated vsize (Kb) 10536

[startup+980.088 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1392 0 0 0 40535 5246 0 0 25 0 1 0 1784906601 9056256 1286 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2211 1286 413 48 0 2163 0
[pid=22451] vsize: 8844
Current children cumulated CPU time (s) 789.81
Current children cumulated vsize (Kb) 10972

[startup+990.089 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1459 0 0 0 41499 5259 0 0 25 0 1 0 1784906601 9191424 1353 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2244 1353 413 48 0 2196 0
[pid=22451] vsize: 8976
Current children cumulated CPU time (s) 799.58
Current children cumulated vsize (Kb) 11104

[startup+1000.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1478 0 0 0 42093 5391 0 0 17 0 1 0 1784906601 8257536 1140 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2016 1140 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 806.84
Current children cumulated vsize (Kb) 10192

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1480 0 0 0 42663 5529 0 0 25 0 1 0 1784906601 8257536 1142 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2016 1142 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 813.92
Current children cumulated vsize (Kb) 10192

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1480 0 0 0 43558 5564 0 0 25 0 1 0 1784906601 8257536 1142 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2016 1142 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 823.22
Current children cumulated vsize (Kb) 10192

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1480 0 0 0 44454 5599 0 0 17 0 1 0 1784906601 8257536 1142 4294967295 134512640 134702520 3221223712 3221222992 134557289 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2016 1142 413 48 0 1968 0
[pid=22451] vsize: 8064
Current children cumulated CPU time (s) 832.53
Current children cumulated vsize (Kb) 10192

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1496 0 0 0 45414 5613 0 0 25 0 1 0 1784906601 8568832 1158 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2092 1158 413 48 0 2044 0
[pid=22451] vsize: 8368
Current children cumulated CPU time (s) 842.27
Current children cumulated vsize (Kb) 10496

[startup+1050.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1530 0 0 0 46314 5647 0 0 25 0 1 0 1784906601 8568832 1192 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2092 1192 413 48 0 2044 0
[pid=22451] vsize: 8368
Current children cumulated CPU time (s) 851.61
Current children cumulated vsize (Kb) 10496

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1580 0 0 0 47220 5680 0 0 25 0 1 0 1784906601 8880128 1242 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2168 1242 413 48 0 2120 0
[pid=22451] vsize: 8672
Current children cumulated CPU time (s) 861
Current children cumulated vsize (Kb) 10800

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1609 0 0 0 48189 5690 0 0 25 0 1 0 1784906601 8880128 1271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2168 1271 413 48 0 2120 0
[pid=22451] vsize: 8672
Current children cumulated CPU time (s) 870.79
Current children cumulated vsize (Kb) 10800

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1643 0 0 0 49092 5723 0 0 25 0 1 0 1784906601 8986624 1305 4294967295 134512640 134702520 3221223712 3221222992 134557280 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2194 1305 413 48 0 2146 0
[pid=22451] vsize: 8776
Current children cumulated CPU time (s) 880.15
Current children cumulated vsize (Kb) 10904

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1671 0 0 0 50067 5734 0 0 25 0 1 0 1784906601 9297920 1333 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2270 1333 413 48 0 2222 0
[pid=22451] vsize: 9080
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 11208

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1681 0 0 0 50668 5863 0 0 17 0 1 0 1784906601 8364032 1168 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1168 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 897.31
Current children cumulated vsize (Kb) 10296

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1683 0 0 0 51242 6005 0 0 25 0 1 0 1784906601 8364032 1170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1170 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 904.47
Current children cumulated vsize (Kb) 10296

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1683 0 0 0 52134 6039 0 0 25 0 1 0 1784906601 8364032 1170 4294967295 134512640 134702520 3221223712 3221222960 134564339 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1170 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 913.73
Current children cumulated vsize (Kb) 10296

[startup+1130.1 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1683 0 0 0 53024 6076 0 0 25 0 1 0 1784906601 8364032 1170 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1170 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 923
Current children cumulated vsize (Kb) 10296

[startup+1140.1 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 53942 6103 0 0 17 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 932.45
Current children cumulated vsize (Kb) 10296

[startup+1150.1 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 54877 6127 0 0 25 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (Kb) 10296

[startup+1160.11 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 55770 6164 0 0 25 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221222992 134557245 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 951.34
Current children cumulated vsize (Kb) 10296

[startup+1170.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 56666 6199 0 0 25 0 1 0 1784906601 8364032 1179 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 2042 1179 413 48 0 1994 0
[pid=22451] vsize: 8168
Current children cumulated CPU time (s) 960.65
Current children cumulated vsize (Kb) 10296

[startup+1180.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 57490 6263 0 0 17 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 969.53
Current children cumulated vsize (Kb) 9992

[startup+1190.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 57862 6474 0 0 16 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 975.36
Current children cumulated vsize (Kb) 9992

[startup+1200.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 58716 6524 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 984.4
Current children cumulated vsize (Kb) 9992

[startup+1210.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 59592 6569 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 993.61
Current children cumulated vsize (Kb) 9992

[startup+1220.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 60474 6606 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1002.8
Current children cumulated vsize (Kb) 9992

[startup+1230.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 61354 6645 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222992 134552757 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1011.99
Current children cumulated vsize (Kb) 9992

[startup+1240.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 62235 6687 0 0 25 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222992 134553011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1021.22
Current children cumulated vsize (Kb) 9992

[startup+1250.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1692 0 0 0 62877 6805 0 0 16 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1028.82
Current children cumulated vsize (Kb) 9992

[startup+1260.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1692 0 0 0 63395 6964 0 0 17 0 1 0 1784906601 8052736 1103 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1103 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1035.59
Current children cumulated vsize (Kb) 9992

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 64191 7037 0 0 16 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (Kb) 9992

[startup+1280.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 65051 7087 0 0 17 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1053.38
Current children cumulated vsize (Kb) 9992

[startup+1290.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 65920 7134 0 0 18 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1062.54
Current children cumulated vsize (Kb) 9992

[startup+1300.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1696 0 0 0 66773 7180 0 0 16 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1071.53
Current children cumulated vsize (Kb) 9992

[startup+1310.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1696 0 0 0 67091 7406 0 0 15 0 1 0 1784906601 8052736 1107 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1107 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1076.97
Current children cumulated vsize (Kb) 9992

[startup+1320.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 67872 7476 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1085.48
Current children cumulated vsize (Kb) 9992

[startup+1330.12 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 68733 7528 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1094.61
Current children cumulated vsize (Kb) 9992

[startup+1340.12 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 69590 7576 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1103.66
Current children cumulated vsize (Kb) 9992

[startup+1350.12 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 70409 7640 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1112.49
Current children cumulated vsize (Kb) 9992

[startup+1360.12 s]
Raw data (loadavg): 1.13 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 71242 7696 0 0 15 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1121.38
Current children cumulated vsize (Kb) 9992

[startup+1370.13 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 71557 7925 0 0 16 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1126.82
Current children cumulated vsize (Kb) 9992

[startup+1380.13 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 72404 7980 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1135.84
Current children cumulated vsize (Kb) 9992

[startup+1390.13 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 73268 8029 0 0 18 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1144.97
Current children cumulated vsize (Kb) 9992

[startup+1400.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) R 22446 22446 8263 0 -1 0 1697 0 0 0 74138 8073 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1154.11
Current children cumulated vsize (Kb) 9992

[startup+1410.13 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 75001 8120 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1163.21
Current children cumulated vsize (Kb) 9992

[startup+1420.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 75816 8185 0 0 15 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1172.01
Current children cumulated vsize (Kb) 9992

[startup+1430.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 76111 8418 0 0 15 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1177.29
Current children cumulated vsize (Kb) 9992

[startup+1440.13 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1697 0 0 0 76942 8473 0 0 17 0 1 0 1784906601 8052736 1108 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1108 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1186.15
Current children cumulated vsize (Kb) 9992

[startup+1450.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1699 0 0 0 77810 8519 0 0 17 0 1 0 1784906601 8052736 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22451/statm): 1966 1110 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1195.29
Current children cumulated vsize (Kb) 9992

[startup+1460.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1699 0 0 0 78686 8562 0 0 18 0 1 0 1784906601 8052736 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1110 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1204.48
Current children cumulated vsize (Kb) 9992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1460.14 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 22451
Raw data (/proc/22446/stat): 22446 (vallstSAT2005PB) S 22445 22446 8263 0 -1 0 378 1223 0 0 2 1 28969 4228 17 0 1 0 1784864942 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22446/statm): 532 248 485 147 0 385 0
[pid=22446] vsize: 2128
Raw data (/proc/22451/stat): 22451 (vallst) T 22446 22446 8263 0 -1 0 1699 0 0 0 78686 8562 0 0 18 0 1 0 1784906601 8052736 1110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22451/statm): 1966 1110 413 48 0 1918 0
[pid=22451] vsize: 7864
Current children cumulated CPU time (s) 1204.48
Current children cumulated vsize (Kb) 9992

Sending SIGTERM to -22446
Sleeping 2 seconds
New process pid=22453
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=22454
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/17755/stat
open syscall for file /proc/17755/status
open syscall for file /proc/17755/cmdline
open syscall for file /proc/17755/environ
open syscall for file /proc/25194/stat
open syscall for file /proc/25194/status
open syscall for file /proc/25194/cmdline
open syscall for file /proc/25194/environ
open syscall for file /proc/25221/stat
open syscall for file /proc/25221/status
open syscall for file /proc/25221/cmdline
open syscall for file /proc/25221/environ
open syscall for file /proc/25245/stat
open syscall for file /proc/25245/status
open syscall for file /proc/25245/cmdline
open syscall for file /proc/25245/environ
open syscall for file /proc/7115/stat
open syscall for file /proc/7115/status
open syscall for file /proc/7115/cmdline
open syscall for file /proc/7115/environ
open syscall for file /proc/7679/stat
open syscall for file /proc/7679/status
open syscall for file /proc/7679/cmdline
open syscall for file /proc/7679/environ
open syscall for file /proc/23170/stat
open syscall for file /proc/23170/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/23170/cmdline
open syscall for file /proc/23170/environ
open syscall for file /proc/23206/stat
open syscall for file /proc/23206/status
open syscall for file /proc/23206/cmdline
open syscall for file /proc/23206/environ
open syscall for file /proc/8263/stat
open syscall for file /proc/8263/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/8263/cmdline
open syscall for file /proc/8263/environ
open syscall for file /proc/8264/stat
open syscall for file /proc/8264/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/8264/cmdline
open syscall for file /proc/8264/environ
open syscall for file /proc/8273/stat
open syscall for file /proc/8273/status
open syscall for file /proc/8273/cmdline
open syscall for file /proc/8273/environ
open syscall for file /proc/22409/stat
open syscall for file /proc/22409/status
open syscall for file /proc/22409/cmdline
open syscall for file /proc/22409/environ
open syscall for file /proc/22445/stat
open syscall for file /proc/22445/status
open syscall for file /proc/22445/cmdline
open syscall for file /proc/22445/environ
open syscall for file /proc/22446/stat
open syscall for file /proc/22446/status
open syscall for file /proc/22446/cmdline
open syscall for file /proc/22446/environ
open syscall for file /proc/22451/stat
open syscall for file /proc/22451/status
open syscall for file /proc/22451/cmdline
open syscall for file /proc/22451/environ
open syscall for file /proc/22453/stat
open syscall for file /proc/22453/status
open syscall for file /proc/22453/cmdline
open syscall for file /proc/22453/environ
open syscall for file /proc/22454/stat
open syscall for file /proc/22454/status
open syscall for file /proc/22454/cmdline
open syscall for file /proc/22454/environ
One traced child (pid=22453) exited with status: 0
One traced child (pid=22454) exited with status: 0
New process pid=22455
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=22451) exited with status: 3
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=22455) exited with status: 0
New process pid=22456
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=22456) exited with status: 0
One traced child (pid=22446) 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): 1460.64
CPU time (s): 1204.76
CPU user time (s): 1076.75
CPU system time (s): 128.015
CPU usage (%): 82.4818
Max. virtual memory (cumulated for all children) (Kb): 11208

Verifier Data

ERROR: no interpretation found !