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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb
MD5SUM650632b92fbb7592f9a040d6375b78e9
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 8814
Biggest coefficient in the objective function 3375324200960
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 2061624536571104
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 3375324200960
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 2061624536571104
Number of bits of the biggest sum of numbers51
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables12846
Total number of constraints1074
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints930
Minimum length of a constraint1
Maximum length of a constraint192

Trace number 9329

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-23 12:30:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8045 boxname=wulflinc10 idbench=1013 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  650632b92fbb7592f9a040d6375b78e9  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-gen.opb 0
IDLAUNCH: 8045
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
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.193
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        946512 kB
Buffers:         10116 kB
Cached:          60808 kB
SwapCached:          0 kB
Active:          44760 kB
Inactive:        29064 kB
HighTotal:      131008 kB
HighFree:        66164 kB
LowTotal:       903652 kB
LowFree:        880348 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8692 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:52:12 (client local time) WITH STATUS 0 IN 892.161 SECONDS
stats: 8045 7 892.161 0

Solver Data

1:
seed: 0
Nr of vars set: 3336  (#equs: 0)
Nr of vars set: 5153  (#equs: 10)
#decisions: 622510;  #end-nodes: 49609;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 987, #non-axs: 42
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: 5153  (#equs: 10)
Time taken: 5 min, 11 sec

2:

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/5282/stat): 5282 (vallstSAT2005PB) R 5281 5282 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20205609 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5282/statm): 174 3 169 147 0 27 0
[pid=5282] 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=5283
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=5283) exited with status: 0
New process pid=5284
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=5284) exited with status: 0
New process pid=5285
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/wulflinc10/normalized-mps-v2-13-7-gen.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.94 0.99 0.99 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1208 0 0 0 954 15 0 0 25 0 1 0 20205616 5844992 1043 4294967295 134512640 134702520 3221223952 3221138368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 1427 1043 413 48 0 1379 0
[pid=5285] vsize: 5708
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (Kb) 7836

