Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUMb5e0cd2fd527d211d525adea6c422112
Bench Categoryoptimization, big integers (OPTBIGINT)
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8902
Total number of constraints3459
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)626
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint1
Maximum length of a constraint2407

Trace number 9134

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 10:57:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7800 boxname=wulflinc13 idbench=768 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b5e0cd2fd527d211d525adea6c422112  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-roll3000.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-roll3000.opb 0
IDLAUNCH: 7800
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        938480 kB
Buffers:         11816 kB
Cached:          65568 kB
SwapCached:          0 kB
Active:          45108 kB
Inactive:        35200 kB
HighTotal:      131008 kB
HighFree:        61796 kB
LowTotal:       903652 kB
LowFree:        876684 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            10244 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:18:08 (client local time) WITH STATUS 0 IN 1202.75 SECONDS
stats: 7800 7 1202.75 0

Solver Data

1:
seed: 0
Nr of vars set: 3293  (#equs: 0)
Nr of vars set: 3332  (#equs: 0)
#decisions: 407064;  #end-nodes: 24814;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 132 (127)
#axs: 2928, #non-axs: 3820
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: 3404  (#equs: 12)
Time taken: 5 min, 27 sec

2:
seed: 0
Nr of vars set: 3404  (#equs: 0)
Nr of vars set: 3404  (#equs: 0)
Interupt request received.
#decisions: 783464;  #end-nodes: 116524;
#proof improvement attempts: 0;  #restarts: 560
Current batch, end-nodes: 0 / 260 (260)
#axs: 2174, #non-axs: 6947
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 8, end: 12;  meta: start: 21, end (keep): 31
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3413  (#equs: 1)
Time taken: 14 min, 34 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/4542/stat): 4542 (vallstSAT2005PB) R 4541 4542 4060 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 19642186 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4542/statm): 174 3 169 147 0 27 0
[pid=4542] 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=4543
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=4543) exited with status: 0
New process pid=4544
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=4544) exited with status: 0
New process pid=4545
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/wulflinc13/normalized-mps-v2-20-10-roll3000.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0026 s]
Raw data (loadavg): 0.94 1.03 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1048 0 0 0 943 17 0 0 25 0 1 0 19642195 5869568 930 4294967295 134512640 134702520 3221223952 3221223088 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 1433 930 413 48 0 1385 0
[pid=4545] vsize: 5732
Current children cumulated CPU time (s) 9.61
Current children cumulated vsize (Kb) 7860

[startup+20.0043 s]
Raw data (loadavg): 0.95 1.03 0.98 1/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1075 0 0 0 1879 39 0 0 21 0 1 0 19642195 10104832 957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2467 957 413 48 0 2419 0
[pid=4545] vsize: 9868
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (Kb) 11996

[startup+30.005 s]
Raw data (loadavg): 0.95 1.03 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1083 0 0 0 2683 106 0 0 22 0 1 0 19642195 10104832 965 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2467 965 413 48 0 2419 0
[pid=4545] vsize: 9868
Current children cumulated CPU time (s) 27.9
Current children cumulated vsize (Kb) 11996

[startup+40.0046 s]
Raw data (loadavg): 0.96 1.03 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1086 0 0 0 3543 155 0 0 25 0 1 0 19642195 10104832 968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2467 968 413 48 0 2419 0
[pid=4545] vsize: 9868
Current children cumulated CPU time (s) 36.99
Current children cumulated vsize (Kb) 11996

[startup+50.0053 s]
Raw data (loadavg): 0.97 1.03 0.98 1/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1138 0 0 0 4405 202 0 0 23 0 1 0 19642195 10104832 1020 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2467 1020 413 48 0 2419 0
[pid=4545] vsize: 9868
Current children cumulated CPU time (s) 46.08
Current children cumulated vsize (Kb) 11996

[startup+60.006 s]
Raw data (loadavg): 0.97 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1143 0 0 0 5343 222 0 0 25 0 1 0 19642195 10108928 1025 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2468 1025 413 48 0 2420 0
[pid=4545] vsize: 9872
Current children cumulated CPU time (s) 55.66
Current children cumulated vsize (Kb) 12000

[startup+70.0076 s]
Raw data (loadavg): 0.97 1.02 0.98 1/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1146 0 0 0 6233 261 0 0 21 0 1 0 19642195 10108928 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2468 1028 413 48 0 2420 0
[pid=4545] vsize: 9872
Current children cumulated CPU time (s) 64.95
Current children cumulated vsize (Kb) 12000

[startup+80.0083 s]
Raw data (loadavg): 0.98 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1159 0 0 0 7081 315 0 0 24 0 1 0 19642195 10108928 1041 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2468 1041 413 48 0 2420 0
[pid=4545] vsize: 9872
Current children cumulated CPU time (s) 73.97
Current children cumulated vsize (Kb) 12000

[startup+90.008 s]
Raw data (loadavg): 0.98 1.02 0.98 1/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1190 0 0 0 7967 351 0 0 25 0 1 0 19642195 10108928 1072 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2468 1072 413 48 0 2420 0
[pid=4545] vsize: 9872
Current children cumulated CPU time (s) 83.19
Current children cumulated vsize (Kb) 12000

[startup+100.009 s]
Raw data (loadavg): 0.98 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1250 0 0 0 8884 380 0 0 18 0 1 0 19642195 10113024 1132 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1132 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 92.65
Current children cumulated vsize (Kb) 12004

[startup+110.009 s]
Raw data (loadavg): 0.99 1.02 0.98 1/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1250 0 0 0 9794 410 0 0 19 0 1 0 19642195 10113024 1132 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1132 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (Kb) 12004

[startup+120.011 s]
Raw data (loadavg): 0.99 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1251 0 0 0 10763 421 0 0 25 0 1 0 19642195 10113024 1133 4294967295 134512640 134702520 3221223952 3220855076 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1133 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (Kb) 12004

[startup+130.012 s]
Raw data (loadavg): 0.99 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1254 0 0 0 11709 440 0 0 25 0 1 0 19642195 10113024 1136 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2469 1136 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 121.5
Current children cumulated vsize (Kb) 12004

[startup+140.011 s]
Raw data (loadavg): 0.99 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1260 0 0 0 12631 465 0 0 25 0 1 0 19642195 10113024 1142 4294967295 134512640 134702520 3221223952 3221183888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2469 1142 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 130.97
Current children cumulated vsize (Kb) 12004

[startup+150.013 s]
Raw data (loadavg): 0.99 1.02 0.98 2/56 4545
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1260 0 0 0 13602 475 0 0 25 0 1 0 19642195 10113024 1142 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1142 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 140.78
Current children cumulated vsize (Kb) 12004

[startup+160.014 s]
Raw data (loadavg): 0.99 1.02 0.98 1/60 4553
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1268 0 0 0 14535 500 0 0 17 0 1 0 19642195 10113024 1150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1150 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 150.36
Current children cumulated vsize (Kb) 12004

[startup+170.014 s]
Raw data (loadavg): 0.99 1.01 0.98 2/56 4600
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1269 0 0 0 15477 521 0 0 25 0 1 0 19642195 10113024 1151 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1151 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 12004

[startup+180.015 s]
Raw data (loadavg): 0.99 1.01 0.98 1/56 4600
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1272 0 0 0 16440 533 0 0 25 0 1 0 19642195 10113024 1154 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2469 1154 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 169.74
Current children cumulated vsize (Kb) 12004

[startup+190.016 s]
Raw data (loadavg): 0.99 1.01 0.98 2/56 4600
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1273 0 0 0 17417 541 0 0 25 0 1 0 19642195 10113024 1155 4294967295 134512640 134702520 3221223952 3220984996 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2469 1155 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 179.59
Current children cumulated vsize (Kb) 12004

[startup+200.016 s]
Raw data (loadavg): 0.99 1.01 0.98 2/56 4600
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1273 0 0 0 18381 554 0 0 24 0 1 0 19642195 10113024 1155 4294967295 134512640 134702520 3221223952 3221223232 134552712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2469 1155 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 189.36
Current children cumulated vsize (Kb) 12004

[startup+210.017 s]
Raw data (loadavg): 0.99 1.01 0.98 2/56 4600
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1273 0 0 0 19333 569 0 0 25 0 1 0 19642195 10113024 1155 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2469 1155 413 48 0 2421 0
[pid=4545] vsize: 9876
Current children cumulated CPU time (s) 199.03
Current children cumulated vsize (Kb) 12004

[startup+220.019 s]
Raw data (loadavg): 1.07 1.03 0.99 1/56 4602
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1274 0 0 0 20287 586 0 0 25 0 1 0 19642195 10117120 1156 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2470 1156 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 208.74
Current children cumulated vsize (Kb) 12008

[startup+230.019 s]
Raw data (loadavg): 1.06 1.02 0.99 1/56 4602
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1274 0 0 0 21260 595 0 0 25 0 1 0 19642195 10117120 1156 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2470 1156 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 218.56
Current children cumulated vsize (Kb) 12008

[startup+240.02 s]
Raw data (loadavg): 1.05 1.02 0.99 2/56 4604
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1274 0 0 0 22243 601 0 0 25 0 1 0 19642195 10117120 1156 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2470 1156 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 228.45
Current children cumulated vsize (Kb) 12008

[startup+250.021 s]
Raw data (loadavg): 1.04 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1274 0 0 0 23219 608 0 0 25 0 1 0 19642195 10117120 1156 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2470 1156 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 238.28
Current children cumulated vsize (Kb) 12008

[startup+260.021 s]
Raw data (loadavg): 1.03 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1274 0 0 0 24195 616 0 0 25 0 1 0 19642195 10117120 1156 4294967295 134512640 134702520 3221223952 3221027568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2470 1156 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 248.12
Current children cumulated vsize (Kb) 12008

[startup+270.022 s]
Raw data (loadavg): 1.03 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1286 0 0 0 25158 629 0 0 25 0 1 0 19642195 10117120 1168 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2470 1168 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 257.88
Current children cumulated vsize (Kb) 12008

[startup+280.023 s]
Raw data (loadavg): 1.02 1.02 0.99 1/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1316 0 0 0 26126 640 0 0 18 0 1 0 19642195 10117120 1198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2470 1198 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 267.67
Current children cumulated vsize (Kb) 12008

[startup+290.023 s]
Raw data (loadavg): 1.02 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1321 0 0 0 27113 645 0 0 25 0 1 0 19642195 10117120 1203 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2470 1203 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 277.59
Current children cumulated vsize (Kb) 12008

[startup+300.024 s]
Raw data (loadavg): 1.02 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1345 0 0 0 28091 653 0 0 25 0 1 0 19642195 10117120 1227 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2470 1227 413 48 0 2422 0
[pid=4545] vsize: 9880
Current children cumulated CPU time (s) 287.45
Current children cumulated vsize (Kb) 12008

[startup+310.024 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1358 0 0 0 29080 657 0 0 25 0 1 0 19642195 10674176 1240 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2606 1240 413 48 0 2558 0
[pid=4545] vsize: 10424
Current children cumulated CPU time (s) 297.38
Current children cumulated vsize (Kb) 12552

[startup+320.025 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) R 4542 4542 4060 0 -1 0 1384 0 0 0 30056 666 0 0 25 0 1 0 19642195 10674176 1266 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2606 1266 413 48 0 2558 0
[pid=4545] vsize: 10424
Current children cumulated CPU time (s) 307.23
Current children cumulated vsize (Kb) 12552

[startup+330.026 s]
Raw data (loadavg): 1.01 1.02 0.99 1/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1400 0 0 0 31043 671 0 0 25 0 1 0 19642195 10674176 1282 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4545/statm): 2606 1282 413 48 0 2558 0
[pid=4545] vsize: 10424
Current children cumulated CPU time (s) 317.15
Current children cumulated vsize (Kb) 12552

[startup+340.025 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 4606
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 330 232 0 0 0 1 0 0 19 0 1 0 19642186 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 242 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4545/stat): 4545 (vallst) T 4542 4542 4060 0 -1 0 1400 0 0 0 32003 685 0 0 25 0 1 0 19642195 10674176 1282 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4545/statm): 2606 1282 413 48 0 2558 0
[pid=4545] vsize: 10424
Current children cumulated CPU time (s) 326.89
Current children cumulated vsize (Kb) 12552
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=4545) exited with status: 2
New process pid=4607
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=4607) exited with status: 0
New process pid=4608
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+350.026 s]
Raw data (loadavg): 1.00 1.01 0.99 1/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 843 0 0 0 830 14 0 0 21 0 1 0 19676327 5181440 814 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 1265 814 413 48 0 1217 0
[pid=4608] vsize: 5060
Current children cumulated CPU time (s) 336.62
Current children cumulated vsize (Kb) 7188

