Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb
MD5SUMe84e1f1ad995b93190fbcfcc22f676bd
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 44575
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 3578049115531220877312
Number of bits of the sum of numbers in the objective function 72
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 3578151515531220877312
Number of bits of the biggest sum of numbers72
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables44575
Total number of constraints7680
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6416
Number of constraints which are nor clauses,nor cardinality constraints1264
Minimum length of a constraint1
Maximum length of a constraint44575

Trace number 9148

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 10:59:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7807 boxname=wulflinc3 idbench=775 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e84e1f1ad995b93190fbcfcc22f676bd  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-trento1.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-trento1.opb 0
IDLAUNCH: 7807
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        940580 kB
Buffers:         10084 kB
Cached:          66688 kB
SwapCached:          0 kB
Active:          47488 kB
Inactive:        32180 kB
HighTotal:      131008 kB
HighFree:        60032 kB
LowTotal:       903652 kB
LowFree:        880548 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:             8776 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:19:41 (client local time) WITH STATUS 0 IN 297.091 SECONDS
stats: 7807 7 297.091 0

Solver Data

1:
seed: 0
Nr of vars set: 18012  (#equs: 0)
Nr of vars set: 18012  (#equs: 0)
#decisions: 12433;  #end-nodes: 8820;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 2512, #non-axs: 10
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: 18012  (#equs: 0)
Time taken: 15 min, 13 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/5185/stat): 5185 (vallstSAT2005PB) R 5184 5185 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19672185 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5185/statm): 174 3 169 147 0 27 0
[pid=5185] 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=5186
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=5186) exited with status: 0
New process pid=5187
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=5187) exited with status: 0
New process pid=5188
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/wulflinc3/normalized-mps-v2-20-10-trento1.opb

[startup+10.0031 s]
Raw data (loadavg): 0.89 0.94 0.92 2/56 5188
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2399 0 0 0 973 12 0 0 25 0 1 0 19672191 14098432 2240 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 3442 2240 413 48 0 3394 0
[pid=5188] vsize: 13768
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 15896
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.005 s]
Raw data (loadavg): 0.90 0.94 0.92 2/56 5188
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2901 0 0 0 1959 22 0 0 25 0 1 0 19672191 14184448 2631 4294967295 134512640 134702520 3221223952 3221139168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 3463 2631 413 48 0 3415 0
[pid=5188] vsize: 13852
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 15980

[startup+30.0058 s]
Raw data (loadavg): 0.92 0.95 0.92 2/56 5188
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2934 0 0 0 2959 22 0 0 25 0 1 0 19672191 14319616 2664 4294967295 134512640 134702520 3221223952 3221004108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 3496 2664 413 48 0 3448 0
[pid=5188] vsize: 13984
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 16112

[startup+40.0067 s]
Raw data (loadavg): 1.01 0.96 0.92 2/60 5231
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2970 0 0 0 3965 22 0 0 25 0 1 0 19672191 14467072 2700 4294967295 134512640 134702520 3221223952 3220855788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3532 2700 413 48 0 3484 0
[pid=5188] vsize: 14128
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (Kb) 16256

[startup+50.0685 s]
Raw data (loadavg): 1.08 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3008 0 0 0 4965 23 0 0 25 0 1 0 19672191 14622720 2738 4294967295 134512640 134702520 3221223952 3220697568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3570 2738 413 48 0 3522 0
[pid=5188] vsize: 14280
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 16408

[startup+60.0693 s]
Raw data (loadavg): 1.07 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3050 0 0 0 5965 23 0 0 25 0 1 0 19672191 14794752 2780 4294967295 134512640 134702520 3221223952 3220527648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3612 2780 413 48 0 3564 0
[pid=5188] vsize: 14448
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 16576

[startup+70.0702 s]
Raw data (loadavg): 1.06 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3095 0 0 0 6965 23 0 0 25 0 1 0 19672191 14979072 2825 4294967295 134512640 134702520 3221223952 3220342188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3657 2825 413 48 0 3609 0
[pid=5188] vsize: 14628
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 16756