[startup+20.0043 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1265 0 0 0 1849 51 0 0 23 0 1 0 20205616 8384512 1100 4294967295 134512640 134702520 3221223952 3221144848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2047 1100 413 48 0 1999 0
[pid=5285] vsize: 8188
Current children cumulated CPU time (s) 19.02
Current children cumulated vsize (Kb) 10316

[startup+30.0049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1268 0 0 0 2745 88 0 0 25 0 1 0 20205616 8384512 1103 4294967295 134512640 134702520 3221223952 3220911868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2047 1103 413 48 0 1999 0
[pid=5285] vsize: 8188
Current children cumulated CPU time (s) 28.35
Current children cumulated vsize (Kb) 10316

[startup+40.0044 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1306 0 0 0 3638 125 0 0 25 0 1 0 20205616 8531968 1141 4294967295 134512640 134702520 3221223952 3221046128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1141 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 37.65
Current children cumulated vsize (Kb) 10460

[startup+50.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1307 0 0 0 4539 158 0 0 25 0 1 0 20205616 8531968 1142 4294967295 134512640 134702520 3221223952 3221159248 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1142 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 46.99
Current children cumulated vsize (Kb) 10460

[startup+60.0056 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1308 0 0 0 5489 174 0 0 17 0 1 0 20205616 8531968 1143 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1143 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 56.65
Current children cumulated vsize (Kb) 10460

[startup+70.0071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1308 0 0 0 6438 190 0 0 25 0 1 0 20205616 8531968 1143 4294967295 134512640 134702520 3221223952 3220708848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1143 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 66.3
Current children cumulated vsize (Kb) 10460

[startup+80.0077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1310 0 0 0 7335 223 0 0 25 0 1 0 20205616 8531968 1145 4294967295 134512640 134702520 3221223952 3220888188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1145 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 75.6
Current children cumulated vsize (Kb) 10460

[startup+90.0072 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1310 0 0 0 8267 248 0 0 17 0 1 0 20205616 8531968 1145 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1145 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 85.17
Current children cumulated vsize (Kb) 10460

[startup+100.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1311 0 0 0 9192 273 0 0 25 0 1 0 20205616 8531968 1146 4294967295 134512640 134702520 3221223952 3220745968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1146 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 94.67
Current children cumulated vsize (Kb) 10460

[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1311 0 0 0 10090 306 0 0 25 0 1 0 20205616 8531968 1146 4294967295 134512640 134702520 3221223952 3220913148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1146 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 103.98
Current children cumulated vsize (Kb) 10460

[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1313 0 0 0 10989 340 0 0 25 0 1 0 20205616 8531968 1148 4294967295 134512640 134702520 3221223952 3221043568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1148 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 113.31
Current children cumulated vsize (Kb) 10460

[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1314 0 0 0 11883 374 0 0 25 0 1 0 20205616 8531968 1149 4294967295 134512640 134702520 3221223952 3221157488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1149 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 122.59
Current children cumulated vsize (Kb) 10460

[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1314 0 0 0 12831 391 0 0 16 0 1 0 20205616 8531968 1149 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1149 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 132.24
Current children cumulated vsize (Kb) 10460

[startup+150.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1316 0 0 0 13784 408 0 0 25 0 1 0 20205616 8531968 1151 4294967295 134512640 134702520 3221223952 3220703728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1151 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 141.94
Current children cumulated vsize (Kb) 10460

[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1317 0 0 0 14685 439 0 0 25 0 1 0 20205616 8531968 1152 4294967295 134512640 134702520 3221223952 3220882108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1152 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 151.26
Current children cumulated vsize (Kb) 10460

[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1317 0 0 0 15613 464 0 0 18 0 1 0 20205616 8531968 1152 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1152 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (Kb) 10460

[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1318 0 0 0 16542 485 0 0 25 0 1 0 20205616 8531968 1153 4294967295 134512640 134702520 3221223952 3220730908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1153 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 170.29
Current children cumulated vsize (Kb) 10460

[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1318 0 0 0 17443 518 0 0 25 0 1 0 20205616 8531968 1153 4294967295 134512640 134702520 3221223952 3220901168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1153 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 179.63
Current children cumulated vsize (Kb) 10460

[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1320 0 0 0 18345 549 0 0 25 0 1 0 20205616 8531968 1155 4294967295 134512640 134702520 3221223952 3221033628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1155 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 188.96
Current children cumulated vsize (Kb) 10460

[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1321 0 0 0 19237 583 0 0 25 0 1 0 20205616 8531968 1156 4294967295 134512640 134702520 3221223952 3221151248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1156 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 198.22
Current children cumulated vsize (Kb) 10460

[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1322 0 0 0 20181 601 0 0 17 0 1 0 20205616 8531968 1157 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1157 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (Kb) 10460

[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1323 0 0 0 21134 617 0 0 25 0 1 0 20205616 8531968 1158 4294967295 134512640 134702520 3221223952 3220696508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1158 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (Kb) 10460

[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1324 0 0 0 22034 650 0 0 25 0 1 0 20205616 8531968 1159 4294967295 134512640 134702520 3221223952 3220878268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1159 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 226.86
Current children cumulated vsize (Kb) 10460

[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1324 0 0 0 22960 677 0 0 18 0 1 0 20205616 8531968 1159 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1159 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 236.39
Current children cumulated vsize (Kb) 10460

[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1326 0 0 0 23890 699 0 0 25 0 1 0 20205616 8531968 1161 4294967295 134512640 134702520 3221223952 3220731888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1161 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 245.91
Current children cumulated vsize (Kb) 10460

[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1327 0 0 0 24785 733 0 0 25 0 1 0 20205616 8531968 1162 4294967295 134512640 134702520 3221223952 3220909628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1162 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 255.2
Current children cumulated vsize (Kb) 10460

[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1328 0 0 0 25682 769 0 0 25 0 1 0 20205616 8531968 1163 4294967295 134512640 134702520 3221223952 3221047228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1163 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 264.53
Current children cumulated vsize (Kb) 10460

[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1328 0 0 0 26581 800 0 0 25 0 1 0 20205616 8531968 1163 4294967295 134512640 134702520 3221223952 3221160828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1163 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 273.83
Current children cumulated vsize (Kb) 10460

[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) T 5282 5282 4061 0 -1 0 1328 0 0 0 27532 814 0 0 17 0 1 0 20205616 8531968 1163 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1163 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 283.48
Current children cumulated vsize (Kb) 10460

[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1330 0 0 0 28477 832 0 0 25 0 1 0 20205616 8531968 1165 4294967295 134512640 134702520 3221223952 3220710908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5285/statm): 2083 1165 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 293.11
Current children cumulated vsize (Kb) 10460

[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5285
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20205609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 242 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5285/stat): 5285 (vallst) R 5282 5282 4061 0 -1 0 1331 0 0 0 29374 868 0 0 25 0 1 0 20205616 8531968 1166 4294967295 134512640 134702520 3221223952 3220895548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5285/statm): 2083 1166 413 48 0 2035 0
[pid=5285] vsize: 8332
Current children cumulated CPU time (s) 302.44
Current children cumulated vsize (Kb) 10460
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=5285) exited with status: 2
New process pid=5286
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=5286) exited with status: 0
New process pid=5287
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+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 624 0 0 0 17 2 0 0 22 0 1 0 20238595 4239360 595 4294967295 134512640 134702520 3221223712 3221223360 1074140573 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1035 595 413 48 0 987 0
[pid=5287] vsize: 4140
Current children cumulated CPU time (s) 312.14
Current children cumulated vsize (Kb) 6268

[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 884 0 0 0 979 14 0 0 22 0 1 0 20238595 5206016 854 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1271 854 413 48 0 1223 0
[pid=5287] vsize: 5084
Current children cumulated CPU time (s) 321.88
Current children cumulated vsize (Kb) 7212

[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 946 0 0 0 1800 73 0 0 25 0 1 0 20238595 7421952 916 4294967295 134512640 134702520 3221223712 3221149388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 916 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 330.68
Current children cumulated vsize (Kb) 9376

[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 950 0 0 0 2722 98 0 0 16 0 1 0 20238595 7421952 920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 920 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 340.15
Current children cumulated vsize (Kb) 9376

[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 952 0 0 0 3700 105 0 0 25 0 1 0 20238595 7421952 922 4294967295 134512640 134702520 3221223712 3220651308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 922 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 9376

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 955 0 0 0 4604 135 0 0 25 0 1 0 20238595 7421952 925 4294967295 134512640 134702520 3221223712 3220823648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 925 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 359.34
Current children cumulated vsize (Kb) 9376

[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 959 0 0 0 5508 167 0 0 25 0 1 0 20238595 7421952 929 4294967295 134512640 134702520 3221223712 3220953388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1812 929 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 368.7
Current children cumulated vsize (Kb) 9376

[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 962 0 0 0 6411 198 0 0 25 0 1 0 20238595 7421952 932 4294967295 134512640 134702520 3221223712 3221065068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1812 932 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 378.04
Current children cumulated vsize (Kb) 9376

[startup+410.026 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 967 0 0 0 7312 229 0 0 25 0 1 0 20238595 7421952 937 4294967295 134512640 134702520 3221223712 3221165568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1812 937 413 48 0 1764 0
[pid=5287] vsize: 7248
Current children cumulated CPU time (s) 387.36
Current children cumulated vsize (Kb) 9376

[startup+420.027 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 970 0 0 0 8281 239 0 0 19 0 1 0 20238595 7577600 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1850 940 413 48 0 1802 0
[pid=5287] vsize: 7400
Current children cumulated CPU time (s) 397.15
Current children cumulated vsize (Kb) 9528

[startup+430.028 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 970 0 0 0 9098 299 0 0 25 0 1 0 20238595 7516160 940 4294967295 134512640 134702520 3221223712 3221079968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 940 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 405.92
Current children cumulated vsize (Kb) 9468

[startup+440.028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 974 0 0 0 9996 336 0 0 25 0 1 0 20238595 7516160 944 4294967295 134512640 134702520 3221223712 3221176768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 944 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 415.27
Current children cumulated vsize (Kb) 9468

[startup+450.029 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 975 0 0 0 10973 342 0 0 17 0 1 0 20238595 7516160 945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 945 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 425.1
Current children cumulated vsize (Kb) 9468

[startup+460.029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 980 0 0 0 11903 365 0 0 25 0 1 0 20238595 7516160 950 4294967295 134512640 134702520 3221223712 3220727488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 950 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 434.63
Current children cumulated vsize (Kb) 9468

[startup+470.031 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 982 0 0 0 12805 397 0 0 25 0 1 0 20238595 7516160 952 4294967295 134512640 134702520 3221223712 3220882528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 952 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 443.97
Current children cumulated vsize (Kb) 9468

[startup+480.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 983 0 0 0 13708 428 0 0 25 0 1 0 20238595 7516160 953 4294967295 134512640 134702520 3221223712 3221004448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 953 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 453.31
Current children cumulated vsize (Kb) 9468

[startup+490.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 988 0 0 0 14607 460 0 0 25 0 1 0 20238595 7516160 958 4294967295 134512640 134702520 3221223712 3221109568 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 958 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 462.62
Current children cumulated vsize (Kb) 9468

[startup+500.032 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 990 0 0 0 15556 476 0 0 20 0 1 0 20238595 7516160 960 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 960 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 472.27
Current children cumulated vsize (Kb) 9468

[startup+510.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 991 0 0 0 16393 528 0 0 25 0 1 0 20238595 7516160 961 4294967295 134512640 134702520 3221223712 3221021728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 961 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 481.16
Current children cumulated vsize (Kb) 9468

[startup+520.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 991 0 0 0 17287 561 0 0 25 0 1 0 20238595 7516160 961 4294967295 134512640 134702520 3221223712 3221129876 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 961 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 490.43
Current children cumulated vsize (Kb) 9468

[startup+530.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 993 0 0 0 18183 595 0 0 17 0 1 0 20238595 7516160 963 4294967295 134512640 134702520 3221223712 3221222848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 963 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 499.73
Current children cumulated vsize (Kb) 9468

[startup+540.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 993 0 0 0 19183 595 0 0 25 0 1 0 20238595 7516160 963 4294967295 134512640 134702520 3221223712 3220625408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 963 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 509.73
Current children cumulated vsize (Kb) 9468

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 998 0 0 0 20081 631 0 0 25 0 1 0 20238595 7516160 968 4294967295 134512640 134702520 3221223712 3220819968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 968 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 519.07
Current children cumulated vsize (Kb) 9468

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1000 0 0 0 20978 662 0 0 25 0 1 0 20238595 7516160 970 4294967295 134512640 134702520 3221223712 3220961868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1835 970 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 528.35
Current children cumulated vsize (Kb) 9468

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1000 0 0 0 21879 690 0 0 25 0 1 0 20238595 7516160 970 4294967295 134512640 134702520 3221223712 3221075808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1835 970 413 48 0 1787 0
[pid=5287] vsize: 7340
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (Kb) 9468

[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1002 0 0 0 22817 710 0 0 24 0 1 0 20238595 7655424 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1869 972 413 48 0 1821 0
[pid=5287] vsize: 7476
Current children cumulated CPU time (s) 547.22
Current children cumulated vsize (Kb) 9604

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1002 0 0 0 23661 762 0 0 25 0 1 0 20238595 7593984 972 4294967295 134512640 134702520 3221223712 3220984748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1854 972 413 48 0 1806 0
[pid=5287] vsize: 7416
Current children cumulated CPU time (s) 556.18
Current children cumulated vsize (Kb) 9544

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1097 0 0 0 24560 795 0 0 25 0 1 0 20238595 7839744 1067 4294967295 134512640 134702520 3221223712 3221098668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1914 1067 413 48 0 1866 0
[pid=5287] vsize: 7656
Current children cumulated CPU time (s) 565.5
Current children cumulated vsize (Kb) 9784

[startup+610.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1143 0 0 0 25459 829 0 0 21 0 1 0 20238595 8085504 1113 4294967295 134512640 134702520 3221223712 3221200588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1974 1113 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 574.83
Current children cumulated vsize (Kb) 10024

[startup+620.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1143 0 0 0 26459 829 0 0 25 0 1 0 20238595 8085504 1113 4294967295 134512640 134702520 3221223712 3220487948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 1974 1113 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 584.83
Current children cumulated vsize (Kb) 10024

[startup+630.041 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1173 0 0 0 27356 863 0 0 25 0 1 0 20238595 8085504 1143 4294967295 134512640 134702520 3221223712 3220783148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1974 1143 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 594.14
Current children cumulated vsize (Kb) 10024

[startup+640.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1178 0 0 0 28257 895 0 0 25 0 1 0 20238595 8085504 1148 4294967295 134512640 134702520 3221223712 3220937868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 1974 1148 413 48 0 1926 0
[pid=5287] vsize: 7896
Current children cumulated CPU time (s) 603.47
Current children cumulated vsize (Kb) 10024

[startup+650.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1189 0 0 0 29147 930 0 0 25 0 1 0 20238595 8331264 1159 4294967295 134512640 134702520 3221223712 3221067488 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2034 1159 413 48 0 1986 0
[pid=5287] vsize: 8136
Current children cumulated CPU time (s) 612.72
Current children cumulated vsize (Kb) 10264

[startup+660.042 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1191 0 0 0 30081 953 0 0 24 0 1 0 20238595 8478720 1161 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2070 1161 413 48 0 2022 0
[pid=5287] vsize: 8280
Current children cumulated CPU time (s) 622.29
Current children cumulated vsize (Kb) 10408

[startup+670.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1196 0 0 0 30921 1006 0 0 25 0 1 0 20238595 8417280 1166 4294967295 134512640 134702520 3221223712 3220981228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1166 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 631.22
Current children cumulated vsize (Kb) 10348

[startup+680.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1197 0 0 0 31823 1039 0 0 25 0 1 0 20238595 8417280 1167 4294967295 134512640 134702520 3221223712 3221095328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1167 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 640.57
Current children cumulated vsize (Kb) 10348

[startup+690.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1203 0 0 0 32720 1071 0 0 21 0 1 0 20238595 8417280 1173 4294967295 134512640 134702520 3221223712 3221200908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1173 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 649.86
Current children cumulated vsize (Kb) 10348

[startup+700.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1203 0 0 0 33720 1071 0 0 25 0 1 0 20238595 8417280 1173 4294967295 134512640 134702520 3221223712 3220490688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1173 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 659.86
Current children cumulated vsize (Kb) 10348

[startup+710.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1204 0 0 0 34618 1105 0 0 25 0 1 0 20238595 8417280 1174 4294967295 134512640 134702520 3221223712 3220775808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1174 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 669.18
Current children cumulated vsize (Kb) 10348

[startup+720.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1208 0 0 0 35513 1139 0 0 25 0 1 0 20238595 8417280 1178 4294967295 134512640 134702520 3221223712 3220933248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1178 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 678.47
Current children cumulated vsize (Kb) 10348

[startup+730.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1213 0 0 0 36409 1175 0 0 25 0 1 0 20238595 8417280 1183 4294967295 134512640 134702520 3221223712 3221059968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1183 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 687.79
Current children cumulated vsize (Kb) 10348

[startup+740.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1215 0 0 0 37344 1198 0 0 23 0 1 0 20238595 8417280 1185 4294967295 134512640 134702520 3221223712 3221222608 134552354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1185 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 697.37
Current children cumulated vsize (Kb) 10348

[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1215 0 0 0 38189 1249 0 0 25 0 1 0 20238595 8417280 1185 4294967295 134512640 134702520 3221223712 3220975328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1185 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 706.33
Current children cumulated vsize (Kb) 10348

[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1217 0 0 0 39087 1283 0 0 25 0 1 0 20238595 8417280 1187 4294967295 134512640 134702520 3221223712 3221097728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1187 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 715.65
Current children cumulated vsize (Kb) 10348

[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1220 0 0 0 39983 1317 0 0 20 0 1 0 20238595 8417280 1190 4294967295 134512640 134702520 3221223712 3221204748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1190 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 724.95
Current children cumulated vsize (Kb) 10348

[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1220 0 0 0 40983 1317 0 0 25 0 1 0 20238595 8417280 1190 4294967295 134512640 134702520 3221223712 3220523788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1190 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 734.95
Current children cumulated vsize (Kb) 10348

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1226 0 0 0 41880 1350 0 0 25 0 1 0 20238595 8417280 1196 4294967295 134512640 134702520 3221223712 3220786508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1196 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 744.25
Current children cumulated vsize (Kb) 10348

[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1227 0 0 0 42774 1388 0 0 25 0 1 0 20238595 8417280 1197 4294967295 134512640 134702520 3221223712 3220941568 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2055 1197 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 753.57
Current children cumulated vsize (Kb) 10348

[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1229 0 0 0 43671 1424 0 0 25 0 1 0 20238595 8417280 1199 4294967295 134512640 134702520 3221223712 3221068128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2055 1199 413 48 0 2007 0
[pid=5287] vsize: 8220
Current children cumulated CPU time (s) 762.9
Current children cumulated vsize (Kb) 10348

[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1233 0 0 0 44607 1447 0 0 24 0 1 0 20238595 8556544 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2089 1203 413 48 0 2041 0
[pid=5287] vsize: 8356
Current children cumulated CPU time (s) 772.49
Current children cumulated vsize (Kb) 10484

[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1236 0 0 0 45447 1501 0 0 25 0 1 0 20238595 8527872 1206 4294967295 134512640 134702520 3221223712 3220986528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1206 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 781.43
Current children cumulated vsize (Kb) 10456

[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1238 0 0 0 46341 1535 0 0 25 0 1 0 20238595 8527872 1208 4294967295 134512640 134702520 3221223712 3221107968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1208 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 790.71
Current children cumulated vsize (Kb) 10456

[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1241 0 0 0 47234 1571 0 0 18 0 1 0 20238595 8527872 1211 4294967295 134512640 134702520 3221223712 3221214508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1211 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 800
Current children cumulated vsize (Kb) 10456

[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1241 0 0 0 48234 1571 0 0 25 0 1 0 20238595 8527872 1211 4294967295 134512640 134702520 3221223712 3220582848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1211 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 810
Current children cumulated vsize (Kb) 10456

[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1244 0 0 0 49132 1605 0 0 25 0 1 0 20238595 8527872 1214 4294967295 134512640 134702520 3221223712 3220809568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1214 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 819.32
Current children cumulated vsize (Kb) 10456

[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1246 0 0 0 50030 1639 0 0 25 0 1 0 20238595 8527872 1216 4294967295 134512640 134702520 3221223712 3220959788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1216 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 828.64
Current children cumulated vsize (Kb) 10456

[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1249 0 0 0 50924 1674 0 0 25 0 1 0 20238595 8527872 1219 4294967295 134512640 134702520 3221223712 3221085728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1219 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (Kb) 10456

[startup+900.058 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1252 0 0 0 51868 1690 0 0 24 0 1 0 20238595 8527872 1222 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1222 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 847.53
Current children cumulated vsize (Kb) 10456

[startup+910.058 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1252 0 0 0 52695 1747 0 0 25 0 1 0 20238595 8527872 1222 4294967295 134512640 134702520 3221223712 3221009888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1222 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 856.37
Current children cumulated vsize (Kb) 10456

[startup+920.059 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1253 0 0 0 53586 1784 0 0 25 0 1 0 20238595 8527872 1223 4294967295 134512640 134702520 3221223712 3221127648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1223 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 865.65
Current children cumulated vsize (Kb) 10456

[startup+930.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1254 0 0 0 54490 1815 0 0 16 0 1 0 20238595 8527872 1224 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1224 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 875
Current children cumulated vsize (Kb) 10456

[startup+940.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1256 0 0 0 55482 1818 0 0 25 0 1 0 20238595 8527872 1226 4294967295 134512640 134702520 3221223712 3220634988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1226 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 884.95
Current children cumulated vsize (Kb) 10456

[startup+950.061 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1261 0 0 0 56370 1855 0 0 25 0 1 0 20238595 8527872 1231 4294967295 134512640 134702520 3221223712 3220840608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1231 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 894.2
Current children cumulated vsize (Kb) 10456

[startup+960.061 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1263 0 0 0 57253 1892 0 0 25 0 1 0 20238595 8527872 1233 4294967295 134512640 134702520 3221223712 3220993548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2082 1233 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 903.4
Current children cumulated vsize (Kb) 10456

[startup+970.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1264 0 0 0 58143 1931 0 0 25 0 1 0 20238595 8527872 1234 4294967295 134512640 134702520 3221223712 3221113548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2082 1234 413 48 0 2034 0
[pid=5287] vsize: 8328
Current children cumulated CPU time (s) 912.69
Current children cumulated vsize (Kb) 10456

[startup+980.063 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1265 0 0 0 59096 1946 0 0 23 0 1 0 20238595 8679424 1235 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2119 1235 413 48 0 2071 0
[pid=5287] vsize: 8476
Current children cumulated CPU time (s) 922.37
Current children cumulated vsize (Kb) 10604

[startup+990.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1265 0 0 0 59923 2004 0 0 25 0 1 0 20238595 8617984 1235 4294967295 134512640 134702520 3221223712 3221033072 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1235 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 931.22
Current children cumulated vsize (Kb) 10544

[startup+1000.06 s]
Raw data (loadavg): 1.09 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1265 0 0 0 60815 2040 0 0 25 0 1 0 20238595 8617984 1235 4294967295 134512640 134702520 3221223712 3221145388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1235 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 940.5
Current children cumulated vsize (Kb) 10544

[startup+1010.07 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1268 0 0 0 61747 2062 0 0 16 0 1 0 20238595 8617984 1238 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1238 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 950.04
Current children cumulated vsize (Kb) 10544

[startup+1020.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1270 0 0 0 62707 2076 0 0 25 0 1 0 20238595 8617984 1240 4294967295 134512640 134702520 3221223712 3220680928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1240 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 959.78
Current children cumulated vsize (Kb) 10544

[startup+1030.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1273 0 0 0 63602 2111 0 0 25 0 1 0 20238595 8617984 1243 4294967295 134512640 134702520 3221223712 3220867328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1243 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 969.08
Current children cumulated vsize (Kb) 10544

[startup+1040.07 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1276 0 0 0 64493 2147 0 0 25 0 1 0 20238595 8617984 1246 4294967295 134512640 134702520 3221223712 3221008448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1246 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 978.35
Current children cumulated vsize (Kb) 10544

[startup+1050.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1279 0 0 0 65385 2180 0 0 25 0 1 0 20238595 8617984 1249 4294967295 134512640 134702520 3221223712 3221125248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1249 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 987.6
Current children cumulated vsize (Kb) 10544

[startup+1060.07 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1280 0 0 0 66338 2195 0 0 23 0 1 0 20238595 8617984 1250 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1250 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 997.28
Current children cumulated vsize (Kb) 10544

[startup+1070.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1281 0 0 0 67156 2258 0 0 25 0 1 0 20238595 8617984 1251 4294967295 134512640 134702520 3221223712 3221052928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1251 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1006.09
Current children cumulated vsize (Kb) 10544

[startup+1080.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1283 0 0 0 68047 2290 0 0 25 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3221164588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1015.32
Current children cumulated vsize (Kb) 10544

[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1283 0 0 0 68999 2307 0 0 17 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1025.01
Current children cumulated vsize (Kb) 10544

[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1283 0 0 0 69936 2326 0 0 25 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3220715468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1034.57
Current children cumulated vsize (Kb) 10544

[startup+1110.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1283 0 0 0 70827 2362 0 0 25 0 1 0 20238595 8617984 1253 4294967295 134512640 134702520 3221223712 3220891468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1253 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1043.84
Current children cumulated vsize (Kb) 10544

[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1287 0 0 0 71719 2395 0 0 25 0 1 0 20238595 8617984 1257 4294967295 134512640 134702520 3221223712 3221029868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1257 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1053.09
Current children cumulated vsize (Kb) 10544

[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1290 0 0 0 72606 2430 0 0 25 0 1 0 20238595 8617984 1260 4294967295 134512640 134702520 3221223712 3221150048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1260 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (Kb) 10544

[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1292 0 0 0 73567 2441 0 0 21 0 1 0 20238595 8617984 1262 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1262 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1072.03
Current children cumulated vsize (Kb) 10544

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1293 0 0 0 74368 2509 0 0 25 0 1 0 20238595 8617984 1263 4294967295 134512640 134702520 3221223712 3221084448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1263 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1080.72
Current children cumulated vsize (Kb) 10544

[startup+1160.08 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1294 0 0 0 75254 2543 0 0 22 0 1 0 20238595 8617984 1264 4294967295 134512640 134702520 3221223712 3221197548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1264 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1089.92
Current children cumulated vsize (Kb) 10544

[startup+1170.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1294 0 0 0 76255 2543 0 0 25 0 1 0 20238595 8617984 1264 4294967295 134512640 134702520 3221223712 3220446368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1264 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1099.93
Current children cumulated vsize (Kb) 10544

[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1297 0 0 0 77140 2580 0 0 25 0 1 0 20238595 8617984 1267 4294967295 134512640 134702520 3221223712 3220780608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1267 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1109.15
Current children cumulated vsize (Kb) 10544

[startup+1190.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1300 0 0 0 78031 2614 0 0 25 0 1 0 20238595 8617984 1270 4294967295 134512640 134702520 3221223712 3220942688 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1270 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1118.4
Current children cumulated vsize (Kb) 10544

[startup+1200.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1301 0 0 0 78915 2651 0 0 25 0 1 0 20238595 8617984 1271 4294967295 134512640 134702520 3221223712 3221076128 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5287/statm): 2104 1271 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1127.61
Current children cumulated vsize (Kb) 10544

[startup+1210.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1302 0 0 0 79803 2685 0 0 23 0 1 0 20238595 8617984 1272 4294967295 134512640 134702520 3221223712 3221193228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1272 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1136.83
Current children cumulated vsize (Kb) 10544

[startup+1220.08 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) T 5282 5282 4061 0 -1 0 1303 0 0 0 80801 2686 0 0 25 0 1 0 20238595 8617984 1273 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2104 1273 413 48 0 2056 0
[pid=5287] vsize: 8416
Current children cumulated CPU time (s) 1146.82
Current children cumulated vsize (Kb) 10544

[startup+1230.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1339 0 0 0 81570 2762 0 0 25 0 1 0 20238595 8699904 1309 4294967295 134512640 134702520 3221223712 3221135168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1309 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1155.27
Current children cumulated vsize (Kb) 10624

[startup+1240.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1340 0 0 0 82484 2791 0 0 16 0 1 0 20238595 8699904 1310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1310 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1164.7
Current children cumulated vsize (Kb) 10624

[startup+1250.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1368 0 0 0 83456 2801 0 0 25 0 1 0 20238595 8699904 1334 4294967295 134512640 134702520 3221223712 3220675168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1334 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1174.52
Current children cumulated vsize (Kb) 10624

[startup+1260.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1371 0 0 0 84344 2838 0 0 25 0 1 0 20238595 8699904 1337 4294967295 134512640 134702520 3221223712 3220874208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2124 1337 413 48 0 2076 0
[pid=5287] vsize: 8496
Current children cumulated CPU time (s) 1183.77
Current children cumulated vsize (Kb) 10624

[startup+1270.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1389 0 0 0 85232 2872 0 0 25 0 1 0 20238595 8945664 1355 4294967295 134512640 134702520 3221223712 3221023808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2184 1355 413 48 0 2136 0
[pid=5287] vsize: 8736
Current children cumulated CPU time (s) 1192.99
Current children cumulated vsize (Kb) 10864

[startup+1280.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1394 0 0 0 86108 2907 0 0 25 0 1 0 20238595 8945664 1360 4294967295 134512640 134702520 3221223712 3221154668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2184 1360 413 48 0 2136 0
[pid=5287] vsize: 8736
Current children cumulated CPU time (s) 1202.1
Current children cumulated vsize (Kb) 10864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5287
Raw data (/proc/5282/stat): 5282 (vallstSAT2005PB) S 5281 5282 4061 0 -1 0 378 1706 0 0 2 1 30308 884 19 0 1 0 20205609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5282/statm): 532 248 485 147 0 385 0
[pid=5282] vsize: 2128
Raw data (/proc/5287/stat): 5287 (vallst) R 5282 5282 4061 0 -1 0 1394 0 0 0 86108 2907 0 0 25 0 1 0 20238595 8945664 1360 4294967295 134512640 134702520 3221223712 3221154688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5287/statm): 2184 1360 413 48 0 2136 0
[pid=5287] vsize: 8736
Current children cumulated CPU time (s) 1202.1
Current children cumulated vsize (Kb) 10864

Sending SIGTERM to -5282
Sleeping 2 seconds
New process pid=5289
New process pid=5290
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/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/4044/stat
open syscall for file /proc/4044/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/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/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/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/5243/stat
open syscall for file /proc/5243/status
open syscall for file /proc/5243/cmdline
open syscall for file /proc/5243/environ
open syscall for file /proc/5281/stat
open syscall for file /proc/5281/status
open syscall for file /proc/5281/cmdline
open syscall for file /proc/5281/environ
open syscall for file /proc/5282/stat
open syscall for file /proc/5282/status
open syscall for file /proc/5282/cmdline
open syscall for file /proc/5282/environ
open syscall for file /proc/5287/stat
open syscall for file /proc/5287/status
open syscall for file /proc/5287/cmdline
open syscall for file /proc/5287/environ
open syscall for file /proc/5289/stat
open syscall for file /proc/5289/status
open syscall for file /proc/5289/cmdline
open syscall for file /proc/5289/environ
open syscall for file /proc/5290/stat
open syscall for file /proc/5290/status
open syscall for file /proc/5290/cmdline
open syscall for file /proc/5290/environ
One traced child (pid=5289) exited with status: 0
One traced child (pid=5290) exited with status: 0
New process pid=5291
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5291) exited with status: 0
New process pid=5292
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=5292) exited with status: 0
One traced child (pid=5282) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5282
One traced child (pid=5287) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1282.09
CPU time (s): 892.161
CPU user time (s): 863.082
CPU system time (s): 29.0796
CPU usage (%): 69.5863
Max. virtual memory (cumulated for all children) (Kb): 10864

Verifier Data

ERROR: no interpretation found !