[startup+360.027 s]
Raw data (loadavg): 1.00 1.01 0.99 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 878 0 0 0 1784 31 0 0 25 0 1 0 19676327 8855552 849 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2162 849 413 48 0 2114 0
[pid=4608] vsize: 8648
Current children cumulated CPU time (s) 346.33
Current children cumulated vsize (Kb) 10776

[startup+370.027 s]
Raw data (loadavg): 1.00 1.01 0.99 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 915 0 0 0 2756 40 0 0 25 0 1 0 19676327 8855552 886 4294967295 134512640 134702520 3221223712 3221215168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2162 886 413 48 0 2114 0
[pid=4608] vsize: 8648
Current children cumulated CPU time (s) 356.14
Current children cumulated vsize (Kb) 10776

[startup+380.028 s]
Raw data (loadavg): 1.00 1.01 0.99 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 933 0 0 0 3731 48 0 0 25 0 1 0 19676327 8855552 904 4294967295 134512640 134702520 3221223712 3221222992 134553933 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2162 904 413 48 0 2114 0
[pid=4608] vsize: 8648
Current children cumulated CPU time (s) 365.97
Current children cumulated vsize (Kb) 10776

[startup+390.029 s]
Raw data (loadavg): 1.00 1.01 0.99 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 949 0 0 0 4705 56 0 0 25 0 1 0 19676327 8855552 920 4294967295 134512640 134702520 3221223712 3220906048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2162 920 413 48 0 2114 0
[pid=4608] vsize: 8648
Current children cumulated CPU time (s) 375.79
Current children cumulated vsize (Kb) 10776