[startup+80.071 s]
Raw data (loadavg): 1.05 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3145 0 0 0 7965 23 0 0 25 0 1 0 19672191 15183872 2875 4294967295 134512640 134702520 3221223952 3220136128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3707 2875 413 48 0 3659 0
[pid=5188] vsize: 14828
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (Kb) 16956

[startup+90.0708 s]
Raw data (loadavg): 1.04 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3202 0 0 0 8965 23 0 0 25 0 1 0 19672191 15417344 2932 4294967295 134512640 134702520 3221223952 3219902528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3764 2932 413 48 0 3716 0
[pid=5188] vsize: 15056
Current children cumulated CPU time (s) 89.89
Current children cumulated vsize (Kb) 17184

[startup+100.072 s]
Raw data (loadavg): 1.11 1.00 0.93 2/56 5245
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3270 0 0 0 9965 23 0 0 25 0 1 0 19672191 15695872 3000 4294967295 134512640 134702520 3221223952 3219626988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3832 3000 413 48 0 3784 0
[pid=5188] vsize: 15328
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (Kb) 17456

[startup+110.073 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 5247
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3356 0 0 0 10965 24 0 0 25 0 1 0 19672191 16048128 3086 4294967295 134512640 134702520 3221223952 3219273088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3918 3086 413 48 0 3870 0
[pid=5188] vsize: 15672
Current children cumulated CPU time (s) 109.9
Current children cumulated vsize (Kb) 17800

[startup+120.073 s]
Raw data (loadavg): 1.08 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3513 0 0 0 11965 24 0 0 25 0 1 0 19672191 16691200 3243 4294967295 134512640 134702520 3221223952 3218630688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 4075 3243 413 48 0 4027 0
[pid=5188] vsize: 16300
Current children cumulated CPU time (s) 119.9
Current children cumulated vsize (Kb) 18428

[startup+130.074 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 12957 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3221122428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 129.84
Current children cumulated vsize (Kb) 30656

[startup+140.074 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 13957 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3221001008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 30656

[startup+150.075 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 14958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220874268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 30656

[startup+160.075 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 15958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220741168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (Kb) 30656

[startup+170.076 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 16958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220601788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (Kb) 30656

[startup+180.076 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 17958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220455568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (Kb) 30656

[startup+190.077 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 18958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220299888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 189.85
Current children cumulated vsize (Kb) 30656

[startup+200.078 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 19958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220132508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (Kb) 30656

[startup+210.079 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 20958 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219951228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 209.86
Current children cumulated vsize (Kb) 30656

[startup+220.081 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 21959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219751248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 219.87
Current children cumulated vsize (Kb) 30656

[startup+230.082 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 22959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219525488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 229.87
Current children cumulated vsize (Kb) 30656

[startup+240.082 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 23959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219262288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 239.87
Current children cumulated vsize (Kb) 30656

[startup+250.083 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 24959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3218862928 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 249.87
Current children cumulated vsize (Kb) 30656

[startup+260.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 25950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221151888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 259.8
Current children cumulated vsize (Kb) 30656

[startup+270.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 26950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221033148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 269.8
Current children cumulated vsize (Kb) 30656

[startup+280.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 27950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220909328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (Kb) 30656

[startup+290.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 28950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220779408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 289.8
Current children cumulated vsize (Kb) 30656

[startup+300.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 29951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220643068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 299.81
Current children cumulated vsize (Kb) 30656

[startup+310.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 30951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220499248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 309.81
Current children cumulated vsize (Kb) 30656

[startup+320.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 31951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220346608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (Kb) 30656

[startup+330.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 32951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220182928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 329.81
Current children cumulated vsize (Kb) 30656

[startup+340.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 33951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220006108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (Kb) 30656

[startup+350.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 34951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219812348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (Kb) 30656

[startup+360.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 35951 30 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219595088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 359.82
Current children cumulated vsize (Kb) 30656

[startup+370.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 36951 30 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219344828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 369.82
Current children cumulated vsize (Kb) 30656

[startup+380.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 37951 30 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219039888 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 379.82
Current children cumulated vsize (Kb) 30656

[startup+390.094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 38944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221185968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 389.76
Current children cumulated vsize (Kb) 30656

[startup+400.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 39944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221068688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 399.76
Current children cumulated vsize (Kb) 30656

[startup+410.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 40944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220946288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 409.76
Current children cumulated vsize (Kb) 30656

[startup+420.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 41944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220818288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 419.76
Current children cumulated vsize (Kb) 30656

[startup+430.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 42944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220683888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 429.76
Current children cumulated vsize (Kb) 30656

[startup+440.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 43944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220542448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 439.76
Current children cumulated vsize (Kb) 30656

[startup+450.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 44944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220392528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 449.76
Current children cumulated vsize (Kb) 30656

[startup+460.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 45945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220230448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 459.77
Current children cumulated vsize (Kb) 30656

[startup+470.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 46945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220055548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 469.77
Current children cumulated vsize (Kb) 30656

[startup+480.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 47945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219864828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 479.77
Current children cumulated vsize (Kb) 30656

[startup+490.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 48945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219651868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 489.77
Current children cumulated vsize (Kb) 30656

[startup+500.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 49946 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219408368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 499.78
Current children cumulated vsize (Kb) 30656

[startup+510.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 50946 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219116028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 509.78
Current children cumulated vsize (Kb) 30656

[startup+520.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 51937 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3221211568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (Kb) 30656

[startup+530.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 52938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3221093968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 529.73
Current children cumulated vsize (Kb) 30656

[startup+540.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 53938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220971408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 539.73
Current children cumulated vsize (Kb) 30656

[startup+550.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 54938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220843088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 549.73
Current children cumulated vsize (Kb) 30656

[startup+560.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 55938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220708508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 559.73
Current children cumulated vsize (Kb) 30656

[startup+570.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 56938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220566928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 569.73
Current children cumulated vsize (Kb) 30656

[startup+580.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 57939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220416848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 579.74
Current children cumulated vsize (Kb) 30656

[startup+590.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 58939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220256688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 589.74
Current children cumulated vsize (Kb) 30656

[startup+600.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 59939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220083888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 599.74
Current children cumulated vsize (Kb) 30656

[startup+610.108 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 60939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219896028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 609.74
Current children cumulated vsize (Kb) 30656

[startup+620.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 61939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219687068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 619.74
Current children cumulated vsize (Kb) 30656

[startup+630.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 62940 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219449168 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 629.75
Current children cumulated vsize (Kb) 30656

[startup+640.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 63940 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219166428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 639.75
Current children cumulated vsize (Kb) 30656

[startup+650.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 64940 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3218468048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 649.75
Current children cumulated vsize (Kb) 30656

[startup+660.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 65931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3221112848 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 659.7
Current children cumulated vsize (Kb) 30656

[startup+670.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 66931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220991088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 669.7
Current children cumulated vsize (Kb) 30656

[startup+680.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 67931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220863868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 679.7
Current children cumulated vsize (Kb) 30656

[startup+690.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 68931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220730288 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 689.7
Current children cumulated vsize (Kb) 30656

[startup+700.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 69932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220589948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 699.71
Current children cumulated vsize (Kb) 30656

[startup+710.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 70932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220441148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 709.71
Current children cumulated vsize (Kb) 30656

[startup+720.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 71932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220282768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 719.71
Current children cumulated vsize (Kb) 30656

[startup+730.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 72932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220113648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 729.71
Current children cumulated vsize (Kb) 30656

[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 73932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219930608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 739.71
Current children cumulated vsize (Kb) 30656

[startup+750.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 74932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219728208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 749.71
Current children cumulated vsize (Kb) 30656

[startup+760.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 75933 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219499228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 759.72
Current children cumulated vsize (Kb) 30656

[startup+770.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 76933 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219230768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 769.72
Current children cumulated vsize (Kb) 30656

[startup+780.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 77933 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3218775088 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 779.72
Current children cumulated vsize (Kb) 30656

[startup+790.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 78923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3221139088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 789.66
Current children cumulated vsize (Kb) 30656

[startup+800.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 79923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3221018588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 799.66
Current children cumulated vsize (Kb) 30656

[startup+810.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 80923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220892508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 809.66
Current children cumulated vsize (Kb) 30656

[startup+820.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 81923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220760528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 819.66
Current children cumulated vsize (Kb) 30656

[startup+830.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 82924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220621628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 829.67
Current children cumulated vsize (Kb) 30656

[startup+840.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 83924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220474928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 839.67
Current children cumulated vsize (Kb) 30656

[startup+850.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 84924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220318928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 849.67
Current children cumulated vsize (Kb) 30656

[startup+860.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 85924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220151088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 859.67
Current children cumulated vsize (Kb) 30656

[startup+870.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 86925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219969488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 869.68
Current children cumulated vsize (Kb) 30656

[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 87925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219769308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 879.68
Current children cumulated vsize (Kb) 30656

[startup+890.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 88925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219543568 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 889.68
Current children cumulated vsize (Kb) 30656

[startup+900.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 89925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219280688 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 899.68
Current children cumulated vsize (Kb) 30656

[startup+910.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 90925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3218901328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 909.68
Current children cumulated vsize (Kb) 30656
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=5188) exited with status: 2
New process pid=5252
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=5252) exited with status: 0
New process pid=5253
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+920.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2178 0 0 0 508 9 0 0 25 0 1 0 19763684 11419648 2148 4294967295 134512640 134702520 3221223712 3221191388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2788 2148 413 48 0 2740 0
[pid=5253] vsize: 11152
Current children cumulated CPU time (s) 919.59
Current children cumulated vsize (Kb) 13280

[startup+930.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2204 0 0 0 1508 9 0 0 25 0 1 0 19763684 11526144 2174 4294967295 134512640 134702520 3221223712 3221083888 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2814 2174 413 48 0 2766 0
[pid=5253] vsize: 11256
Current children cumulated CPU time (s) 929.59
Current children cumulated vsize (Kb) 13384

[startup+940.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2239 0 0 0 2508 9 0 0 25 0 1 0 19763684 11669504 2209 4294967295 134512640 134702520 3221223712 3220941968 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2849 2209 413 48 0 2801 0
[pid=5253] vsize: 11396
Current children cumulated CPU time (s) 939.59
Current children cumulated vsize (Kb) 13524

[startup+950.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2276 0 0 0 3508 9 0 0 25 0 1 0 19763684 11821056 2246 4294967295 134512640 134702520 3221223712 3220791228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2886 2246 413 48 0 2838 0
[pid=5253] vsize: 11544
Current children cumulated CPU time (s) 949.59
Current children cumulated vsize (Kb) 13672

[startup+960.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2315 0 0 0 4508 10 0 0 25 0 1 0 19763684 11980800 2285 4294967295 134512640 134702520 3221223712 3220630268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2925 2285 413 48 0 2877 0
[pid=5253] vsize: 11700
Current children cumulated CPU time (s) 959.6
Current children cumulated vsize (Kb) 13828

[startup+970.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2357 0 0 0 5508 10 0 0 25 0 1 0 19763684 12152832 2327 4294967295 134512640 134702520 3221223712 3220456988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2967 2327 413 48 0 2919 0
[pid=5253] vsize: 11868
Current children cumulated CPU time (s) 969.6
Current children cumulated vsize (Kb) 13996

[startup+980.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2403 0 0 0 6508 10 0 0 25 0 1 0 19763684 12341248 2373 4294967295 134512640 134702520 3221223712 3220267088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3013 2373 413 48 0 2965 0
[pid=5253] vsize: 12052
Current children cumulated CPU time (s) 979.6
Current children cumulated vsize (Kb) 14180

[startup+990.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2455 0 0 0 7508 10 0 0 25 0 1 0 19763684 12554240 2425 4294967295 134512640 134702520 3221223712 3220054288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3065 2425 413 48 0 3017 0
[pid=5253] vsize: 12260
Current children cumulated CPU time (s) 989.6
Current children cumulated vsize (Kb) 14388

[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2515 0 0 0 8508 10 0 0 25 0 1 0 19763684 12800000 2485 4294967295 134512640 134702520 3221223712 3219810428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3125 2485 413 48 0 3077 0
[pid=5253] vsize: 12500
Current children cumulated CPU time (s) 999.6
Current children cumulated vsize (Kb) 14628

[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2587 0 0 0 9508 10 0 0 25 0 1 0 19763684 13094912 2557 4294967295 134512640 134702520 3221223712 3219517008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3197 2557 413 48 0 3149 0
[pid=5253] vsize: 12788
Current children cumulated CPU time (s) 1009.6
Current children cumulated vsize (Kb) 14916

[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2684 0 0 0 10509 10 0 0 25 0 1 0 19763684 13492224 2654 4294967295 134512640 134702520 3221223712 3219119868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3294 2654 413 48 0 3246 0
[pid=5253] vsize: 13176
Current children cumulated CPU time (s) 1019.61
Current children cumulated vsize (Kb) 15304

[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 11497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3221202028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1029.54
Current children cumulated vsize (Kb) 25096

[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 12497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3221083788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1039.54
Current children cumulated vsize (Kb) 25096

[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 13497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220960608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1049.54
Current children cumulated vsize (Kb) 25096

[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 14497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220831628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1059.54
Current children cumulated vsize (Kb) 25096

[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 15498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220696748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1069.55
Current children cumulated vsize (Kb) 25096

[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 16498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220555948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1079.55
Current children cumulated vsize (Kb) 25096

[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 17498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220406668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1089.55
Current children cumulated vsize (Kb) 25096

[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 18498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220247308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1099.55
Current children cumulated vsize (Kb) 25096

[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 19498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220075308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1109.55
Current children cumulated vsize (Kb) 25096

[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 20498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219887948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1119.55
Current children cumulated vsize (Kb) 25096

[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 21498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219679488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1129.55
Current children cumulated vsize (Kb) 25096

[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 22498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219442188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1139.55
Current children cumulated vsize (Kb) 25096

[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 23499 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219160108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1149.56
Current children cumulated vsize (Kb) 25096

[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 24499 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3218471468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1159.56
Current children cumulated vsize (Kb) 25096

[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 25488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3221112748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1169.49
Current children cumulated vsize (Kb) 25096

[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 26488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220990828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (Kb) 25096

[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 27488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220863328 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1189.49
Current children cumulated vsize (Kb) 25096

[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 28488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220729388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1199.49
Current children cumulated vsize (Kb) 25096

[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 29488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220588928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1209.49
Current children cumulated vsize (Kb) 25096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 29488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220588748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1209.49
Current children cumulated vsize (Kb) 25096

Sending SIGTERM to -5185
Sleeping 2 seconds
New process pid=5255
New process pid=5256
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/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/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5146/stat
open syscall for file /proc/5146/status
open syscall for file /proc/5146/cmdline
open syscall for file /proc/5146/environ
open syscall for file /proc/5184/stat
open syscall for file /proc/5184/status
open syscall for file /proc/5184/cmdline
open syscall for file /proc/5184/environ
open syscall for file /proc/5185/stat
open syscall for file /proc/5185/status
open syscall for file /proc/5185/cmdline
open syscall for file /proc/5185/environ
open syscall for file /proc/5253/stat
open syscall for file /proc/5253/status
open syscall for file /proc/5253/cmdline
open syscall for file /proc/5253/environ
open syscall for file /proc/5255/stat
open syscall for file /proc/5255/status
open syscall for file /proc/5255/cmdline
open syscall for file /proc/5255/environ
open syscall for file /proc/5256/stat
open syscall for file /proc/5256/status
open syscall for file /proc/5256/cmdline
open syscall for file /proc/5256/environ
One traced child (pid=5256) exited with status: 0
One traced child (pid=5255) exited with status: 0
New process pid=5257
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=5257) exited with status: 0
New process pid=5258
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=5258) exited with status: 0
One traced child (pid=5185) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5185
One traced child (pid=5253) 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): 1212.16
CPU time (s): 297.091
CPU user time (s): 296.892
CPU system time (s): 0.198969
CPU usage (%): 24.5092
Max. virtual memory (cumulated for all children) (Kb): 30656

Verifier Data

ERROR: no interpretation found !