[startup+400.029 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 971 0 0 0 5676 64 0 0 25 0 1 0 19676327 8855552 942 4294967295 134512640 134702520 3221223712 3221222992 134552225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2162 942 413 48 0 2114 0
[pid=4608] vsize: 8648
Current children cumulated CPU time (s) 385.58
Current children cumulated vsize (Kb) 10776

[startup+410.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 982 0 0 0 6646 75 0 0 25 0 1 0 19676327 8855552 953 4294967295 134512640 134702520 3221223712 3220859008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2162 953 413 48 0 2114 0
[pid=4608] vsize: 8648
Current children cumulated CPU time (s) 395.39
Current children cumulated vsize (Kb) 10776

[startup+420.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 989 0 0 0 7591 94 0 0 25 0 1 0 19676327 8974336 960 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 960 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 405.03
Current children cumulated vsize (Kb) 10892

[startup+430.032 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1000 0 0 0 8548 107 0 0 25 0 1 0 19676327 8974336 971 4294967295 134512640 134702520 3221223712 3220809088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 971 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 414.73
Current children cumulated vsize (Kb) 10892

[startup+440.032 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1007 0 0 0 9494 126 0 0 25 0 1 0 19676327 8974336 978 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 978 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 424.38
Current children cumulated vsize (Kb) 10892

[startup+450.033 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1015 0 0 0 10480 132 0 0 25 0 1 0 19676327 8974336 986 4294967295 134512640 134702520 3221223712 3220776128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 986 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 434.3
Current children cumulated vsize (Kb) 10892

[startup+460.033 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1019 0 0 0 11449 142 0 0 25 0 1 0 19676327 8974336 990 4294967295 134512640 134702520 3221223712 3221222992 134552329 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 990 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 444.09
Current children cumulated vsize (Kb) 10892

[startup+470.034 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1021 0 0 0 12426 150 0 0 25 0 1 0 19676327 8974336 992 4294967295 134512640 134702520 3221223712 3220981888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 992 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 453.94
Current children cumulated vsize (Kb) 10892

[startup+480.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1022 0 0 0 13404 157 0 0 25 0 1 0 19676327 8974336 993 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 993 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 463.79
Current children cumulated vsize (Kb) 10892

[startup+490.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1022 0 0 0 14328 181 0 0 25 0 1 0 19676327 8974336 993 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 993 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 473.27
Current children cumulated vsize (Kb) 10892

[startup+500.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1022 0 0 0 15308 188 0 0 25 0 1 0 19676327 8974336 993 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 993 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 483.14
Current children cumulated vsize (Kb) 10892

[startup+510.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1023 0 0 0 16267 201 0 0 25 0 1 0 19676327 8974336 994 4294967295 134512640 134702520 3221223712 3221222992 134553175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 994 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 492.86
Current children cumulated vsize (Kb) 10892

[startup+520.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1024 0 0 0 17252 206 0 0 25 0 1 0 19676327 8974336 995 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2191 995 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 502.76
Current children cumulated vsize (Kb) 10892

[startup+530.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1024 0 0 0 18223 217 0 0 25 0 1 0 19676327 8974336 995 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 995 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 512.58
Current children cumulated vsize (Kb) 10892

[startup+540.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4608
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1025 0 0 0 19204 224 0 0 25 0 1 0 19676327 8974336 996 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 996 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 522.46
Current children cumulated vsize (Kb) 10892

[startup+550.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1025 0 0 0 20177 235 0 0 25 0 1 0 19676327 8974336 996 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 996 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 532.3
Current children cumulated vsize (Kb) 10892

[startup+560.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1025 0 0 0 21154 243 0 0 25 0 1 0 19676327 8974336 996 4294967295 134512640 134702520 3221223712 3221222992 134554019 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 996 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 542.15
Current children cumulated vsize (Kb) 10892

[startup+570.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1026 0 0 0 22097 261 0 0 25 0 1 0 19676327 8974336 997 4294967295 134512640 134702520 3221223712 3221209548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 997 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 551.76
Current children cumulated vsize (Kb) 10892

[startup+580.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1032 0 0 0 23076 268 0 0 24 0 1 0 19676327 8974336 1003 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1003 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 561.62
Current children cumulated vsize (Kb) 10892

[startup+590.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1032 0 0 0 24002 293 0 0 25 0 1 0 19676327 8974336 1003 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1003 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 571.13
Current children cumulated vsize (Kb) 10892

[startup+600.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1035 0 0 0 24970 304 0 0 25 0 1 0 19676327 8974336 1006 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1006 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 580.92
Current children cumulated vsize (Kb) 10892

[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1035 0 0 0 25927 320 0 0 25 0 1 0 19676327 8974336 1006 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1006 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 590.65
Current children cumulated vsize (Kb) 10892

[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1035 0 0 0 26840 350 0 0 25 0 1 0 19676327 8974336 1006 4294967295 134512640 134702520 3221223712 3221222932 134549046 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1006 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 600.08
Current children cumulated vsize (Kb) 10892

[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1035 0 0 0 27790 369 0 0 25 0 1 0 19676327 8974336 1006 4294967295 134512640 134702520 3221223712 3221008288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1006 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 609.77
Current children cumulated vsize (Kb) 10892

[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1035 0 0 0 28755 382 0 0 25 0 1 0 19676327 8974336 1006 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1006 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 619.55
Current children cumulated vsize (Kb) 10892

[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1035 0 0 0 29716 396 0 0 25 0 1 0 19676327 8974336 1006 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2191 1006 413 48 0 2143 0
[pid=4608] vsize: 8764
Current children cumulated CPU time (s) 629.3
Current children cumulated vsize (Kb) 10892

[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1048 0 0 0 30699 402 0 0 25 0 1 0 19676327 9428992 1019 4294967295 134512640 134702520 3221223712 3221222992 134557449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2302 1019 413 48 0 2254 0
[pid=4608] vsize: 9208
Current children cumulated CPU time (s) 639.19
Current children cumulated vsize (Kb) 11336

[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1094 0 0 0 31639 421 0 0 18 0 1 0 19676327 9428992 1065 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2302 1065 413 48 0 2254 0
[pid=4608] vsize: 9208
Current children cumulated CPU time (s) 648.78
Current children cumulated vsize (Kb) 11336

[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1108 0 0 0 32624 427 0 0 25 0 1 0 19676327 9555968 1079 4294967295 134512640 134702520 3221223712 3221222992 134552537 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2333 1079 413 48 0 2285 0
[pid=4608] vsize: 9332
Current children cumulated CPU time (s) 658.69
Current children cumulated vsize (Kb) 11460

[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1147 0 0 0 33577 443 0 0 25 0 1 0 19676327 9555968 1118 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2333 1118 413 48 0 2285 0
[pid=4608] vsize: 9332
Current children cumulated CPU time (s) 668.38
Current children cumulated vsize (Kb) 11460

[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1183 0 0 0 34544 454 0 0 25 0 1 0 19676327 10010624 1154 4294967295 134512640 134702520 3221223712 3220991488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2444 1154 413 48 0 2396 0
[pid=4608] vsize: 9776
Current children cumulated CPU time (s) 678.16
Current children cumulated vsize (Kb) 11904

[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1206 0 0 0 35524 460 0 0 25 0 1 0 19676327 10010624 1177 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2444 1177 413 48 0 2396 0
[pid=4608] vsize: 9776
Current children cumulated CPU time (s) 688.02
Current children cumulated vsize (Kb) 11904

[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1253 0 0 0 36498 469 0 0 25 0 1 0 19676327 10010624 1224 4294967295 134512640 134702520 3221223712 3221200608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2444 1224 413 48 0 2396 0
[pid=4608] vsize: 9776
Current children cumulated CPU time (s) 697.85
Current children cumulated vsize (Kb) 11904

[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1257 0 0 0 37482 475 0 0 25 0 1 0 19676327 10010624 1228 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2444 1228 413 48 0 2396 0
[pid=4608] vsize: 9776
Current children cumulated CPU time (s) 707.75
Current children cumulated vsize (Kb) 11904

[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1304 0 0 0 38459 483 0 0 25 0 1 0 19676327 10145792 1275 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2477 1275 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 717.6
Current children cumulated vsize (Kb) 12036

[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1315 0 0 0 39360 516 0 0 25 0 1 0 19676327 10145792 1286 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2477 1286 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 726.94
Current children cumulated vsize (Kb) 12036

[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1315 0 0 0 40307 534 0 0 24 0 1 0 19676327 10145792 1286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2477 1286 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 736.59
Current children cumulated vsize (Kb) 12036

[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1321 0 0 0 41182 575 0 0 25 0 1 0 19676327 10145792 1292 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1292 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 745.75
Current children cumulated vsize (Kb) 12036

[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1321 0 0 0 42145 588 0 0 25 0 1 0 19676327 10145792 1292 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1292 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 755.51
Current children cumulated vsize (Kb) 12036

[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1321 0 0 0 43122 596 0 0 25 0 1 0 19676327 10145792 1292 4294967295 134512640 134702520 3221223712 3221223196 134603814 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1292 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 765.36
Current children cumulated vsize (Kb) 12036

[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1321 0 0 0 44083 609 0 0 23 0 1 0 19676327 10145792 1292 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2477 1292 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 775.1
Current children cumulated vsize (Kb) 12036

[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1324 0 0 0 45050 620 0 0 25 0 1 0 19676327 10145792 1295 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1295 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 784.88
Current children cumulated vsize (Kb) 12036

[startup+820.058 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1324 0 0 0 46022 630 0 0 25 0 1 0 19676327 10145792 1295 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2477 1295 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 794.7
Current children cumulated vsize (Kb) 12036

[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1327 0 0 0 46994 639 0 0 25 0 1 0 19676327 10145792 1298 4294967295 134512640 134702520 3221223712 3221125248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1298 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 804.51
Current children cumulated vsize (Kb) 12036

[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1328 0 0 0 47978 644 0 0 25 0 1 0 19676327 10145792 1299 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1299 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 814.4
Current children cumulated vsize (Kb) 12036

[startup+850.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1330 0 0 0 48948 655 0 0 25 0 1 0 19676327 10145792 1301 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1301 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 824.21
Current children cumulated vsize (Kb) 12036

[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1332 0 0 0 49926 663 0 0 21 0 1 0 19676327 10145792 1303 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1303 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 834.07
Current children cumulated vsize (Kb) 12036

[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1334 0 0 0 50869 684 0 0 25 0 1 0 19676327 10145792 1305 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1305 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 843.71
Current children cumulated vsize (Kb) 12036

[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1339 0 0 0 51852 689 0 0 25 0 1 0 19676327 10145792 1310 4294967295 134512640 134702520 3221223712 3220891148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2477 1310 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 853.59
Current children cumulated vsize (Kb) 12036

[startup+890.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1343 0 0 0 52830 698 0 0 25 0 1 0 19676327 10145792 1314 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2477 1314 413 48 0 2429 0
[pid=4608] vsize: 9908
Current children cumulated CPU time (s) 863.46
Current children cumulated vsize (Kb) 12036

[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1375 0 0 0 53802 709 0 0 25 0 1 0 19676327 10600448 1346 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2588 1346 413 48 0 2540 0
[pid=4608] vsize: 10352
Current children cumulated CPU time (s) 873.29
Current children cumulated vsize (Kb) 12480

[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 54769 719 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 883.06
Current children cumulated vsize (Kb) 12612

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 55730 730 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 892.78
Current children cumulated vsize (Kb) 12612

[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 56677 747 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 902.42
Current children cumulated vsize (Kb) 12612

[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 57534 793 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 911.45
Current children cumulated vsize (Kb) 12612

[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 58519 799 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 921.36
Current children cumulated vsize (Kb) 12612

[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 59494 807 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 931.19
Current children cumulated vsize (Kb) 12612

[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 60477 813 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221154048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 941.08
Current children cumulated vsize (Kb) 12612

[startup+980.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 61461 818 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 950.97
Current children cumulated vsize (Kb) 12612

[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1383 0 0 0 62436 826 0 0 25 0 1 0 19676327 10735616 1354 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1354 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 960.8
Current children cumulated vsize (Kb) 12612

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1384 0 0 0 63420 832 0 0 25 0 1 0 19676327 10735616 1355 4294967295 134512640 134702520 3221223712 3221037568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1355 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 970.7
Current children cumulated vsize (Kb) 12612

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1385 0 0 0 64386 844 0 0 25 0 1 0 19676327 10735616 1356 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1356 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 980.48
Current children cumulated vsize (Kb) 12612

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1385 0 0 0 65360 853 0 0 25 0 1 0 19676327 10735616 1356 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1356 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 990.31
Current children cumulated vsize (Kb) 12612

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1385 0 0 0 66344 857 0 0 25 0 1 0 19676327 10735616 1356 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1356 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1000.19
Current children cumulated vsize (Kb) 12612

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1385 0 0 0 67311 869 0 0 25 0 1 0 19676327 10735616 1356 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1356 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1009.98
Current children cumulated vsize (Kb) 12612

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1386 0 0 0 68292 876 0 0 25 0 1 0 19676327 10735616 1357 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1357 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1019.86
Current children cumulated vsize (Kb) 12612

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1387 0 0 0 69273 882 0 0 25 0 1 0 19676327 10735616 1358 4294967295 134512640 134702520 3221223712 3221222984 134553180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1358 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1029.73
Current children cumulated vsize (Kb) 12612

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1388 0 0 0 70250 890 0 0 25 0 1 0 19676327 10735616 1359 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1359 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1039.58
Current children cumulated vsize (Kb) 12612

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 71216 901 0 0 20 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1049.35
Current children cumulated vsize (Kb) 12612

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1390 0 0 0 72176 916 0 0 23 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1059.1
Current children cumulated vsize (Kb) 12612

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 73053 955 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1068.26
Current children cumulated vsize (Kb) 12612

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1390 0 0 0 73886 1010 0 0 17 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1077.14
Current children cumulated vsize (Kb) 12612

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 74846 1023 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3220974828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1086.87
Current children cumulated vsize (Kb) 12612

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 75794 1041 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1096.53
Current children cumulated vsize (Kb) 12612

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 76717 1067 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1106.02
Current children cumulated vsize (Kb) 12612

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 77695 1075 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3220987008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1115.88
Current children cumulated vsize (Kb) 12612

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 78672 1083 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1125.73
Current children cumulated vsize (Kb) 12612

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 79607 1105 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1135.3
Current children cumulated vsize (Kb) 12612

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 80586 1112 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1145.16
Current children cumulated vsize (Kb) 12612

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 81500 1140 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1154.58
Current children cumulated vsize (Kb) 12612

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 82467 1152 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222832 134573401 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1164.37
Current children cumulated vsize (Kb) 12612

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) T 4542 4542 4060 0 -1 0 1390 0 0 0 83428 1164 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1174.1
Current children cumulated vsize (Kb) 12612

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1390 0 0 0 84287 1210 0 0 25 0 1 0 19676327 10735616 1361 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1361 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1183.15
Current children cumulated vsize (Kb) 12612

[startup+1230.09 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1392 0 0 0 85176 1244 0 0 25 0 1 0 19676327 10735616 1363 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2621 1363 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1192.38
Current children cumulated vsize (Kb) 12612

[startup+1240.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1392 0 0 0 86163 1248 0 0 25 0 1 0 19676327 10735616 1363 4294967295 134512640 134702520 3221223712 3220750668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4608/statm): 2621 1363 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1202.29
Current children cumulated vsize (Kb) 12612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4610
Raw data (/proc/4542/stat): 4542 (vallstSAT2005PB) S 4541 4542 4060 0 -1 0 378 1775 0 0 1 1 32126 690 19 0 1 0 19642186 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4542/statm): 532 248 485 147 0 385 0
[pid=4542] vsize: 2128
Raw data (/proc/4608/stat): 4608 (vallst) R 4542 4542 4060 0 -1 0 1392 0 0 0 86163 1248 0 0 25 0 1 0 19676327 10735616 1363 4294967295 134512640 134702520 3221223712 3220750688 134611996 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4608/statm): 2621 1363 413 48 0 2573 0
[pid=4608] vsize: 10484
Current children cumulated CPU time (s) 1202.29
Current children cumulated vsize (Kb) 12612

Sending SIGTERM to -4542
Sleeping 2 seconds
New process pid=4612
New process pid=4613
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
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/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4503/stat
open syscall for file /proc/4503/status
open syscall for file /proc/4503/cmdline
open syscall for file /proc/4503/environ
open syscall for file /proc/4541/stat
open syscall for file /proc/4541/status
open syscall for file /proc/4541/cmdline
open syscall for file /proc/4541/environ
open syscall for file /proc/4542/stat
open syscall for file /proc/4542/status
open syscall for file /proc/4542/cmdline
open syscall for file /proc/4542/environ
open syscall for file /proc/4608/stat
open syscall for file /proc/4608/status
open syscall for file /proc/4608/cmdline
open syscall for file /proc/4608/environ
open syscall for file /proc/4612/stat
open syscall for file /proc/4612/status
open syscall for file /proc/4612/cmdline
open syscall for file /proc/4612/environ
open syscall for file /proc/4613/stat
open syscall for file /proc/4613/status
open syscall for file /proc/4613/cmdline
open syscall for file /proc/4613/environ
One traced child (pid=4612) exited with status: 0
One traced child (pid=4613) exited with status: 0
New process pid=4614
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4608) exited with status: 3
One traced child (pid=4614) exited with status: 0
New process pid=4615
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=4615) exited with status: 0
One traced child (pid=4542) 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): 1240.57
CPU time (s): 1202.75
CPU user time (s): 1183.25
CPU system time (s): 19.507
CPU usage (%): 96.9519
Max. virtual memory (cumulated for all children) (Kb): 12612

Verifier Data

ERROR: no interpretation found !